1114 search results - page 132 / 223 » Validating optimizations of concurrent C C programs |
159
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
162
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
156
click to vote
MICRO
2007
IEEE
16 years 16 days ago
2007
IEEE
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...
158
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
159
click to vote
GLOBECOM
2007
IEEE
2007
IEEE
Enhanced Adaptive Frequency Hopping for Wireless Personal Area Networks in a Coexistence Environment
16 years 18 days ago
— In this paper, we present an enhanced adaptive frequency hopping (EAFH) mechanism for improving the performance of frequency hopping-based wireless personal area networks (WPAN...