14190 search results - page 177 / 2838 » Abstractions for hybrid systems |
156
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...
173
click to vote
IUI
2006
ACM
16 years 14 days ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...
166
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
Linked data structure (LDS) accesses are critical to the performance of many large scale applications. Techniques have been proposed to prefetch such accesses. Unfortunately, many...
192
click to vote
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. We present a novel video retrieval system that accepts annotated freehand sketches as queries. Existing sketch based video retrieval (SBVR) systems enable the appearance ...
186
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...