3521 search results - page 356 / 705 » Algorithmic Control in Concurrent Computations |
121
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
Often collaborative graphical systems lag behind well accepted single-user applications in terms of features supported. The frequently used operations of group/ungroup offered by ...
123
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
128
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
117
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Designs which do not fully utilize their arithmetic datapath components typically exhibit a significant overhead in power consumption. Whenever a module performs an operation who...
141
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...