1816 search results - page 119 / 364 » Trace oblivious computation |
JSSPP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper empirically explores the advantages of the collaboration between different parallel compute sites in a decentralized grid scenario. To this end, we assume ind...
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
SFM
2005
Springer
14 years 3 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
ISBI
2006
IEEE
14 years 11 months ago
2006
IEEE
A significant obstacle in the advancement of Ultrasound Computed Tomography has been the lack of efficient and precise methods for the tracing of the bent rays that result from th...
COMPSAC
2005
IEEE
14 years 9 days ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...