3199 search results - page 446 / 640 » Variability in Automation System Models |
191
click to vote
CC
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
205
click to vote
DICTA
2007
15 years 8 months ago
2007
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
207
click to vote
SPLC
2004
15 years 8 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
190
click to vote
QEST
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
246
Voted
UIST
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...