2639 search results - page 209 / 528 » Improving Web Design Methods with Architecture Modeling |
131
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
With increasing design complexity, as well as continued scaling of supplies, the design and analysis of power/ground distribution networks poses a difficult problem in modern IC d...
139
click to vote
WWW
2006
ACM
16 years 5 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 ...
127
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
247
click to vote
VLDB
2008
ACM
16 years 4 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
146
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...