614 search results - page 64 / 123 » The Power of Methods With Parallel Semantics |
128
Voted
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
EUROPAR
2000
Springer
15 years 4 months ago
2000
Springer
With the increasing processing power, the latency of the memory hierarchy becomes the stumbling block of many modern computer architectures. In order to speed-up the calculations, ...
105
Voted
AIA
2007
15 years 2 months ago
2007
This paper presents a parallel hardware implementation of a well-known navigation control method on reconfigurable digital circuits. Trajectories are estimated after an iterated ...
112
Voted
CATA
2003
15 years 1 months ago
2003
The multi-block overset grid method is a powerful technique for high-fidelity computational fluid dynamics (CFD) simulations about complex aerospace configurations. The solutio...
113
click to vote
BMCBI
2010
15 years 21 days ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...