Modeling reactive systems in Java

Authors:
Claudio Passerone;Roberto Passerone;Claudio Sansoè;Jonathan Martin;Alberto Sangiovanni-Vincentelli;Rick McGeer
Affiliations:
Politecnico di Torino, Cadence European Labs, Torino, Italy;-;Politecnico di Torino, Cadence European Labs, Torino, Italy;University of California at Berkeley, Department of EECS;University of California at Berkeley, Department of EECS;Cadence Berkeley Laboratories, Berkeley, CA
Venue:
Proceedings of the 6th international workshop on Hardware/software codesign
Year:
1998

Hardware-software co-design of embedded systems: the POLIS approach

Hardware-software co-design of embedded systems: the POLIS approach
The Java programming language (2nd ed.)

The Java programming language (2nd ed.)
Communicating sequential processes

Communications of the ACM
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
Java Virtual Machine Specification

Java Virtual Machine Specification
Scheduling for Reactive Real-Time Systems

IEEE Micro
A Comparison of Statecharts Variants

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems

Java driven codesign and prototyping of networked embedded systems

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A hybrid approach for core-based system-level power modeling

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference

Hi-index	0.00