6530 search results - page 764 / 1306 » Application Integration |
198
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
In this study, we propose the use of specialized influence models to capture the dynamic behavior of a Network-onChip (NoC). Our goal is to construct a versatile modeling framewor...
168
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
198
click to vote
BIOSIG
2008
15 years 9 months ago
2008
: Biometrics provide the possibility of unique and convenient authentication. As its application areas grow rapidly, the problems, such as identity fraud and cross matching, threat...
178
click to vote
CCE
2007
15 years 9 months ago
2007
: Collaborative engineering involves knowledge-intensive activities involving different specialists in collaboration processes tailored for the engineering domain under considerati...
187
click to vote
CIIT
2007
15 years 9 months ago
2007
We investigate the problem of a collaborative digital library collection that allows librarians and non-librarians alike to share information on specific topics through MARC reco...