Search Sciweavers | Sciweavers

9626 search results - page 238 / 1926

» Invariant Based Programming

130

click to vote

IEEEPACT
2006
IEEE

101views Distributed And Parallel Com...» more IEEEPACT 2006»

Performance prediction based on inherent program similarity

16 years 16 days ago

Download www.cs.virginia.edu

Kenneth Hoste, Aashish Phansalkar, Lieven Eeckhout...

claim paper

Read More »

139

click to vote

ISVLSI
2005
IEEE

95views VLSI» more ISVLSI 2005»

System Level Methodology for Programming CMP Based Multi-Threaded Network Processor Architectures

16 years 3 days ago

Download www.princeton.edu

Vijaykumar Ramamurthi, Jason McCollum, Christopher...

claim paper

Read More »

click to vote

CEEMAS
2005
Springer

80views Intelligent Agents» more CEEMAS 2005»

Stochastic Reactive Production Scheduling by Multi-agent Based Asynchronous Approximate Dynamic Programming

16 years 1 days ago

Download www.sztaki.hu

Balázs Csanád Csáji, Lá...

claim paper

Read More »

129

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

16 years 1 days ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

149

click to vote

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers