3718 search results - page 447 / 744 » Programming by Integration in Robotics |
211
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
231
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
223
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
206
click to vote
ANOR
2005
15 years 7 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...
214
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...