Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
IEEE Transactions on Software Engineering
Processor tradeoffs in distributed real-time systems
IEEE Transactions on Computers
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
A Timed Model for Communicating Sequential Processes
ICALP '86 Proceedings of the 13th International Colloquium on Automata, Languages and Programming
Real-Time Computing System: The Next Generation
Real-Time Computing System: The Next Generation
Deploying expert systems in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Scheduling real-time transactions with disk resident data
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Priority in DBMS resource scheduling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A Window Protocol for Transmission of Time-Constrained Messages
IEEE Transactions on Computers
Guest Editor's Introduction: Real-Time Systems
Computer - Special issue on real-time systems
IEEE Transactions on Computers
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The Rejection Rate for Tasks with Random Arrivals, Deadlines, and Preemptive Scheduling
IEEE Transactions on Software Engineering
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
Measuring, monitoring and enforcing CPU execution time
ACM SIGAda Ada Letters
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Detection of cycle in real-time system specification
ACM SIGPLAN Notices
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Adaptive commitment for distributed real-time transactions
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Implementing real-time services in MINIX
ACM SIGOPS Operating Systems Review
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Object-oriented programming for embedded systems
ACM SIGPLAN Notices
Real-time and embedded systems
ACM Computing Surveys (CSUR)
Strategic directions in real-time and embedded systems
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Specification and Implementation of the Universal TimeCoordinated Synchronization Unit (UTCSU)
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Simulation of multiple time-pressured agents
Proceedings of the 29th conference on Winter simulation
A new checkpoint mechanism for real time operating systems
ACM SIGOPS Operating Systems Review
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of Hard Real-Time Embedded Control Systems
Real-Time Systems
Predictable Threads for Dynamic, Hard Real-Time Environments
IEEE Transactions on Parallel and Distributed Systems
Conceptual model of real-time systems: a perspective
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
A parallel execution model for a database machine with high performances
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
Measuring the Performance of Real-Time Systems
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Are Object-Oriented Concepts Useful to Real-Time SystemsDevelopment?
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Off-Line Computation of Real-Time Schedules Using Petri Nets
Discrete Event Dynamic Systems
Real-time system with homogeneous servers and nonidentical channels in steady-state
Computers and Operations Research
The Challenges of Real-Time AI
Computer
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Self-Adaptive Software for Hard Real-Time Environments
IEEE Intelligent Systems
A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults
IEEE Transactions on Computers
Fibre-Ribbon Ring Network with Inherent Support for Earliest Deadline First Message Scheduling
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Applying the ARTIS Agent Architecture to Mobile Robot Control
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Triggered Real-Time Databases with Consistency Constraints
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Real-Time and Active Databases: A Survey
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Buffer Management in Active, Real-Time Database Systems - Concepts and an Algorithm
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Neural Network Approach to Design of Distributed Hard Real-Time Systems
Proceedings of the 6th International Conference on Computational Intelligence, Theory and Applications: Fuzzy Days
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Real-Time Operating Systems: Problems and Novel Solutions
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Developing a Mobile Robot Control Application with CommonKADS-RT
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Modelling Agents in Hard Real-Time Environments
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
DART: A Data-Driven Processor Architecture for Real-Time Computing
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Framework for Real-Time CORBA Development
ICN '01 Proceedings of the First International Conference on Networking-Part 2
SIMBA: An Approach for Real-Time Multi-agent Systems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Distributed Simulation Communication through an Active Real-Time Database
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
A pattern language for porting micro-kernels
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Multiagent planning for agents with internal execution resource constraints
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
UML for real-time: which native concepts to use?
UML for real
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation
IEEE Transactions on Software Engineering
Engineering the usability of visual formalisms: a case study in real time logics
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Journal of Systems and Software
Minimal schedulability interval for real-time systems of periodic tasks with offsets
Theoretical Computer Science
Real-Time Systems
Extensions: performance analysis of real-time DEVS models
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Encyclopedia of Computer Science
Real-Time Systems
Denormalization strategies for data retrieval from data warehouses
Decision Support Systems
Real-time architecture for a highway vehicle detection system
Integrated Computer-Aided Engineering
On new scheduling policy for the improvement of firm RTDBSs performances
Data & Knowledge Engineering
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Distributed real time database systems: background and literature review
Distributed and Parallel Databases
Increasing the determinism in real-time operating systems for ERC32 architecture
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
A virtual platform for multiprocessor real-time embedded systems
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Communications of the ACM - Security in the Browser
Real-time AI systems: a definition and an architecture
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Distributed measurement systems: An object-oriented architecture and a case study
Computer Standards & Interfaces
A spatial and temporal partitioning approach for dependable automotive systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Deliberative server for real-time agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Schedulable online testing framework for real-time embedded applications in VM
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Towards memory management for service-oriented real-time systems
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Model-based specification of timing requirements
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Admission control for hard real-time connections in ATM LANs
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 1
Modeling and simulation of TDL applications
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Predicting computation time for advanced processor architectures
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Mapping of software model to simulation model for performance requirement verification
Proceedings of the 44th Annual Simulation Symposium
Any time probabilistic reasoning for sensor validation
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Selecting a scheduling policy for embedded real-time monitor and control systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Temporal bounded reasoning in a dynamic case based planning agent for industrial environments
Expert Systems with Applications: An International Journal
Managing the dynamism of the OSGi Service Platform in real-time Java applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Application note: Knowledge-based architecture for a personal ISDN workstation
Computer Communications
Real-time communications using TDMA-based multi-access protocol
Computer Communications
An object-oriented application framework for the development of real-time systems
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Real-Time Distributed Aircraft Simulation through HLA
DS-RT '12 Proceedings of the 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications
| Hi-index | 4.12 |
The author defines real-time computing and states and dispels the most common misconceptions about it. He discusses the fundamental technical issues of real-time computing. He examines specification and verification, scheduling theory, operating systems, programming languages and design methodology, distributed databases, artificial intelligence, fault tolerance, architectures, and communication.