Sciweavers

450 search results - page 84 / 90
» Experience with an analytic approach to teaching programming...
Sort
View
169
Voted
CC
2009
Springer
190views System Software» more  CC 2009»
15 years 10 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...
155
Voted
CP
2009
Springer
15 years 10 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 4 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 3 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 2 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