10718 search results - page 661 / 2144 » On the Circuit Implementation Problem |
203
click to vote
SIAMCOMP
2000
15 years 7 months ago
2000
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
214
click to vote
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
15 years 7 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
180
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
242
click to vote
SIAMJO
2011
15 years 1 months ago
2011
We present a class of inexact adaptive multilevel trust-region SQP-methods for the efficient solution of optimization problems governed by nonlinear partial differential equations...
210
click to vote
SPDP
1993
IEEE
15 years 11 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...