9018 search results - page 1456 / 1804 » 3D-Brain Model Software |
163
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
162
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
162
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...
177
click to vote
CC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
175
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...