Sciweavers

1297 search results - page 221 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
PLDI
1998
ACM
15 years 5 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen
HASE
2008
IEEE
15 years 7 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
15 years 7 months ago
Towards On-Line Trajectory Computation
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...
Torsten Kröger, Adam Tomiczek, Friedrich M. W...
JCP
2006
110views more  JCP 2006»
15 years 1 months ago
Gateway Selection Review in Ad hoc Networks
The nature of wireless mobile ad hoc networks depend on batteries or other fatiguing means for their energy. A limited energy capacity may be the most significant performance const...
Tarek Sheltami
DOLAP
2003
ACM
15 years 6 months ago
Achieving adaptivity for OLAP-XML federations
Motivated by the need for more flexible OLAP systems, this paper presents work on logical integration of external data in OLAP databases, carried out in cooperation between the D...
Dennis Pedersen, Torben Bach Pedersen