Sciweavers

1145 search results - page 128 / 229
» The Correctness of an Optimized Code Generation
Sort
View
CP
2003
Springer
15 years 9 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
EUROGP
2000
Springer
107views Optimization» more  EUROGP 2000»
15 years 8 months ago
Using Factorial Experiments to Evaluate the Effect of Genetic Programming Parameters
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
Robert Feldt, Peter Nordin
ICIP
2006
IEEE
16 years 6 months ago
Parity-Object Embedded Streaming for Synthetic Graphics
This paper proposes an object-oriented approach for streaming synthetic graphic contents over a packet-erasure channel. Graphic objects such as geometric meshes and texture images...
Dihong Tian, Ghassan Alregib
IEEESCC
2005
IEEE
15 years 10 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
EUROPAR
2001
Springer
15 years 9 months ago
Data-Parallel Compiler Support for Multipartitioning
Multipartitioning is a skewed-cyclic block distribution that yields better parallel efficiency and scalability for line-sweep computations than traditional block partitionings. Th...
Daniel G. Chavarría-Miranda, John M. Mellor...