370 search results - page 50 / 74 » Bounded modified realizability |
RTAS
1996
IEEE
15 years 4 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
CLUSTER
2006
IEEE
15 years 3 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
129
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
OSDI
1996
ACM
15 years 1 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We study a dissimilarity measure between shapes, expressed by the natural pseudodistance between size pairs, where a shape is viewed as a topological space endowed with a real-val...