Sciweavers

450 search results - page 84 / 90
» Experience with an analytic approach to teaching programming...
Sort
View
CC
2009
Springer
190views System Software» more  CC 2009»
16 years 2 months ago
SSA Elimination after Register Allocation
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...
Fernando Magno Quintão Pereira, Jens Palsbe...
CP
2009
Springer
16 years 2 months ago
Exploiting Problem Structure for Solution Counting
This paper deals with the challenging problem of counting the number of solutions of a CSP, denoted #CSP. Recent progress have been made using search methods, such as BTD [15], whi...
Aurélie Favier, Philippe Jégou, Simo...
ASWEC
2008
IEEE
15 years 8 months ago
Construction by Configuration: Challenges for Software Engineering Research and Practice
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
Ian Sommerville
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 7 months ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
CP
2003
Springer
15 years 7 months ago
Comparison of Symmetry Breaking Methods
Symmetry in a Constraint Satisfaction Problem can cause wasted search, which can be avoided by adding constraints to the CSP to exclude symmetric assignments or by modifying the s...
Karen E. Petrie