2303 search results - page 228 / 461 » Interior-Point Methods in Parallel Computation |
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
131
click to vote
IPL
2007
15 years 3 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
124
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
111
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
154
click to vote
RT
1998
Springer
15 years 8 months ago
1998
Springer
The paper presents a single-pass, view-dependent method to solve the general rendering equation, using a combined finite element and random walk approach. Applying finite element t...