3796 search results - page 151 / 760 » Presentations by Programmers for Programmers |
163
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
ICCD
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Microcode enables programmability of (micro) architectural structures to enhance functionality and to apply patches to an existing design. As more features get added to...
JTRES
2009
ACM
15 years 4 months ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...