Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti · 2004
Abstract onlyNot checked
Software
Filters1 filter applied
595 papersQuestions on this topic
Learning Hybrid Algorithms for Vehicle Routing Problems
Yves Caseau, Glenn Silverstein, Francois Laburthe · Theory and Practice of Logic Programming, vol. 1, no. 6, 2001 · 2004
Abstract onlyNot checked
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara · 2004
Abstract onlyNot checked
On computing the fixpoint of a set of boolean equations
Viktor Kuncak, K. Rustan M. Leino · 2004
Abstract onlyNot checked
A Preliminary Study for the development of an Early Method for the Measurement in Function Points of a Software Product
Ramon Asensio Monge, Francisco Sanchis Marco, Fernando Torre Cervigon et al. · 2004
Abstract onlyNot checked
Improving Prolog Programs: Refactoring for Prolog
Tom Schrijvers, Alexander Serebrenik · 2004
Abstract onlyNot checked
Typestate Checking and Regular Graph Constraints
Viktor Kuncak, Martin Rinard · 2004
Abstract onlyNot checked
Benchmarking Optimization Software with Performance Profiles
Elizabeth D. Dolan, Jorge J. Moré · Math. Program., Ser. A 91: 201-213 (2002) · 2004
Abstract onlyNot checked
Microreboot -- A Technique for Cheap Recovery
George Candea, Shinichi Kawamoto, Yuichi Fujiki et al. · Proc. 6th Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, Dec 2004 · 2004
Abstract onlyNot checked
Constraint Logic Programming with Hereditary Harrop Formula
Javier Leach, Susana Nieva, Mario Rodriguez-Artalejo · 2004
Abstract onlyNot checked
Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage
Xiaochu Qi · 2004
Abstract onlyNot checked
Synchronization from a Categorical Perspective
Krzysztof Worytkiewicz · 2004
Abstract onlyNot checked
Securing Data in Storage: A Review of Current Research
Paul Stanton · 2004
Abstract onlyNot checked
End-User Effects of Microreboots in Three-Tiered Internet Systems
George Candea, Armando Fox · 2004
Abstract onlyNot checked
Using a hierarchy of Domain Specific Languages in complex software systems design
V. S. Lugovsky · 2004
Abstract onlyNot checked
A Fast, Vectorizable Algorithm for Producing Single-Precision Sine-Cosine Pairs
Marcus H. Mendenhall · 2004
Abstract onlyNot checked
Bug shallowness in open-source, Macintosh software
G Gordon Worley · Worley III, G Gordon. "Bug shallowness in open-source, Macintosh software". Advanced Developers Hands On Conference 19. 2004 · 2004
Abstract onlyNot checked
A Framework for Interoperability
Kathleen Fisher, Riccardo Pucella, John Reppy · 2004
Abstract onlyNot checked
Inter-Package Dependency Networks in Open-Source Software
Nathan LaBelle, Eugene Wallingford · 2004
Abstract onlyNot checked
Uncovering the epistemological and ontological assumptions of software designers
David King, Chris Kimble · Proceedings 9e colloque de l'AIM, Evry, France, May 2004 · 2004
Abstract onlyNot checked