1446 search results - page 111 / 290 » Formal analysis of hardware requirements |
ISCAPDCS
2001
15 years 2 months ago
2001
-Multi-dimensional applications, such as image processing and seismic analysis, usually require the optimized performance obtained from instruction-level parallelism. The critical ...
168
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
120
Voted
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
108
click to vote
PACT
2005
Springer
15 years 6 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
105
Voted
PICS
2000
15 years 2 months ago
2000
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...