12741 search results - page 204 / 2549 » Editorial and call for papers |
179
click to vote
APCSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
190
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper introduces a new multi-media system for musical and graphical expression called MusiKalscope. Inside of MusiKalscope are two sub-systems: RhyMe and the Iamascope, conne...
160
click to vote
FAST
2008
15 years 9 months ago
2008
The RAID-6 specification calls for a storage system with multiple storage devices to tolerate the failure of any two devices. Numerous erasure coding techniques have been develope...
148
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
149
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...