1642 search results - page 13 / 329 » SPINning Parallel Systems Software |
COMPSAC
2003
IEEE
15 years 2 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
ICPPW
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
CASES
2003
ACM
15 years 2 months ago
2003
ACM
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
53
Voted
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
