Search Sciweavers | Sciweavers

8497 search results - page 147 / 1700

» Design for an Optimal Probe

280

click to vote

DAC
2008
ACM

228views Computer Architecture» more DAC 2008»

SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models

16 years 7 months ago

Download www12.informatik.uni-erlangen.de

SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...

Christian Haubelt, Thomas Schlichter, Joachim Kein...

claim paper

Read More »

161

click to vote

STOC
2010
ACM

194views Algorithms» more STOC 2010»

Multi-parameter mechanism design and sequential posted pricing

15 years 11 months ago

Download www.eecs.northwestern.edu

We study the classic mathematical economics problem of Bayesian optimal mechanism design where a principal aims to optimize expected revenue when allocating resources to self-inte...

Shuchi Chawla, Jason Hartline, David Malec and Bal...

claim paper

Read More »

156

click to vote

ASYNC
2007
IEEE

129views Hardware» more ASYNC 2007»

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

15 years 10 months ago

Download ftp.inrialpes.fr

Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...

Gwen Salaün, Wendelin Serwe, Yvain Thonnart, ...

claim paper

Read More »

150

click to vote

DAC
2001
ACM

105views Computer Architecture» more DAC 2001»

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

16 years 7 months ago

Download www.ee.ucr.edu

Sheldon X.-D. Tan, C.-J. Richard Shi

claim paper