154 search results - page 26 / 31 » Comparison of Process Algebra Equivalences Using Formats |
GECCO
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
105
click to vote
WECWIS
2003
IEEE
15 years 2 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...
SIMUTOOLS
2008
14 years 11 months ago
2008
For the evaluation of ad hoc network protocols, researchers traditionally use simulations because they easily allow for a large number of nodes and reproducible environment condit...
IPMI
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we focus on velocity estimation in ultrasound images sequences. Ultrasound images present many difficulties in image processing because of the typically high level o...
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...