Search Sciweavers | Sciweavers

12015 search results - page 62 / 2403

» Interactive Algorithms 2005

117

click to vote

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

16 years 4 days ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

144

click to vote

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

Exploring students' understanding of the concept of algorithm: levels of abstraction

16 years 4 days ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

142

click to vote

PASTE
2005
ACM

120views Software Engineering» more PASTE 2005»

A concept analysis inspired greedy algorithm for test suite minimization

16 years 4 days ago

Download groups.csail.mit.edu

Sriraman Tallam, Neelam Gupta

claim paper

Read More »

113

click to vote

SIGCOMM
2005
ACM

129views Communications» more SIGCOMM 2005»

Algorithms for advanced packet classification with ternary CAMs

16 years 3 days ago

Download conferences.sigcomm.org

Karthik Lakshminarayanan, Anand Rangarajan, Sriniv...

claim paper

Read More »

139

click to vote

AE
2005
Springer

87views Artificial Intelligence» more AE 2005»

A Cooperative Multilevel Tabu Search Algorithm for the Covering Design Problem

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers