3 search results - page 1 / 1 » Extended Models and Tools for High-performance Part-of-speec... |
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
— State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated due to global source of variations and path r...
IPPS
1997
IEEE
13 years 9 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
LPAR
2012
Springer
12 years 10 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...