2300 search results - page 316 / 460 » Maximally Concurrent Programs |
207
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
175
click to vote
ICST
2008
IEEE
16 years 23 days ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
175
click to vote
MEMOCODE
2007
IEEE
16 years 18 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
166
Voted
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
148
click to vote
GPCE
2007
Springer
16 years 15 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...