Sciweavers

2995 search results - page 450 / 599
» On multi-avoidance of generalized patterns
Sort
View
154
Voted
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 3 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
121
Voted
SPE
2008
89views more  SPE 2008»
15 years 3 months ago
The Runabout
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
Christian Grothoff
130
Voted
TASLP
2008
61views more  TASLP 2008»
15 years 3 months ago
Spectral Representations of Nonmodal Phonation
Abstract--Regions of nonmodal phonation, which exhibit deviations from uniform glottal-pulse periods and amplitudes, occur often in speech and convey information about linguistic c...
Nicolas Malyska, Thomas F. Quatieri
122
Voted
TOG
2008
128views more  TOG 2008»
15 years 3 months ago
VirtualStudio2Go: digital video composition for real environments
We synchronize film cameras and LED lighting with off-the-shelf video projectors. Radiometric compensation allows displaying keying patterns and other spatial codes on arbitrary r...
Anselm Grundhöfer, Oliver Bimber
131
Voted
TSE
2008
99views more  TSE 2008»
15 years 3 months ago
Modular Information Hiding and Type-Safe Linking for C
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
Saurabh Srivastava, Michael Hicks, Jeffrey S. Fost...