2297 search results - page 157 / 460 » Production of Large Computer Programs |
105
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
106
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
142
click to vote
AAAI
2000
15 years 3 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
117
click to vote
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...