2963 search results - page 159 / 593 » An architecture for generic extensions |
170
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- The use of synthesizable reconfigurable cores in system on chip (SoC) designs is increasingly becoming a trend. Such domain-special cores are being used for their flexibility, po...
234
Voted
JSAT
2010
15 years 1 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
208
Voted
WSOM
2009
Springer
16 years 1 months ago
2009
Springer
We explore generic mechanisms to introduce structural hints into the method of Unsupervised Kernel Regression (UKR) in order to learn representations of data sequences in a semi-su...
201
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
190
Voted
PAIRING
2009
Springer
16 years 1 months ago
2009
Springer
A number of previous papers explored the notion of identity-based group signature. We present a generic construction of identity-based group signatures. Our construction is based o...