Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
An efficient implementation of reactivity for modeling hardware in the scenic design environment
DAC '97 Proceedings of the 34th annual Design Automation Conference
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Designing digital video systems: modeling and scheduling
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Frequency interleaving as a codesign scheduling paradigm
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Superlog, a unified design language for system-on-chip
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Modeling and evaluation of hardware/software designs
Proceedings of the ninth international symposium on Hardware/software codesign
Hardware/software partitioning of embedded system in OCAPI-xl
Proceedings of the ninth international symposium on Hardware/software codesign
A new method for compiling schizophrenic synchronous programs
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
A software development tool chain for a reconfigurable processor
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Synthesis of hardware models in C with pointers and complex data structures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
Synthesis of operation-centric hardware descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Proving the Equivalence of Microstep and Macrostep Semantics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Symbolic NFA scheduling of a RISC microprocessor
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
On hardware description in ECL
Languages for system specification
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
REMIC: design of a reactive embedded microprocessor core
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Optimization for faster execution of Esterel programs
Formal methods and models for system design
EURASIP Journal on Applied Signal Processing
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Separate compilation for synchronous programs
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
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
A Verified Compiler for Synchronous Programs with Local Declarations
Electronic Notes in Theoretical Computer Science (ENTCS)
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
Deterministic, predictable and light-weight multithreading using PRET-C
Proceedings of the Conference on Design, Automation and Test in Europe
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
GALS-HMP: A heterogeneous multiprocessor for embedded applications
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |