Sciweavers

143 search results - page 11 / 29
» Inherent Causal Orderings of Partial Order Scenarios
Sort
View
APLAS
2005
ACM
15 years 5 months ago
Race Conditions in Message Sequence Charts
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
Chien-An Chen, Sara Kalvala, Jane Sinclair
AAAI
1996
15 years 1 months ago
Is "Early Commitment" in Plan Generation Ever a Good Idea?
Partial-Order Causal Link planners typically take a "least-commitment" approach to some decisions (notably, step ordering), postponing those decisions until constraints ...
David Joslin, Martha E. Pollack
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
15 years 3 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
PIMRC
2010
IEEE
14 years 9 months ago
Joint channel assignment and link scheduling for wireless mesh networks: Revisiting the Partially Overlapped Channels
Despite all the encouraging reports on the benefit of Partially Overlapped Channels (POCs), the relative simple interference models and rather arbitrary network settings considered...
Xiang Liu, Jun Luo
ICASSP
2010
IEEE
14 years 6 months ago
Physical layer algorithm and hardware verification of MIMO relays using cooperative partial detection
Cooperative communication with multi-antenna relays can significantly increase the reliability and speed. However, cooperative MIMO detection would impose considerable complexity o...
Kiarash Amiri, Michael Wu, Melissa Duarte, Joseph ...