Sciweavers

283 search results - page 23 / 57
» Improving System Dependability with Functional Alternatives
Sort
View
CORR
2008
Springer
131views Education» more  CORR 2008»
15 years 4 months ago
Jamming in Fixed-Rate Wireless Systems with Power Constraints - Part I: Fast Fading Channels
This is the first part of a two-part paper that studies the problem of jamming in a fixed-rate transmission system with fading, under the general assumption that the jammer has no...
George T. Amariucai, Shuangqing Wei
CASES
2004
ACM
15 years 9 months ago
Safely exploiting multithreaded processors to tolerate memory latency in real-time systems
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
Ali El-Haj-Mahmoud, Eric Rotenberg
COLING
2000
15 years 5 months ago
A Hybrid Japanese Parser with Hand-crafted Grammar and Statistics
This paper describes a hybrid parsing method for Japanese which uses both a hand-crafted grammar and a statistical technique. The key feature of our system is that in order to est...
Hiroshi Kanayama, Kentaro Torisawa, Yutaka Mitsuis...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 10 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
USENIX
2007
15 years 6 months ago
Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems
The ability to checkpoint a running application and restart it later can provide many useful benefits including fault recovery, advanced resources sharing, dynamic load balancing...
Oren Laadan, Jason Nieh