1862 search results - page 113 / 373 » General Architecture for Hardware Implementation of Genetic ... |
136
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
106
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The IEEE 802.15.4a amendment has introduced ultra-wideband impulse radio (UWB IR) as a promising physical layer for energy-efficient, low data rate communications. A critical p...
84
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The paper describes several efficient parallel implementations of the one-sided hyperbolic Jacobi-type algorithm for computing eigenvalues and eigenvectors of Hermitian matrices. ...
132
click to vote
COOPIS
1997
IEEE
15 years 7 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
140
Voted
CASES
2005
ACM
15 years 5 months ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...