Search Sciweavers | Sciweavers

10568 search results - page 100 / 2114

» Computer Intelligence and Formalization

121

Voted

ICTCS
2007
Springer

124views Theoretical Computer Science» more ICTCS 2007»

A formal framework for compositional compilation

16 years 16 days ago

Download ftp.disi.unige.it

Davide Ancona, Elena Zucca

claim paper

Read More »

142

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

16 years 15 days ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

210

Voted

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

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

16 years 11 days 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 12 months ago

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

120

Voted

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers