3686 search results - page 476 / 738 » Pattern-Based Parallel Programming |
122
Voted
AADEBUG
2000
Springer
15 years 7 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
118
Voted
POS
1998
Springer
15 years 7 months ago
1998
Springer
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
124
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
125
click to vote
IWAN
2000
Springer
15 years 7 months ago
2000
Springer
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
112
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
{DSP algorithms in most cases are subject to hard real-time constraints. In case of programmable DSP processors, meeting those constraints must be ensured by appropriate code gener...