1368 search results - page 175 / 274 » Avoiding Simplicity Is Complex |
165
click to vote
NOCS
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper introduces a cost-effective technique to deal with CMP coherence protocol requirements from the interconnection network point of view. A mechanism is presented to avoid...
152
click to vote
RTSS
2008
IEEE
16 years 14 days ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
151
click to vote
TASE
2008
IEEE
16 years 14 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
156
click to vote
AVSS
2007
IEEE
16 years 13 days ago
2007
IEEE
This paper addresses the problem of dense estimation of disparities between omnidirectional images, in a spherical framework. Omnidirectional imaging certainly represents importan...
147
click to vote
CEC
2007
IEEE
16 years 13 days ago
2007
IEEE
— Particle swarm optimization (PSO) is a stochastic global optimization algorithm inspired by social behavior of bird flocking in search for food, which is a simple but powerful...