Search Sciweavers | Sciweavers

3404 search results - page 105 / 681

» C Programming Tutorial

171

click to vote

CAV
2000
Springer

197views Hardware» more CAV 2000»

Bounded Model Construction for Monadic Second-Order Logics

15 years 8 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 »

119

click to vote

SOSP
2001
ACM

93views Operating System» more SOSP 2001»

Untrusted Hosts and Confidentiality: Secure Program Partitioning

16 years 1 months ago

Download tianyuan.org

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

claim paper

Read More »

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

Genetic Programming for Attribute Construction in Data Mining

15 years 9 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

114

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 8 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

107

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers