11328 search results - page 139 / 2266 » Timed Branching Processes |
136
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ā...
110
click to vote
GC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually deļ¬ned by comparing system behaviour in all environments. Due to this āuniversalā quantiļ¬cation over the poss...
131
click to vote
MMB
2004
Springer
15 years 8 months ago
2004
Springer
Ever-increasing attention has been drawn to source specific multicast in the Internet society. In this paper, a novel multicast scheme, called Scalable Recursive Explicit Multicast...
104
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
117
Voted
SSDBM
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We deļ¬ne a t...