Search Sciweavers | Sciweavers

31

DAC
2005
ACM

105views Computer Architecture» more DAC 2005»

Word level predicate abstraction and refinement for verifying RTL verilog

14 years 10 months ago

el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...

Himanshu Jain, Daniel Kroening, Natasha Sharygina,...

claim paper

Read More »

20

click to vote

WWW
2008
ACM

168views Internet Technology» more WWW 2008»

Extending the compatibility notion for abstract WS-BPEL processes

14 years 10 months ago

Download www2008.org

WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...

Dieter König, Niels Lohmann, Simon Moser, Chr...

claim paper

Read More »

25

click to vote

SAS
2009
Springer

148views Formal Methods» more SAS 2009»

Abstract Interpretation from a Topological Perspective

14 years 10 months ago

Download santos.cis.ksu.edu

Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...

David A. Schmidt

claim paper

Read More »

22

click to vote

MOBISYS
2004
ACM

80views Computer Networks» more MOBISYS 2004»

Hood: A Neighborhood Abstraction for Sensor Networks

14 years 9 months ago

Download www.cs.berkeley.edu

Kamin Whitehouse, Cory Sharp, David E. Culler, Eri...

claim paper