8109 search results - page 1070 / 1622 » A Model of Component-Based Programming |
157
click to vote
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
150
click to vote
ISCA
1989
IEEE
15 years 11 months ago
1989
IEEE
Pipelining has become a common technique to increase throughput of the instruction fetch, instruction decode, and instruction execution portions of modern computers. Branch instru...
187
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
185
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
182
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...