Search Sciweavers | Sciweavers

10568 search results - page 119 / 2114

» Computer Intelligence and Formalization

137

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 11 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

Voted

DAC
1997
ACM

89views Computer Architecture» more DAC 1997»

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation

15 years 10 months ago

Download www.cs.york.ac.uk

Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...

claim paper

Read More »

132

Voted

CHI
1994
ACM

102views Human Computer Interaction» more CHI 1994»

Supporting knowledge-base evolution with incremental formalization

15 years 10 months ago

Download www.csdl.tamu.edu

Frank M. Shipman III, Raymond McCall

claim paper

Read More »

131

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 10 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

122

click to vote

CMSB
2007
Springer

84views Applied Computing» more CMSB 2007»

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers