Sciweavers

11061 search results - page 95 / 2213

» Computer Architecture

95

Voted

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 6 months ago

Sequential Circuit Verification Using Symbolic Model Checking

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

60

Voted

DAC
2010
ACM

152views Computer Architecture» more DAC 2010»

BooM: a decision procedure for boolean matching with abstraction and dynamic learning

15 years 6 months ago

BooM: a decision procedure for boolean matching with abstraction and dynamic learning

Download alcom.ee.ntu.edu.tw

Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang

claim paper

Read More »

69

Voted

DAC
2010
ACM

105views Computer Architecture» more DAC 2010»

Worst-case response time analysis of resource access models in multi-core systems

15 years 6 months ago

Worst-case response time analysis of resource access models in multi-core systems

Download pertsserver.cs.uiuc.edu

Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia...

claim paper

Read More »

69

Voted

DAC
1995
ACM

116views Computer Architecture» more DAC 1995»

An Efficient Algorithm for Local Don't Care Sets Calculation

15 years 6 months ago

An Efficient Algorithm for Local Don't Care Sets Calculation

Download cadlab.ece.ucsb.edu

Shih-Chieh Chang, Malgorzata Marek-Sadowska, Kwang...

claim paper

Read More »

66

Voted

DAC
1995
ACM

97views Computer Architecture» more DAC 1995»

On Test Set Preservation of Retimed Circuits

15 years 6 months ago

On Test Set Preservation of Retimed Circuits

Download www.cecs.uci.edu

Aiman H. El-Maleh, Thomas E. Marchok, Janusz Rajsk...

claim paper

Read More »

« Prev « First page 95 / 2213 Last » Next »