1228 search results - page 16 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
FDL
2011
IEEE
12 years 7 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
DATE
2000
IEEE
14 years 2 days ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
KES
2004
Springer
14 years 1 months ago
2004
Springer
We have designed and implemented a desktop sharing system based on P2P (peer-to-peer) techniques, named “comDesk,” which enables users to exchange the desktop images as well as...