18572 search results - page 45 / 3715 » High performance C |
CF
2009
ACM
13 years 7 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
CBMS
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents the effects of image quality, given by the number of pixels used to define the image. A microaneurysm (MA) segmentation algorithm that has been shown to achiev...
HOTI
2005
IEEE
14 years 3 months ago
2005
IEEE
: The exposed memory hierarchies employed in many network processors (NPs) are expensive in terms of meeting the worst-case processing requirement. Moreover, it is difficult to ef...
ENTCS
2010
13 years 7 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...