1494 search results - page 116 / 299 » Less Extreme Programming |
116
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
115
Voted
JSS
2002
15 years 2 months ago
2002
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
153
click to vote
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
111
Voted
SIAMCOMP
2000
15 years 2 months ago
2000
ct Consider an arbitrary program P which is to be executed on a computer with two alternative cache memories. The rst cache has k sets and u blocks in each set, this is denoted a ...
130
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...