13101 search results - page 127 / 2621 » Design and Implementation of |
112
Voted
CJ
2010
15 years 5 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
131
click to vote
APSCC
2008
IEEE
15 years 11 months ago
2008
IEEE
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
140
Voted
ICNP
2007
IEEE
15 years 11 months ago
2007
IEEE
— TCP is the dominant transport protocol used in the Internet and its performance fundamentally governs the performance of Internet applications. It is well-known that packet los...
133
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
- This paper presents an H.264/AVC baseline profile decoder based on a SoC platform design methodology. The overall decoding throughput is increased by optimized software and a ded...
141
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
A novel portable hardware architecture of the Elliptic Curve Method of factoring, designed and optimized for application in the relation collection step of the Number Field Sieve,...