1446 search results - page 213 / 290 » Hardware Software Co-Design Using Functional Languages |
135
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
106
Voted
SACRYPT
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we introduce a new approach to the generation of binary sequences by applying trace functions to elliptic curves over GF 2m . We call these sequences elliptic curve...
128
Voted
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
106
Voted
JAIR
2006
15 years 2 months ago
2006
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
137
Voted
QEST
2010
IEEE
15 years 15 days ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...