Sciweavers

853 search results - page 18 / 171
» Delimited Continuations in Operating Systems
Sort
View
ESOP
2004
Springer
14 years 3 months ago
Answer Type Polymorphism in Call-by-Name Continuation Passing
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
Hayo Thielecke
ECIS
2001
13 years 11 months ago
The Virtual Consortium: Processes and Systems in the Construction Sector
Work in today's economic organisations is either performed through the execution of continuous operations or through the implementation of one-off projects; hence one can dis...
Christos Halaris, Georgia Bafoutsou, Giorgos Papav...
WSCG
2004
120views more  WSCG 2004»
13 years 11 months ago
Voxelization of Solids Using Simplicial Coverings
Rasterization of polygons in 2D is a well known problem, existing several optimal solutions to solve it. The extension of this problem to 3D is more difficult and most existing so...
Antonio J. Rueda Ruiz, Rafael Jesús Segura,...
ICMCS
1994
IEEE
110views Multimedia» more  ICMCS 1994»
14 years 1 months ago
Improving Continuous-Media Playback Performance with In-Kernel Data Paths
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
Kevin R. Fall, Joseph Pasquale
EUROSYS
2006
ACM
14 years 3 months ago
K42: building a complete operating system
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
Orran Krieger, Marc A. Auslander, Bryan S. Rosenbu...