Sciweavers

1711 search results - page 5 / 343
» Completing pseudojump operators
Sort
View
SIGCSE
2002
ACM
136views Education» more  SIGCSE 2002»
13 years 7 months ago
PortOS: an educational operating system for the Post-PC environment
In this paper, we describe PortOS, an educational operating system designed to complement undergraduate and graduate level classes on operating systems. PortOS is a complete user-...
Benjamin Atkin, Emin Gün Sirer
ISAAC
2005
Springer
109views Algorithms» more  ISAAC 2005»
14 years 1 months ago
Recursion Theoretic Operators for Function Complexity Classes
We characterize the gap between time and space complexity of functions by operators and completeness. First, we introduce a new notion of operators for function complexity classes ...
Kenya Ueno
GECCO
2003
Springer
116views Optimization» more  GECCO 2003»
14 years 29 days ago
A Hybrid Genetic Algorithm Based on Complete Graph Representation for the Sequential Ordering Problem
Abstract. A hybrid genetic algorithm is proposed for the sequential ordering problem. It is known that the performance of a genetic algorithm depends on the survival environment an...
Dong-il Seo, Byung Ro Moon
LATA
2009
Springer
14 years 2 months ago
Bounded Hairpin Completion
We consider a restricted variant of the hairpin completion called bounded hairpin completion. The hairpin completion is a formal operation inspired from biochemistry. Applied to a ...
Masami Ito, Peter Leupold, Victor Mitrana
ICFP
2003
ACM
14 years 7 months ago
A sound and complete axiomatization of delimited continuations
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
Yukiyoshi Kameyama, Masahito Hasegawa