268 search results - page 21 / 54 » Experimental Evaluation of Code Properties for WCET Analysis |
IEEEPACT
1998
IEEE
15 years 1 months ago
1998
IEEE
This work identifies practical compiling techniques for scalable shared memory machines. For this, we have focused on experimental studies using a real machine and representative ...
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
—A handwritten Tibetan database, MRG-OHTC, is presented to facilitate the research of online handwritten Tibetan character recognition. The database contains 910 Tibetan characte...
SMI
2006
IEEE
15 years 3 months ago
2006
IEEE
Mesh segmentation has become an important component in many applications in computer graphics. In the last several years, many algorithms have been proposed in this growing area, ...
84
Voted
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Although optimizations have been applied for a number of years to improve the performance of software, problems that have been long-standing remain, which include knowing what opt...