IEEE Transactions on Software Engineering
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Information and Computation
Interactive Programming of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
SyncCharts in C: a proposal for light-weight, deterministic concurrency
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Tight WCRT analysis of synchronous C programs
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Synchronous Estelle: Just Another Synchronous Language?
Electronic Notes in Theoretical Computer Science (ENTCS)
Deterministic, predictable and light-weight multithreading using PRET-C
Proceedings of the Conference on Design, Automation and Test in Europe
What is in a step: new perspectives on a classical question
Time for verification
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Hiphop: a synchronous reactive extension for hop
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
Detecting and tolerating failures in a loosely integrated heterogeneous database system
Computer Communications
mbeddr: an extensible C-based programming language and IDE for embedded systems
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
The coroutine model of computation
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Programming mixed music in ReactiveML
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design
Time refinement in a functional synchronous language
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Computer Languages, Systems and Structures
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |