Sciweavers

8398 search results - page 1285 / 1680
» Optimal Software Testing
Sort
View
EUROGP
2004
Springer
109views Optimization» more  EUROGP 2004»
16 years 9 days ago
Extending Grammatical Evolution to Evolve Digital Surfaces with Genr8
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...
Martin Hemberg, Una-May O'Reilly
EUROPAR
2004
Springer
16 years 9 days ago
A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
Edmond Kereku, Tianchao Li, Michael Gerndt, Josef ...
FSTTCS
2004
Springer
16 years 9 days ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
ICESS
2004
Springer
16 years 9 days ago
A New Gradient-Based Routing Protocol in Wireless Sensor Networks
A new gradient-based routing protocol is proposed in this paper. It takes into account the minimum hop count and remaining energy of each node while relaying data from source node ...
Li Xia, Xi Chen, Xiaohong Guan
LCPC
2004
Springer
16 years 8 days ago
The Use of Traces for Inlining in Java Programs
We explore the effectiveness of using traces in optimization. We build a trace collection system for the Jikes Research Virtual Machine and create traces based on the execution of...
Borys J. Bradel, Tarek S. Abdelrahman
« Prev « First page 1285 / 1680 Last » Next »