7421 search results - page 239 / 1485 » In search of dependable design |
186
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
172
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
189
click to vote
MTV
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
149
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
159
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Text entry user interfaces have been a bottleneck of nontraditional computing devices. One of the promising methods is the virtual keyboard on touch screens. Various layouts have ...