5374 search results - page 1055 / 1075 » The induction of communication protocols |
145
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
189
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
177
click to vote
ISCA
1994
IEEE
15 years 10 months ago
1994
IEEE
We comparethe performance of software-supported shared memory on a general-purpose network to hardware-supported shared memory on a dedicated interconnect. Up to eight processors,...
167
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...
208
click to vote
NOSSDAV
1993
Springer
15 years 10 months ago
1993
Springer
For applications relying on the transfer of multimedia, and in particular continuous media, it is essential that quality of service (QoS) is guaranteed system-wide, including end-s...