Sciweavers

11345 search results - page 124 / 2269
» Foundations of Computer Science
Sort
View
RELMICS
2005
Springer
15 years 4 months ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
ICVS
2001
Springer
15 years 3 months ago
A System to Navigate a Robot into a Ship Structure
A prototype system has been built to navigate a walking robot into a ship structure. The 8-legged robot is equipped with a stereo head. From the CAD-model of the ship good viewpoi...
Markus Vincze, Minu Ayromlou, Carlos Beltran, Anto...
IJPP
2007
91views more  IJPP 2007»
14 years 11 months ago
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato...
SAC
2011
ACM
14 years 2 months ago
An empirical study on the effectiveness of time-aware test case prioritization techniques
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, Ch...