5707 search results - page 833 / 1142 » Symbolic Simulation - Techniques and Applications |
167
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Several recent studies have pointed out that file I/Os can be a major performance bottleneck for some large Web servers. Large I/O buffer caches often do not work effectively for ...
188
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...
177
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Typical Human Robot Interaction (HRI) assumes that the user explicitly interacts with robots. However, explicit control with robots can be unnecessary or even undesirable in certa...
181
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
170
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The need of monitoring people, animals, and things in general, brings to consider mobile WSNs besides traditional, fixed ones. Moreover, several advanced scenarios, like ...