6202 search results - page 939 / 1241 » Without Loss of Generality |
204
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
127
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...
170
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
210
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...
174
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...