10707 search results - page 368 / 2142 » Designing executable abstractions |
160
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
115
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
139
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...
151
Voted
COOTS
1998
15 years 6 months ago
1998
The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
148
click to vote
DEBU
2010
15 years 2 months ago
2010
Flash memory affects not only storage options but also query processing. In this paper, we analyze the use of flash memory for database query processing, including algorithms that...