1312 search results - page 153 / 263 » Embedded contract languages |
109
Voted
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
129
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
111
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
135
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
124
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...