2468 search results - page 421 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
122
click to vote
IS4TH
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the haptic interaction method when the interaction occurs at several points simultaneously. In many virtual training systems that interact with a virtual object...
161
click to vote
CASES
2008
ACM
15 years 5 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
150
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
Magnetic Random Access Memory (MRAM) is considered to be a promising future memory technology due to its low leakage power, high density and fast read speed. The heterogeneous int...
247
Voted
NLP
2000
15 years 7 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...
133
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Horizontal gene transfer (HGT) has allowed bacteria to evolve many new capabilities. Because transferred genes perform many medically important functions, such as conf...