Sciweavers

94 search results - page 3 / 19

» synthese 2011

11

SYNTHESE
2011

90views more SYNTHESE 2011»

Confirmation and reduction: a Bayesian account

13 years 1 months ago

Confirmation and reduction: a Bayesian account

Download www.kent.ac.uk

F. Dizadji-Bahmani, Roman Frigg, Stephan Hartmann

claim paper

Read More »

6

CICC
2011

63views more CICC 2011»

An all-digital PLL synthesized from a digital standard cell library in 65nm CMOS

12 years 6 months ago

An all-digital PLL synthesized from a digital standard cell library in 65nm CMOS

Download www.eecs.umich.edu

Youngmin Park, David D. Wentzloff

claim paper

Read More »

21

CORR
2011
Springer

149views Education» more CORR 2011»

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

13 years 1 months ago

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Download www-verimag.imag.fr

Christian von Essen, Barbara Jobstmann

claim paper

Read More »

13

CORR
2011
Springer

139views Education» more CORR 2011»

Synthesizing Switching Logic to Minimize Long-Run Cost

13 years 1 months ago

Synthesizing Switching Logic to Minimize Long-Run Cost

Download www.eecs.berkeley.edu

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari

posted by susmitjha

Read More »

21

PVLDB
2011

238views Computer Networks» more PVLDB 2011»

Synthesizing Products for Online Catalogs

13 years 1 months ago

Synthesizing Products for Online Catalogs

Download www.vldb.org

Hoa Nguyen, Ariel Fuxman, Stelios Paparizos, Julia...

claim paper

Read More »

« Prev « First page 3 / 19 Last » Next »