2958 search results - page 148 / 592 » Extending and Implementing RASP |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
DCC
2002
IEEE
14 years 9 months ago
2002
IEEE
Vector wavelet transforms for vector-valued fields can be implemented directly from multiwavelets; however, existing multiwavelets offer surprisingly poor performance for transfor...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
CADE
2009
Springer
14 years 5 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...