Sciweavers

3902 search results - page 150 / 781
» Hardware Synthesis from C C Models
Sort
View
161
Voted
SIGMETRICS
2006
ACM
104views Hardware» more  SIGMETRICS 2006»
15 years 9 months ago
Modeling adoptability of secure BGP protocols
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
Haowen Chan, Debabrata Dash, Adrian Perrig, Hui Zh...
121
Voted
CASES
2004
ACM
15 years 9 months ago
High-level power analysis for on-chip networks
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
Noel Eisley, Li-Shiuan Peh
156
Voted
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 7 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
120
Voted
JRTIP
2007
109views more  JRTIP 2007»
15 years 3 months ago
Robust GPU-assisted camera tracking using free-form surface models
We propose a marker-less model-based camera tracking approach, which makes use of GPU-assisted analysis-by-synthesis methods on a very wide field of view (e.g. fish-eye) camera. ...
Kevin Köser, Bogumil Bartczak, Reinhard Koch
143
Voted
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
16 years 17 days ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna