5762 search results - page 293 / 1153 » R-tree: A Hardware Implementation |
163
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
: FPGA-based acceleration of molecular dynamics (MD) has been the subject of several recent studies. Here we describe a new non-bonded force computation pipeline implemented on a 2...
186
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fi...
185
click to vote
ISSS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
190
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
181
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, the problem of spatial mapping is defined. Reasons are presented to show why performing spatial mappings at run-time is both necessary and desirable and criteria fo...