Search Sciweavers | Sciweavers

3404 search results - page 105 / 681

» C Programming Tutorial

200

click to vote

CAV
2000
Springer

197views Hardware» more CAV 2000»

Bounded Model Construction for Monadic Second-Order Logics

15 years 10 months ago

Download www.springer.com

Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...

Abdelwaheb Ayari, David A. Basin

claim paper

Read More »

146

click to vote

SOSP
2001
ACM

93views Operating System» more SOSP 2001»

Untrusted Hosts and Confidentiality: Secure Program Partitioning

16 years 3 months ago

Download tianyuan.org

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...

claim paper

Read More »

117

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

Genetic Programming for Attribute Construction in Data Mining

15 years 11 months ago

Download www.cs.bham.ac.uk

Fernando E. B. Otero, Monique M. S. Silva, Alex Al...

claim paper

Read More »

140

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

132

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers