Sciweavers

4763 search results - page 594 / 953
» On the Execution of Deep Models
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 2 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
IEE
2011
15 years 2 months ago
Using autonomous components to improve runtime qualities of software
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
Wenpin Jiao
CIDR
2011
233views Algorithms» more  CIDR 2011»
14 years 11 months ago
Ibis: A Provenance Manager for Multi-Layer Systems
End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortuna...
Christopher Olston, Anish Das Sarma
CPAIOR
2011
Springer
14 years 11 months ago
Almost Square Packing
Abstract. The almost square rectangle packing problem involves packing all rectangles with sizes 1 × 2 to n × (n + 1) (almost squares) into an enclosing rectangle of minimal area...
Helmut Simonis, Barry O'Sullivan
IJRR
2011
130views more  IJRR 2011»
14 years 11 months ago
LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information
— This paper presents LQG-MP (linear-quadratic Gaussian motion planning), a new approach to robot motion planning that takes into account the sensors and the controller that will...
Jur van den Berg, Pieter Abbeel, Ken Goldberg