2432 search results - page 38 / 487 » Using simple abstraction to reinvent computing for paralleli... |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
POPL
2009
ACM
15 years 4 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
ENTCS
1998
14 years 9 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
EDUTAINMENT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a new computer supported remote learning and gaming method using Tele-Face Mouse system. The Tele-Face Mouse system is being developed as a teleconfer...
102
click to vote
ICPP
1993
IEEE
15 years 1 months ago
1993
IEEE
Abstract Data-parallel algorithms for R-trees, a common spatial data structure are presented, in the domain of planar line segment data e.g., Bureau of the Census TIGER Line les ....