3168 search results - page 489 / 634 » Computing Event Dependencies in System Designs and Programs |
144
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
154
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
185
click to vote
PERVASIVE
2006
Springer
15 years 5 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...
142
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
185
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...