Sciweavers

1392 search results - page 143 / 279
» Staging generic programming
Sort
View
TVLSI
2008
120views more  TVLSI 2008»
13 years 9 months ago
An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
COMPSEC
2004
104views more  COMPSEC 2004»
13 years 9 months ago
Formal support for certificate management policies
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
Victoria Ungureanu
HCI
2009
13 years 7 months ago
User Centered Design of a Learning Object Repository
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
Núria Ferran, Ana-Elena Guerrero-Rold&aacut...
NAR
2010
174views more  NAR 2010»
13 years 4 months ago
BeetleBase in 2010: revisions to provide comprehensive genomic information for Tribolium castaneum
BeetleBase (http://www.beetlebase.org) has been updated to provide more comprehensive genomic information for the red flour beetle Tribolium castaneum. The database contains genom...
Hee Shin Kim, Terence Murphy, Jing Xia, Doina Cara...
CP
2009
Springer
14 years 9 months ago
Evaluation of Length-Lex Set Variables
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...
Justin Yip, Pascal Van Hentenryck