Sciweavers

5424 search results - page 296 / 1085
» Parallel Computing with FPGAs - Concepts and Applications
Sort
View
EUROPAR
2005
Springer
16 years 4 days ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
CF
2009
ACM
15 years 4 months ago
High accuracy failure injection in parallel and distributed systems using virtualization
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
Thomas Hérault, Thomas Largillier, Sylvain ...
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
16 years 28 days ago
Parallel Model Checking and the FMICS-jETI Platform
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
Jiri Barnat, Lubos Brim, Martin Leucker
ISCA
1998
IEEE
134views Hardware» more  ISCA 1998»
15 years 11 months ago
Exploiting Fine-grain Thread Level Parallelism on the MIT Multi-ALU Processor
Much of the improvement in computer performance over the last twenty years has come from faster transistors and architectural advances that increase parallelism. Historically, par...
Stephen W. Keckler, William J. Dally, Daniel Maski...
C3S2E
2011
ACM
14 years 10 months ago
A parallel LLL algorithm
The LLL algorithm is a well-known and widely used lattice basis reduction algorithm. In many applications, its speed is critical. Parallel computing can improve speed. However, th...
Yixian Luo, Sanzheng Qiao