987 search results - page 101 / 198 » Implementing an untrusted operating system on trusted hardwa... |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
SRDS
2003
IEEE
14 years 2 months ago
2003
IEEE
Replication is one of the prominent approaches for obtaining fault tolerance. Implementing replication on commodity hardware and in a transparent fashion, i.e., without changing t...
SOSP
1997
ACM
13 years 10 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
TII
2010
13 years 3 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...