4586 search results - page 873 / 918 » Computing stable models in parallel |
155
click to vote
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
163
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
With the development of positioning technologies and the boosting deployment of inexpensive location-aware sensors, large volumes of trajectory data have emerged. However, efficie...
163
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...
147
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
153
click to vote
CMPB
2010
15 years 6 months ago
2010
Recent advances in 4D imaging and real-time imaging provide image data with clinically important cardiac dynamic information at high spatial or temporal resolution. However, the en...