5128 search results - page 294 / 1026 » When Abstraction Fails |
204
Voted
ICSE
2011
IEEE-ACM
14 years 11 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
239
click to vote
SIGMETRICS
2011
ACM
14 years 10 months ago
2011
ACM
The massive data streams observed in network monitoring, data processing and scientific studies are typically too large to store. For many applications over such data, we must ob...
223
Voted
DAC
2011
ACM
14 years 7 months ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...
262
click to vote
SIGCOMM
2012
ACM
13 years 10 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
180
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...