343 search results - page 53 / 69 » Finding latent performance bugs in systems implementations |
AAAI
2006
13 years 9 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
RE
2010
Springer
13 years 2 months ago
2010
Springer
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...