8874 search results - page 29 / 1775 » A New Implementation of Automath |
CN
2007
13 years 11 months ago
2007
Wide-area service replication is becoming increasingly common, with the emergence of new operational models such as content delivery networks and computational grids. This paper d...
IAJIT
2010
13 years 9 months ago
2010
: The coding gain of the H.264/AVC video encoder mainly comes from the new incorporated prediction tools. However, their enormous computation and ultrahigh memory bandwidth are the...
APCCAS
2006
IEEE
14 years 5 months ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
CSSE
2008
IEEE
14 years 5 months ago
2008
IEEE
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
DATE
2010
IEEE
14 years 4 months ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...