Sciweavers

18094 search results - page 3351 / 3619
» The Architecture of Secure Systems
Sort
View
155
Voted
WMPI
2004
ACM
16 years 3 days ago
A case for multi-level main memory
Current trends suggest that the number of memory chips per processor chip will increase at least a factor of ten in seven years. This will make DRAM cost, the space and the power i...
Magnus Ekman, Per Stenström
ADAEUROPE
2004
Springer
16 years 2 days ago
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...
Thomas Vergnaud, Jérôme Hugues, Laure...
ATAL
2004
Springer
16 years 2 days ago
The EO-1 Autonomous Science Agent
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
Steve A. Chien, Rob Sherwood, Daniel Tran, Benjami...
BIOADIT
2004
Springer
16 years 2 days ago
Media Streaming on P2P Networks with Bio-inspired Cache Replacement Algorithm
With the growth of computing power and the proliferation of broadband access to the Internet, the use of media streaming has become widely diffused. By using the P2P communication...
Masahiro Sasabe, Naoki Wakamiya, Masayuki Murata, ...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
16 years 2 days ago
DPLL( T): Fast Decision Procedures
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
Harald Ganzinger, George Hagen, Robert Nieuwenhuis...
« Prev « First page 3351 / 3619 Last » Next »