69 search results - page 12 / 14 » MEDS: The Memory Error Detection System |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inļ¬...
ICRA
2005
IEEE
14 years 29 days ago
2005
IEEE
Abstractā Multiple-target tracking is a canonical application of sensor networks as it exhibits different aspects of sensor networks such as event detection, sensor information f...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
ā Hermitian Codes offer desirable properties such as large code lengths, good error-correction at high code rates, etc. The main problem in making Hermitian codes practical is to...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Numerous tools have been proposed to help developers ļ¬x software errors and ineļ¬ciencies. Widely-used techniques such as memory checking suļ¬er from overheads that limit thei...
BC
2000
13 years 7 months ago
2000
Long conduction delays in the nervous system prevent the accurate control of movements by feedback control alone. We present a new, biologically plausible cerebellar model to study...