323 search results - page 23 / 65 » A Methodology and Tooling Enabling Application Specific Proc... |
ISSTA
1996
ACM
15 years 1 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partially fixed. At ...
FCCM
2007
IEEE
15 years 4 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
ASAP
2000
IEEE
15 years 1 months ago
2000
IEEE
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded proces...