6834 search results - page 354 / 1367 » The Fail-Heterogeneous Architectural Model |
186
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
152
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces the efficient application of Virtual Reality (VR) technologies in the Architecture, Engineering and Construction (AEC) industry, where conventional plastic m...
172
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
305
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
172
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...