Control generation for embedded systems based on composition of modal processes

Authors:
Pai Chou;Ken Hines;Kurt Partidge;Gaetano Borriello
Affiliations:
Department of Computer Science and Engineering, Box 352350, University of Washington, Seattle, WA;Department of Computer Science and Engineering, Box 352350, University of Washington, Seattle, WA;Department of Computer Science and Engineering, Box 352350, University of Washington, Seattle, WA;Department of Computer Science and Engineering, Box 352350, University of Washington, Seattle, WA
Venue:
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Year:
1998

Citing 7
Cited 3

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Real-time object-oriented modeling

Real-time object-oriented modeling
Modal processes: towards enhanced retargetability through control composition of distributed embedded systems

DAC '98 Proceedings of the 35th annual Design Automation Conference
An analysis-based approach to composition of distributed embedded systems

Proceedings of the 6th international workshop on Hardware/software codesign
Control composition and synthesis of distributed real-time embedded systems

Control composition and synthesis of distributed real-time embedded systems
A model-based approach to reactive self-configuring systems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Interface synthesis: a vertical slice from digital logic to software components

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
ipChinook: an integrated IP-based design framework for distributed embedded systems

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Synthesis and optimization of coordination controllers for distributed embedded systems

Proceedings of the 37th Annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract