10899 search results - page 591 / 2180 » The GP Programming System |
244
click to vote
COMPASS
1994
15 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
175
click to vote
SIGDOC
1992
ACM
15 years 11 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
180
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
180
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
218
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...