5904 search results - page 280 / 1181 » Requirements for a Composition Language |
123
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a new style of long-distance, on-chip interconnect, based loosely on the asynchronous GasP architecture. It has a number of advantages over conventional designs, the mo...
139
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
171
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
132
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
133
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...