12453 search results - page 391 / 2491 » Concurrent Data Structures |
223
Voted
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
178
Voted
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
144
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
184
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
186
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...