Software

Filters2 filters applied

Year

Readable here

At least an abstract

536 papersQuestions on this topic

1 filter appliedReadable here: At least an abstract Clear all

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
On Role Logic
Viktor Kuncak, Martin Rinard · 2004
Abstract onlyNot checked
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Puri Arenas-Sanchez, Mario Rodriguez-Artalejo · Theory and Practice of Logic Programming, vol. 1, no. 2, 2001 · 2004
Abstract onlyNot checked
CrocoPat 2.1 Introduction and Reference Manual
Dirk Beyer, Andreas Noack · 2004
Abstract onlyNot checked
MammoGrid: Large-Scale Distributed Mammogram Analysis
S. Roberto Amendolia, Michael Brady, Richard McClatchey et al. · 2004
Abstract onlyNot checked