Sciweavers

10707 search results - page 41 / 2142

» Designing executable abstractions

57

ENTCS
2002

72views more ENTCS 2002»

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

14 years 9 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 »

70

TODAES
1998

42views more TODAES 1998»

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

14 years 9 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 »

66

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

14 years 8 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 »

41

CORR
2010
Springer

76views Education» more CORR 2010»

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

14 years 8 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 »

71

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

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

14 years 8 months 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 »