Search Sciweavers | Sciweavers

1642 search results - page 13 / 329

» SPINning Parallel Systems Software

170

click to vote

COMPSAC
2003
IEEE

146views Software Engineering» more COMPSAC 2003»

Automating Checking of Models Built Using a Graphically Based Formal Modelling Language

15 years 11 months ago

Download eprints.ecs.soton.ac.uk

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...

Robert John Walters

claim paper

Read More »

159

click to vote

ICPPW
2006
IEEE

109views Distributed And Parallel Com...» more ICPPW 2006»

Model Checking Control Communication of a FACTS Device

16 years 14 days ago

Download filpower.mst.edu

This paper concerns the design and veriﬁcation of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...

David A. Cape, Bruce M. McMillin, James K. Townsen...

claim paper

Read More »

118

Voted

CASES
2003
ACM

77views System Software» more CASES 2003»

A new look at exploiting data parallelism in embedded systems

15 years 11 months ago

Download impact.crhc.illinois.edu

Hillery C. Hunter, Jaime H. Moreno

claim paper