2302 search results - page 294 / 461 » The Evolution of Concurrent Programs |
184
click to vote
TPHOL
2005
IEEE
16 years 2 days 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...
167
click to vote
EUROPAR
2005
Springer
16 years 17 hour 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 ...
156
click to vote
ICCS
2005
Springer
16 years 8 hour 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...
150
click to vote
TACAS
2005
Springer
15 years 12 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...
163
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...