3742 search results - page 437 / 749 » On the Use of Formal Techniques for Validation |
135
Voted
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
Current visualization methods of volume angiograms are limited in their ability to display vessel connectivity and depth information readily available in the data set. In this wor...
170
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...
192
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Clock skew scheduling is a technique that intentionally introduces skews to memory elements to improve the performance of a sequential circuit. It was shown in [21] that the full ...
179
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes two approaches to integrating standalone information processing techniques into a semantic application capable of acquiring and maintaining knowledge...
150
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...