1809 search results - page 246 / 362 » Software Model Checking Using Linear Constraints |
DAGSTUHL
2007
13 years 10 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...
ALGORITHMICA
2007
13 years 9 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...
JPDC
2008
13 years 9 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...