1312 search results - page 121 / 263 » Embedded contract languages |
102
Voted
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
140
Voted
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
114
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
125
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
137
click to vote
JIIS
2008
15 years 3 months ago
2008
We use the Edit distance with Moves on words and trees and say that two regular (tree) languages are -close if every word (tree) of one language is -close to the other. A transduc...