1463 search results - page 57 / 293 » Model Checking Implicit-Invocation Systems |
107
click to vote
PTS
2007
15 years 3 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
126
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
109
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
127
click to vote
FMOODS
2007
15 years 3 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
137
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...