1724 search results - page 167 / 345 » Models for Concurrency |
71
Voted
ICSE
1995
IEEE-ACM
15 years 1 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
72
Voted
GG
2008
Springer
14 years 11 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
113
Voted
TC
2010
14 years 5 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
202
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
93
Voted
CASCON
2008
14 years 11 months ago
2008
Resource allocation in database management systems is a performance management process in which an autonomic DBMS makes resource allocation decisions based on properties like work...