1884 search results - page 240 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
114
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
155
click to vote
ISCA
2008
IEEE
15 years 8 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
150
Voted
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...