3579 search results - page 216 / 716 » Transformations of software models into performance models |
146
click to vote
ICIP
1999
IEEE
15 years 9 months ago
1999
IEEE
A method for compression of large binary images is proposed for applications where spatial access to the image is required. The proposed method is a two-stage combination of forwa...
165
click to vote
PAMI
2006
15 years 5 months ago
2006
Viewpoint independent recognition of free-form objects and their segmentation in the presence of clutter and occlusions is a challenging task. We present a novel 3D model-based alg...
143
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
149
click to vote
TC
1998
15 years 4 months ago
1998
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
133
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...