Search Sciweavers | Sciweavers

5241 search results - page 175 / 1049

» Embedded Programming with C

102

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

Genetic Programming for Attribute Construction in Data Mining

15 years 10 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

127

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 9 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

114

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

15 years 9 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

123

click to vote

IPPS
1993
IEEE

70views Distributed And Parallel Com...» more IPPS 1993»

Explicit Parallel Structuring for Rule-Based Programming

15 years 9 months ago

Download www.csie.ndhu.edu.tw

Shiow-yang Wu, James C. Browne

claim paper

Read More »

103

click to vote

DBPL
1989
Springer

65views Database» more DBPL 1989»

Napier88 - A Database Programming Language?

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers