Sciweavers

21 search results - page 3 / 5
» ia 2006
Sort
View
OIR
2010
101views more  OIR 2010»
15 years 7 days ago
Supporting information access in e-learning by integrating digital libraries and ontology
Purpose – The purpose of this paper is to examine the integration of digital library (DL) technologies with ontology-based knowledge representation in providing semantic rich in...
Daqing He, Yefei Peng, Ming Mao, Dan Wu
CRIWG
2006
15 years 3 months ago
Monitoring and Analyzing Group Interactions in Asynchronous Discussions with the DIAS System
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
Tharrenos Bratitsis, Angelique Dimitracopoulou
ISCA
2006
IEEE
137views Hardware» more  ISCA 2006»
15 years 7 months ago
Multiple Instruction Stream Processor
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
Richard A. Hankins, Gautham N. Chinya, Jamison D. ...
105
Voted
JOT
2006
113views more  JOT 2006»
15 years 1 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
130
Voted
DAC
2006
ACM
16 years 2 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu