13895 search results - page 443 / 2779 » Exploring |
166
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Power estimation is important for system-level exploration and trade-off analysis of VLSI systems. A power estimator for high-speed analog to digital converters that exploits info...
159
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In order to allow blind and deafblind people to use and explore electronically available maps, we have developed a system that displays maps in a tactile way using a stan...
175
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
218
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
177
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Scientific evaluation is based for the most part on citation analysis. The phenomena of citation is not yet well studied. The use of the Contextual Exploration technique that allo...