1449 search results - page 230 / 290 » Self-Randomized Exponentiation Algorithms |
150
click to vote
ESTIMEDIA
2009
Springer
16 years 17 days ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
198
click to vote
FM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
154
click to vote
ICASSP
2008
IEEE
16 years 14 days ago
2008
IEEE
In this paper, we consider online (sequential) portfolio selection in a competitive algorithm framework under transaction costs. We construct a sequential algorithm for portfolio ...
154
click to vote
IROS
2007
IEEE
16 years 9 days ago
2007
IEEE
— Motion planning for robotic arms is important for real, physical world applications. The planning for arms with high-degree-of-freedom (DOF) is hard because its search space is...
148
click to vote
ICSM
2006
IEEE
16 years 1 days ago
2006
IEEE
One approach to supporting program comprehension involves binding concepts to source code. Previously proposed approaches to concept binding have enforced nonoverlapping boundarie...