1724 search results - page 93 / 345 » Models for Concurrency |
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
CONCURRENCY
2008
13 years 9 months ago
2008
Much work has been done to address the need for incentive models in real deployed peer-to-peer networks. In this paper, we discuss problems found with the incentive model in a lar...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
IWOMP
2010
Springer
13 years 11 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...