4930 search results - page 605 / 986 » Testing a Safety-Critical Application |
192
click to vote
VAST
2004
ACM
16 years 29 days ago
2004
ACM
In the Museum of Pure Form, we explore a novel way of presenting art to visitors of a museum, allowing them to virtually touch artefacts in a virtual museum. In order to realise t...
186
click to vote
FPGA
2004
ACM
16 years 28 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
191
click to vote
FPL
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. The paper presents a high performance True Random Number Generator (TRNG) embedded in Altera Stratix Field Programmable Logic Devices (FPLDs). As a source of randomness, ...
176
click to vote
ICT
2004
Springer
16 years 28 days ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
192
click to vote
OOPSLA
2004
Springer
16 years 27 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...