Sciweavers

7576 search results - page 269 / 1516
» UNIX as an Application Program
Sort
View
ESA
2004
Springer
124views Algorithms» more  ESA 2004»
15 years 10 months ago
Code Flexibility and Program Efficiency by Genericity: Improving Cgal's Arrangements
Arrangements of planar curves are fundamental structures in computational geometry. We describe the recent developments in the arrangement package of Cgal, the Computational Geomet...
Efi Fogel, Ron Wein, Dan Halperin
GECCO
2000
Springer
15 years 10 months ago
Genetic Programming within a Framework of Computer-Aided Discovery of Scientific Knowledge
Present day instrumentation networks already provide immense quantities of data, very little of which provides any insights into the basic physical phenomena that are occurring in...
Maarten Keijzer, Vladan Babovic
SIGADA
1999
Springer
15 years 11 months ago
Interfacing low-level C device drivers with Ada 95
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
Steven Doran
172
Voted
WORDS
2002
IEEE
15 years 11 months ago
Meta-Programming Techniques for Distributed Real-time and Embedded Systems
Commercial off-the-shelf (COTS) middleware increasingly offers not only functional support for standard interfaces, but also the ability to optimize their resource consumption pat...
Joseph K. Cross, Douglas C. Schmidt
ISSTA
2010
ACM
15 years 10 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder