2935 search results - page 572 / 587 » An Integrated Approach to High Integrity Software Verificati... |
138
click to vote
3DGIS
2006
Springer
15 years 9 months ago
2006
Springer
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...
122
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
142
click to vote
ISLPED
2004
ACM
15 years 9 months ago
2004
ACM
We present a novel temperature/leakage sensor, developed for high-speed, low-power, monitoring of processors and complex VLSI chips. The innovative idea is the use of 4T SRAM cell...
119
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
As FPGA densities increase, partitioning-based FPGA placement approaches are becoming increasingly important as they can be used to provide high-quality and computationally scalab...
122
click to vote
PACS
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, processor manufacturers have converged on two types of register file architectures. Both IBM with its POWER series and Intel with its Pentium series are using a ...