Sciweavers

1492 search results - page 73 / 299
» Concurrent programming in VISO
Sort
View
SEUS
2009
IEEE
14 years 4 months ago
Concurrency and Communication: Lessons from the SHIM Project
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
Stephen A. Edwards
ARES
1998
Springer
14 years 2 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
CEC
2010
IEEE
13 years 11 months ago
Concurrently evolving sensor morphology and control for a hexapod robot
Evolving a robot's sensor morphology along with its control program has the potential to significantly improve its effectiveness in completing the assigned task, plus accommod...
Gary B. Parker, Pramod J. Nathan
SIGSOFT
2010
ACM
13 years 7 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
POPL
2011
ACM
13 years 23 days ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...