3310 search results - page 457 / 662 » Aspect-aware operating system development |
207
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
152
click to vote
DFT
2005
IEEE
16 years 4 days ago
2005
IEEE
Detection of defective pixels that develop on-line is a vital part of fault tolerant schemes for repairing imagers during operation. This paper presents a new algorithm for the id...
192
click to vote
VLSID
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...
147
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the major challenges that underlie Grid ...
163
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...