7557 search results - page 130 / 1512 » Modeling Timed Concurrent Systems |
115
click to vote
ICFP
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
125
click to vote
ESTIMEDIA
2007
Springer
15 years 7 months ago
2007
Springer
Today’s embedded applications often consist of multiple concurrent tasks. These tasks are decomposed into subtasks which are in turn assigned and scheduled on multiple different...
104
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
129
Voted
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
188
click to vote
EUROMICRO
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...