1193 search results - page 149 / 239 » A primer of simple theories |
155
click to vote
ISAAC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
141
click to vote
MODELS
2009
Springer
16 years 28 days ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
170
click to vote
IAT
2008
IEEE
16 years 26 days ago
2008
IEEE
We develop strategy/false-name-proof multi-unit auction protocols for non-quasi-linear utilities. One almost universal assumption in auction theory literature is that each bidder ...
165
click to vote
ICASSP
2008
IEEE
16 years 25 days ago
2008
IEEE
The theory of compressed sensing shows that samples in the form of random projections are optimal for recovering sparse signals in high-dimensional spaces (i.e., finding needles ...
177
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...