Sciweavers

10707 search results - page 41 / 2142

» Designing executable abstractions

85

Voted

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

15 years 2 months ago

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

99

Voted

TODAES
1998

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

15 years 2 months ago

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

Download www.cparity.com

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

claim paper

Read More »

102

Voted

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 1 months ago

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

64

Voted

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

15 years 1 months ago

A framework for designing concurrent and recoverable abstract data types based on commutativity

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

103

Voted

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 20 days ago

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

« Prev « First page 41 / 2142 Last » Next »