2370 search results - page 386 / 474 » A Structured Set of Higher-Order Problems |
161
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
151
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
157
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
160
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
204
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...