2513 search results - page 500 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
151
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
197
click to vote
PODC
2006
ACM
15 years 11 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
156
click to vote
ASAP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
147
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
162
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...