212 search results - page 30 / 43 » Rapid Abstract Control Model for Signal Processing Implement... |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The purpose of this paper is to model the stochastic behavior of the nodal prices of electricity in deregulated markets in the USA, and in particular, to explain how this behavior...
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
101
click to vote
CEFP
2005
Springer
15 years 5 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
112
click to vote
TVLSI
2008
14 years 11 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
FCCM
2000
IEEE
15 years 4 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...