773 search results - page 42 / 155 » Efficient system design space exploration using machine lear... |
112
click to vote
ICCD
1992
IEEE
15 years 1 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
DEXA
2004
Springer
15 years 1 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
110
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Extracting useful knowledge from large network datasets has become a fundamental challenge in many domains, from scientific literature to social networks and the web. We introduc...
MLMI
2005
Springer
15 years 3 months ago
2005
Springer
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
SP
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...