2227 search results - page 205 / 446 » Reversibility and Models for Concurrency |
212
click to vote
CBSE
2005
Springer
16 years 24 days ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
185
click to vote
EMSOFT
2005
Springer
16 years 23 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
185
click to vote
VMCAI
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
207
click to vote
FIDJI
2003
Springer
16 years 14 days ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
197
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...