739 search results - page 74 / 148 » Parallel Implementation of a Molecular Dynamics Simulation P... |
156
click to vote
EPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
159
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
171
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
This work concentrates on the design of a system intended for study of advanced scheduling techniques for planning various types of jobs in a Grid environment. The solution is able...
120
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
154
click to vote
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...