1305 search results - page 70 / 261 » The design context of concurrent computation systems |
149
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
125
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
124
click to vote
USENIX
2003
15 years 6 months ago
2003
We present the design and implementation of CGD, the CryptoGraphic Disk driver. CGD is a pseudo-device driver that sits below the buffer cache, and provides an encrypted view of a...
131
click to vote
HAID
2007
Springer
15 years 11 months ago
2007
Springer
As the form factors of computational devices diversify, the concept of eyes-free interaction is becoming increasingly relevant: it is no longer hard to imagine use scenarios in whi...
150
click to vote
FAC
2010
15 years 2 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...