4299 search results - page 368 / 860 » Concurrent Test Generation |
152
Voted
ISAAC
1995
Springer
15 years 8 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
135
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
186
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
152
click to vote
ICA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper introduces gradient based method for robust assessment of the sparse pulse sources, such as motor unit innervation pulse trains in the filed of electromyograp...
148
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...