1127 search results - page 133 / 226 » Theory Extension in ACL2(r) |
153
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
157
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
173
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
The success of "infinite-inventory" retailers such as Amazon.com and Netflix has been ascribed to a "long tail" phenomenon. To wit, while the majority of their...
181
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
209
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...