182 search results - page 19 / 37 » Illustrating Constraint Programming Systems in Logistic Plan... |
141
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
110
click to vote
ICDCS
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...
VEE
2005
ACM
15 years 5 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
We consider the problem of automatically generating viewpoint motions for a virtual camera tracking a moving target. Given the target's trajectory, we plan the motion of a ca...
ISSS
1997
IEEE
15 years 3 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...