1271 search results - page 111 / 255 » On Simulation-Checking with Sequential Systems |
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper we propose a subgradient method for solving coupled optimization problems in a distributed way given restrictions on the communication topology. The iterative pro...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—A bit-node centric decoder architecture for lowdensity parity-check codes is proposed. This architecture performs the optimum sum-product algorithm. A bit node processin...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Conventional models of multirobot control assume independent robots and tasks. This allows an additive model in which the operator controls robots sequentially neglecting each u...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...