3885 search results - page 201 / 777 » Transformations for Write-All-with-Collision Model |
144
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
123
click to vote
MIS
2001
Springer
15 years 9 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
155
Voted
TAGT
1998
Springer
15 years 9 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
181
click to vote
LCPC
1995
Springer
15 years 8 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
150
click to vote
SIAMREV
2010
14 years 11 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...