15840 search results - page 250 / 3168 » The Control of Synchronous Systems |
151
Voted
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
98
Voted
ENTCS
2008
15 years 3 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
161
Voted
PDSE
1998
15 years 4 months ago
1998
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
145
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
132
click to vote
SIMPRA
2008
15 years 3 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...