16725 search results - page 3226 / 3345 » Engineering Software Correctness |
162
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
149
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...
87
Voted
EUROSYS
2009
ACM
15 years 11 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...
109
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...