Search Sciweavers | Sciweavers

15635 search results - page 167 / 3127

» A Designing Model of XML-Dataweb

148

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

Read More »

136

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

16 years 7 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

141

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

16 years 7 months ago

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

138

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

16 years 1 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

117

click to vote

EUROMICRO
2005
IEEE

104views Software Engineering» more EUROMICRO 2005»

Model Interchange Using OMG Standards

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers