3302 search results - page 308 / 661 » Software Is More Than Code |
170
click to vote
FAST
2008
15 years 9 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
182
click to vote
USENIX
2003
15 years 8 months ago
2003
Read-copy update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access...
272
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
113
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently there has been much interest in using transmit beamforming to provide multi-antenna physical-layer multicasting. A state of the art in this context is the semidefinite r...
231
click to vote
WSC
2000
15 years 8 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...