Sciweavers

8141 search results - page 158 / 1629
» Higher Order Generalization
Sort
View
EPS
1998
Springer
15 years 11 months ago
Evolutionary Search for Minimal Elements in Partially Ordered Finite Sets
The task of finding minimal elements of a partially ordered set is a generalization of the task of finding the global minimum of a real-valued function or of finding Pareto-optimal...
Günter Rudolph
RECOMB
2000
Springer
15 years 10 months ago
Early eukaryote evolution based on mitochondrial gene order breakpoints
We present a general heuristicfor the median problem for induced breakpoints on genomes with unequal gene content and incorporate this into a routine for estimating optimal gene o...
David Sankoff, David Bryant, Mélanie Deneau...
ACSD
2007
IEEE
88views Hardware» more  ACSD 2007»
16 years 1 months ago
Testing the executability of scenarios in general inhibitor nets
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
HOTOS
1999
IEEE
15 years 11 months ago
Soft Real Time Scheduling for General Purpose Client-Server Systems
This paper considers the problem of scheduling Real Time applications on a general-purpose Operating System. The approach taken is to modify a mainstream system, in order to reali...
David Ingram
ENTCS
2007
104views more  ENTCS 2007»
15 years 6 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski