Sciweavers

6885 search results - page 228 / 1377
» The micro-structure of use of help
Sort
View
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
16 years 17 days ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
ICPPW
2005
IEEE
16 years 6 days ago
A Practical Approach to the Rating of Barrier Algorithms Using the LogP Model and Open MPI
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...
Torsten Hoefler, Lavinio Cerquetti, Torsten Mehlan...
IEEEICCI
2005
IEEE
16 years 5 days ago
Theoretical study on a new information entropy and its use in attribute reduction
The positive region in rough set framework and Shannon conditional entropy are two traditional uncertainty measurements, used usually as heuristic metrics in attribute reduction. ...
Ping Luo, Qing He, Zhongzhi Shi
IWIA
2005
IEEE
16 years 5 days ago
Forensic Analysis of File System Intrusions Using Improved Backtracking
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
Sriranjani Sitaraman, Subbarayan Venkatesan
ADC
2005
Springer
124views Database» more  ADC 2005»
16 years 4 days ago
Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
Junhu Wang, Rodney W. Topor