4747 search results - page 815 / 950 » Shuffle Memory System |
184
click to vote
ILC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
149
click to vote
SSD
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
162
click to vote
WEA
2007
Springer
16 years 16 days ago
2007
Springer
We introduce a dynamic technique for fast route planning in large road networks. For the first time, it is possible to handle the practically relevant scenarios that arise in pres...
189
click to vote
CGO
2006
IEEE
16 years 15 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
177
click to vote
CODES
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...