3256 search results - page 454 / 652 » Applications of Formal Methods to System Design and Verifica... |
202
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
150
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
Mobile phones have two sensors: a camera and a microphone. The widespread and ubiquitous nature of mobile phones around the world makes it attractive to build a large-scale sensor...
155
click to vote
ICES
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Evolvable Hardware (EHW) has been proposed as a new method for designing systems for real-world applications. In this paper it is applied for evolving a prosthetic hand c...
124
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper provides a power-margin-based measure of the quality of computer-generated random variates having a distribution that derives from the multivariate Gaussian distribut...
143
click to vote
IFIP
1992
Springer
15 years 9 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...