805 search results - page 44 / 161 » Modeling the performance of algorithms on flash memory devic... |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
IRREGULAR
1997
Springer
14 years 24 days ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
ICPR
2010
IEEE
13 years 12 months ago
2010
IEEE
This paper presents a distributed Support Vector Machine (SVM) algorithm in order to detect malicious software (malware) on a network of mobile devices. The light-weight system mo...
ISCC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—This paper presents a novel scalable switching architecture for input queued switches with its proper arbitration algorithms. In contrast to traditional switching archit...