Sciweavers

98 search results - page 13 / 20
» Identifying Important Factors in Deterministic Investment Pr...
Sort
View
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
14 years 1 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
WAIM
2004
Springer
14 years 25 days ago
Performance Evaluations of Replacement Algorithms in Hierarchical Web Caching
Abstract. Web caching plays an important role in many network services. Utilization of the cache in each level (server, proxy, and client) of network forms a web caching hierarchy....
Haohuan Fu, Pui-on Au, Weijia Jia
WIDM
2003
ACM
14 years 22 days ago
Schema-guided wrapper maintenance for web-data extraction
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interests. There are two main issues relevant t...
Xiaofeng Meng, Dongdong Hu, Chen Li
MOBISYS
2007
ACM
14 years 7 months ago
Context browsing with mobiles - when less is more
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....
Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan
ITICSE
2006
ACM
14 years 1 months ago
Gender gap in computer science does not exist in one former soviet republic: results of a study
It is well known that women’s involvement in the field of Computer Science is very low in the USA. This is viewed as a significant problem and has become a great concern to educ...
Hasmik Gharibyan, Stephan Gunsaulus