4781 search results - page 316 / 957 » Complexity at large |
142
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
126
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
125
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Breakpoints are perhaps the quintessential feature of a debugger: they allow a developer to stop time and study the program state. Breakpoints are typically specified by selectin...
133
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
157
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...