1550 search results - page 210 / 310 » Erlang for Concurrent Programming |
116
click to vote
EUROPAR
2005
Springer
15 years 7 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 ...
101
click to vote
ICCS
2005
Springer
15 years 7 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...
TACAS
2005
Springer
15 years 7 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...
IPPS
2003
IEEE
15 years 7 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...
106
Voted
ICLP
1990
Springer
15 years 5 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...