3792 search results - page 639 / 759 » Techniques for Trusted Software Engineering |
186
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
167
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We describe our system called MobileASL for real-time video communication on the current U.S. mobile phone network. The goal of MobileASL is to enable Deaf people to communicate w...
219
click to vote
ISPASS
2008
IEEE
16 years 26 days ago
2008
IEEE
The evolution of microprocessors has been hindered by their increasing power consumption and the heat generation speed on-die. High temperature impairs the processor’s reliabili...
186
click to vote
CGO
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
169
click to vote
ISPASS
2007
IEEE
16 years 23 days ago
2007
IEEE
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...