Search Sciweavers | Sciweavers

10568 search results - page 119 / 2114

» Computer Intelligence and Formalization

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 2 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

click to vote

DAC
1997
ACM

89views Computer Architecture» more DAC 1997»

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation

15 years 2 months ago

Download www.cs.york.ac.uk

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

claim paper

Read More »

click to vote

CHI
1994
ACM

102views Human Computer Interaction» more CHI 1994»

Supporting knowledge-base evolution with incremental formalization

15 years 2 months ago

Download www.csdl.tamu.edu

Frank M. Shipman III, Raymond McCall

claim paper

Read More »

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 2 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers