12841 search results - page 297 / 2569 » PL-detective: experiences and results |
172
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
182
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
OpenH323 is an open source H.323 implementation that has been ported to IPv6. In this paper we briefly introduce the library architecture and the performance citeria with which th...
145
Voted
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
Simulations and experiments in the fusion and plasma physics community generate large datasets at remote sites. Visualization and analysis of these datasets are difficult because ...
161
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
The contribution presents an approach for motion capturing (MoCap) of dressed people. A cloth draping method is embedded in a silhouette based MoCap system and an error functional ...
191
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...