2068 search results - page 381 / 414 » On Effectiveness of Application-Layer Coding |
251
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
263
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
132
Voted
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
244
Voted
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capa...
120
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...