Sciweavers

6836 search results - page 48 / 1368

» Modelling Web-Oriented Architectures

20

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

14 years 8 months ago

Critical path analysis using a dynamically bounded delay model

Download www.cs.tufts.edu

Soha Hassoun

claim paper

Read More »

23

DAC
2001
ACM

105views Computer Architecture» more DAC 2001»

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

14 years 8 months ago

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

Download www.ee.ucr.edu

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

claim paper

Read More »

21

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 8 months ago

Can BDDs compete with SAT solvers on bounded model checking?

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

22

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

14 years 8 months ago

Automatic abstraction and verification of verilog models

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

22

WICSA
2008

138views Software Engineering» more WICSA 2008»

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

13 years 9 months ago

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

Download wwwp.dnsalias.org

With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...

Zhiming Chang, XinJun Mao, Zhichang Qi

claim paper

Read More »

« Prev « First page 48 / 1368 Last » Next »