Sciweavers

6355 search results - page 968 / 1271
» From Logic to Games
Sort
View
ATS
2005
IEEE
118views Hardware» more  ATS 2005»
16 years 11 days ago
Partial Gating Optimization for Power Reduction During Test Application
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
Mohammed ElShoukry, Mohammad Tehranipoor, C. P. Ra...
CSB
2005
IEEE
143views Bioinformatics» more  CSB 2005»
16 years 11 days ago
Analysis of four different sets of predictive features for metalloproteins
Metals bound to the protein are important for functional or structural roles. Despite their importance there is a distinct lack of research for identification of metalloproteins f...
Huseyin Seker, Parvez I. Haris
EMSOFT
2005
Springer
16 years 8 days ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
SAT
2005
Springer
142views Hardware» more  SAT 2005»
16 years 7 days ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...
SIGDOC
2004
ACM
16 years 5 days ago
Changes in scientific articles over two hundred years: a coh-metrix analysis
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
Michell Bruss, Michael J. Albers, Danielle McNamer...