Sciweavers

1569 search results - page 111 / 314
» Programming contest strategy
Sort
View
EMSOFT
2003
Springer
15 years 5 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
122
Voted
EVOW
2005
Springer
15 years 6 months ago
On the Application of Evolutionary Algorithms to the Consensus Tree Problem
Computing consensus trees amounts to finding a single tree that summarizes a collection of trees. Three evolutionary algorithms are defined for this problem, featuring characteri...
Carlos Cotta
RTA
2005
Springer
15 years 6 months ago
Partial Inversion of Constructor Term Rewriting Systems
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
111
Voted
SWSTE
2003
IEEE
15 years 5 months ago
Towards a Standard Family of Languages for Matching Patterns in Source Code
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
Uri Dekel, Tal Cohen, Sara Porat
ESOP
2003
Springer
15 years 5 months ago
Requirements on the Execution of Kahn Process Networks
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
Marc Geilen, Twan Basten