2407 search results - page 273 / 482 » A Tool for Abstraction in Model Checking |
210
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...
189
click to vote
IEEECIT
2006
IEEE
16 years 1 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
188
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-speciļ¬c design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
228
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
201
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...