4047 search results - page 264 / 810 » Algebraic Model Checking |
185
click to vote
ICPADS
2006
IEEE
16 years 20 days ago
2006
IEEE
—Recently, high-end reconfigurable computing systems that employ Field-Programmable Gate Arrays (FPGAs) as hardware accelerators for general-purpose processors have been built. T...
179
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
164
click to vote
QEST
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
177
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
168
click to vote
VTS
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...