1312 search results - page 56 / 263 » Embedded contract languages |
148
click to vote
ECRTS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
155
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
179
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
203
click to vote
OMER
2001
15 years 7 months ago
2001
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
185
click to vote
COORDINATION
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...