Sciweavers

1711 search results - page 5 / 343
» Completing pseudojump operators
Sort
View
SIGCSE
2002
ACM
136views Education» more  SIGCSE 2002»
15 years 5 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»
15 years 11 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»
15 years 11 months 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
16 years 22 days 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
16 years 5 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