2958 search results - page 148 / 592 » Extending and Implementing RASP |
120
Voted
ICSE
2007
IEEE-ACM
16 years 3 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...
84
Voted
DCC
2002
IEEE
16 years 2 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...
130
Voted
TACAS
2010
Springer
15 years 10 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...
129
Voted
CADE
2009
Springer
15 years 10 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
15 years 10 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...