871 search results - page 66 / 175 » Modular Design of Reactive Systems |
ENTCS
2010
13 years 8 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
CODES
1996
IEEE
14 years 1 days ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
To be able to fully exploit ever larger computing platforms, modern HPC applications and system software must be able to tolerate inevitable faults. Historically, MPI implementati...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...