Sciweavers

8499 search results - page 103 / 1700
» cans 2009
Sort
View
84
Voted
ACSD
2009
IEEE
136views Hardware» more  ACSD 2009»
15 years 7 months ago
Model Checking Verilog Descriptions of Cell Libraries
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad...
135
Voted
ARITH
2009
IEEE
15 years 7 months ago
Polynomial Multiplication over Finite Fields Using Field Extensions and Interpolation
A method for polynomial multiplication over finite fields using field extensions and polynomial interpolation is introduced. The proposed method uses polynomial interpolation a...
Murat Cenk, Çetin Kaya Koç, Ferruh &...
75
Voted
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
15 years 7 months ago
Understanding the "Boundary" in Information Sharing and Integration
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...
Lei Zheng, Tung-Mou Yang, Theresa A. Pardo, Yuanfu...
77
Voted
HICSS
2009
IEEE
77views Biometrics» more  HICSS 2009»
15 years 7 months ago
Users of Open Source Software - How Do They Get Help?
A study was conducted across multiple open source software online technical help communities. This paper presents the types of discussions that occur, the types of questions asked...
Vandana Singh, Michael B. Twidale, David M. Nichol...
HICSS
2009
IEEE
125views Biometrics» more  HICSS 2009»
15 years 7 months ago
Conceptualizing Interpersonal Interruption Management: A Theoretical Framework and Research Program
Previous research exploring interpersonal-technologymediated interruptions has focused on understanding how the knowledge of an individual’s local context can be utilized to redu...
Sukeshini A. Grandhi, Quentin Jones