Sciweavers

8141 search results - page 158 / 1629
» Higher Order Generalization
Sort
View
131
Voted
EPS
1998
Springer
15 years 7 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
112
Voted
RECOMB
2000
Springer
15 years 7 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...
120
Voted
ACSD
2007
IEEE
88views Hardware» more  ACSD 2007»
15 years 10 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
113
Voted
HOTOS
1999
IEEE
15 years 7 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 3 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