1499 search results - page 200 / 300 » Chopping Concurrent Programs |
146
Voted
INFOCOM
2006
IEEE
16 years 2 days ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
174
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
163
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
— Previous works have shown that neural branch prediction techniques achieve far lower misprediction rate than traditional approaches. We propose a neural predictor based on two ...
151
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
138
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...