3053 search results - page 265 / 611 » Performance of Generative Programming Based Protocol Impleme... |
166
click to vote
JSC
2010
14 years 9 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
122
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
121
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
115
click to vote
PPAM
2005
Springer
15 years 7 months ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
148
click to vote
FPL
2010
Springer
15 years 11 days ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...