1605 search results - page 88 / 321 » Designing Parallel Operating Systems via Parallel Programmin... |
119
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
120
click to vote
HPCN
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
187
click to vote
CONPAR
1994
15 years 6 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
109
Voted
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
131
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...