Sciweavers

3707 search results - page 410 / 742
» A Simple Technique for Self-Calibration
Sort
View
170
Voted
EMSOFT
2006
Springer
15 years 10 months ago
Scheduling for multi-threaded real-time programs via path planning
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
Thao Dang, Philippe Gerner
ESTIMEDIA
2006
Springer
15 years 10 months ago
Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...
Heiko Falk, Jens Wagner, André Schaefer
172
Voted
FC
2006
Springer
94views Cryptology» more  FC 2006»
15 years 10 months ago
Private Policy Negotiation
With the increasing importance of correctly handling privacy-sensitive data, significant work has been put in expressing and enforcing privacy policies. Less work has been done ho...
Klaus Kursawe, Gregory Neven, Pim Tuyls
200
Voted
GECCO
2006
Springer
226views Optimization» more  GECCO 2006»
15 years 10 months ago
Segmentation of medical images using a genetic algorithm
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...
Payel Ghosh, Melanie Mitchell
ESOP
2000
Springer
15 years 10 months ago
A Calculus for Link-Time Compilation
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
Elena Machkasova, Franklyn A. Turbak