1471 search results - page 71 / 295 » Composing concurrency control |
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
103
click to vote
LCTRTS
2010
Springer
14 years 7 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
CORR
2010
Springer
14 years 4 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
IJCNN
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents biologically inspired neural controllers for generating motor patterns in a quadruped robot. Sets of arti cial neural networks are presented which provide 1 p...
DEDS
1998
14 years 9 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...