5235 search results - page 156 / 1047 » Analysis of Multithreaded Programs |
145
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
148
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
123
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
154
click to vote
COMPSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
132
click to vote
ACE
2004
15 years 6 months ago
2004
A recent industry survey (Townhidnejad and Hilburn, 2002) has reported that more than fifty percent of a software project's budget is spent on activities related to improving...