Sciweavers

975 search results - page 50 / 195
» Locality Optimization for Program Instances
Sort
View
PPDP
1999
Springer
15 years 9 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 9 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
ICAS
2006
IEEE
143views Robotics» more  ICAS 2006»
15 years 11 months ago
Towards Autonomic Distribution of Existing Object Oriented Programs
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
Debzani Deb, M. Muztaba Fuad, Michael J. Oudshoorn
143
Voted
SCAM
2005
IEEE
15 years 10 months ago
Declassification: Transforming Java Programs to Remove Intermediate Classes
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
Bernadette Power, Geoff W. Hamilton
WCRE
1995
IEEE
15 years 8 months ago
The Interleaving Problem in Program Understanding
One of the factors that can make a program di cult to understand is that code responsible for accomplishing more than one purpose may be woven together in a single section. We cal...
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills