469 search results - page 63 / 94 » Extended abstract: a race-free hardware modeling language |
109
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
SARA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
119
click to vote
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
120
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...