3828 search results - page 628 / 766 » Proof-Based System Engineering Using a Virtual System Model |
105
click to vote
AUIC
2000
IEEE
15 years 7 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
140
Voted
VIS
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper, we present a volume roaming system dedicated to oil and gas exploration. Our system combines probebased volume rendering with data processing and computing. The dai...
132
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
120
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
118
Voted
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...