635 search results - page 69 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
129
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
136
click to vote
IROS
2007
IEEE
15 years 11 months 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...
153
Voted
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
142
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
151
click to vote
STOC
2003
ACM
16 years 5 months ago
2003
ACM
We describe a general technique for converting an online algorithm B to a truthtelling mechanism. We require that the original online competitive algorithm has certain "nicen...