7109 search results - page 110 / 1422 » Process Algebra with Combinators |
102
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
143
click to vote
PDSE
1998
15 years 4 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
127
Voted
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
114
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
159
click to vote
DBPL
1995
Springer
15 years 6 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...