967 search results - page 29 / 194 » Languages and Tools for Hybrid Systems Design |
126
click to vote
ESAW
2007
Springer
15 years 8 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
95
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
123
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...
107
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
109
click to vote
WCET
2007
15 years 3 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...