Sciweavers

24132 search results - page 4697 / 4827
» and 2009
Sort
View
NANONET
2009
Springer
199views Chemistry» more  NANONET 2009»
15 years 11 months ago
Through Silicon Via-Based Grid for Thermal Control in 3D Chips
3D stacked chips have become a promising integration technology for modern systems. The complexity reached in multi-processor systems has increased the communication delays between...
José L. Ayala, Arvind Sridhar, Vinod Pangra...
OSS
2009
Springer
15 years 11 months ago
Reporting Empirical Research in Open Source Software: The State of Practice
Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the ...
Klaas-Jan Stol, Muhammad Ali Babar
PAKDD
2009
ACM
233views Data Mining» more  PAKDD 2009»
15 years 11 months ago
A Kernel Framework for Protein Residue Annotation
Abstract. Over the last decade several prediction methods have been developed for determining structural and functional properties of individual protein residues using sequence and...
Huzefa Rangwala, Christopher Kauffman, George Kary...
PEPM
2009
ACM
15 years 11 months ago
Translation and optimization for a core calculus with exceptions
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
Cristina David, Cristian Gherghina, Wei-Ngan Chin
PKC
2009
Springer
129views Cryptology» more  PKC 2009»
15 years 11 months ago
Zero-Knowledge Proofs with Witness Elimination
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
Aggelos Kiayias, Hong-Sheng Zhou
« Prev « First page 4697 / 4827 Last » Next »