4385 search results - page 236 / 877 » Abstraction for Concurrent Objects |
105
click to vote
RE
2004
Springer
15 years 5 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
115
click to vote
IUI
2009
ACM
15 years 4 months ago
2009
ACM
Editing facial expressions of virtual characters is quite a complex task. The face is made up of many muscles, which are partly activated concurrently. Virtual faces with human exp...
TACS
1997
Springer
15 years 3 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...
107
click to vote
TOMCCAP
2008
14 years 11 months ago
2008
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howeve...
188
click to vote
DATE
2011
IEEE
14 years 3 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...