3718 search results - page 371 / 744 » Programming by Integration in Robotics |
174
click to vote
DLS
2010
15 years 4 months ago
2010
The design of the Icon programming language's expression evaluation system, which can perform limited backtracking, was unique amongst imperative programming languages when c...
175
click to vote
PADL
2007
Springer
16 years 29 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
175
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present semidefinite programming (SDP) gap instances for the following variants of the Label-Cover problem, closely related to the Unique Games Conjecture: (i) 2-...
172
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
186
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...