1642 search results - page 13 / 329 » SPINning Parallel Systems Software |
167
click to vote
COMPSAC
2003
IEEE
15 years 11 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...
155
Voted
ICPPW
2006
IEEE
16 years 12 days 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...
117
Voted
CASES
2003
ACM
15 years 11 months ago
2003
ACM
155
Voted
ISORC
2008
IEEE
16 years 23 days ago
2008
IEEE
