Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
The reactive programming approach on top of Java/J2ME
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
TinyTimber, reactive objects in C for real-time embedded systems
Proceedings of the conference on Design, automation and test in Europe
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Interactive Programming of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
LibGALS: a library for GALS systems design and modeling
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Constructive semantics for instantaneous reactions
Theoretical Computer Science
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
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 |