A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Theoretical Computer Science
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a discipline of real-time programming
Communications of the ACM
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Time C: A Time Constraint Language for ILP Processor Compilation
Time C: A Time Constraint Language for ILP Processor Compilation
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)
Design for Timing Predictability
Real-Time Systems
Computer
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Programming Model for Time-Synchronized Distributed Real-Time Systems
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
The case for the precision timed (PRET) machine
Proceedings of the 44th annual Design Automation Conference
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Obstacles in Worst-Case Execution Time Analysis
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Probabilistic modeling of data cache behavior
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A Single-Path Chip-Multiprocessor System
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Slotted programming for sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
MEC-IDC: joint load balancing and power control for distributed Internet Data Centers
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Proceedings of the 47th Design Automation Conference
Programming with time: cyber-physical programming with impromptu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Migration of legacy software towards correct-by-construction timing behavior
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Temporal isolation on multiprocessing architectures
Proceedings of the 48th Design Automation Conference
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
How can a DSL for expert end-users be designed for better usability?: a case study in computer music
CHI '12 Extended Abstracts on Human Factors in Computing Systems
Advances in Software Engineering
Mostly-strongly-timed programming
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
Computation takes time, but how much?
Communications of the ACM
Effective real-time scheduling algorithm for cyber physical systems society
Future Generation Computer Systems
Hi-index | 0.02 |
The passage of time is essential to ensuring the repeatability and predictability of software and networks in cyber-physical systems.