148 search results - page 8 / 30 » ccs 2006 |
CCS
2006
ACM
14 years 1 months ago
2006
ACM
A trusted monotonic counter is a valuable primitive that enables a wide variety of highly scalable offline and decentralized applications that would otherwise be prone to replay a...
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
EGITALY
2006
13 years 11 months ago
2006
We describe an architecture for massive simulation of a distributed behavioral model using graphics hardware. By leveraging on the recent programmable capabilities of GPUs we impl...
EGITALY
2006
13 years 11 months ago
2006
Art often provides valuable hints for technological innovations especially in the field of Image Processing and Computer Graphics. In this paper we survey in an unified framework ...
ENTCS
2006
13 years 9 months ago
2006
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...