Search Sciweavers | Sciweavers

10568 search results - page 100 / 2114

» Computer Intelligence and Formalization

click to vote

ICTCS
2007
Springer

124views Theoretical Computer Science» more ICTCS 2007»

A formal framework for compositional compilation

15 years 4 months ago

Download ftp.disi.unige.it

Davide Ancona, Elena Zucca

claim paper

Read More »

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

15 years 4 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

111

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 3 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

89views Applied Computing» more BIRTHDAY 2005»

Formal Approaches to Teamwork

15 years 3 months ago

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers