Sciweavers

1392 search results - page 22 / 279
» Staging generic programming
Sort
View
90
Voted
SAC
2008
ACM
14 years 11 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
AOSD
2010
ACM
15 years 7 months ago
Weaving generic programming and traversal performance
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
Bryan Chadwick, Karl J. Lieberherr
CORR
2007
Springer
123views Education» more  CORR 2007»
15 years 9 days ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
150
Voted
WEA
2010
Springer
289views Algorithms» more  WEA 2010»
15 years 7 months ago
Experiments with a Generic Dantzig-Wolfe Decomposition for Integer Programs
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
Gerald Gamrath, Marco E. Lübbecke
SBACPAD
2004
IEEE
106views Hardware» more  SBACPAD 2004»
15 years 1 months ago
High Performance Communication System Based on Generic Programming
This paper presents a high performance communication system based on generic programming. The system adapts itself according to the protocol being used on communication, simplifyi...
André Luís Gobbi Sanches, Fernando R...