1264 search results - page 108 / 253 » Designing Safe, Reliable Systems using Scade |
140
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
144
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
162
click to vote
TMC
2012
13 years 7 months ago
2012
The FCC ruling on Nov 4th, 2008 on white spaces has opened up the possibility of wireless network deployments over white spaces, i.e., vacant UHF TV channels. A key requirement fo...
144
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
NAND flash memory has become an indispensable component in mobile embedded systems because of its versatile features such as non-volatility, solid-state reliability, low cost and ...
143
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...