Search Sciweavers | Sciweavers

1642 search results - page 13 / 329

» SPINning Parallel Systems Software

click to vote

COMPSAC
2003
IEEE

146views Software Engineering» more COMPSAC 2003»

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

14 years 29 days 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 »

click to vote

ICPPW
2006
IEEE

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

Model Checking Control Communication of a FACTS Device

14 years 1 months 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 »

click to vote

CASES
2003
ACM

77views System Software» more CASES 2003»

A new look at exploiting data parallelism in embedded systems

14 years 28 days ago

Download impact.crhc.illinois.edu

Hillery C. Hunter, Jaime H. Moreno

claim paper

Read More »