1368 search results - page 175 / 274 » Avoiding Simplicity Is Complex |
133
Voted
NOCS
2008
IEEE
15 years 9 months 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...
115
Voted
RTSS
2008
IEEE
15 years 9 months 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...
117
Voted
TASE
2008
IEEE
15 years 9 months 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...
118
Voted
AVSS
2007
IEEE
15 years 9 months 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...
109
Voted
CEC
2007
IEEE
15 years 9 months 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...