1054 search results - page 175 / 211 » Translation Validation of System Abstractions |
179
click to vote
DEDS
2000
15 years 5 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
160
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
177
click to vote
FCCM
1997
IEEE
15 years 9 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
149
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
118
click to vote
ISVC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A challenge for virtual reality (VR) applications is to increase the realism of an observer’s visual experience. For this purpose the variation of the blur an observer ...