Search Sciweavers | Sciweavers

4469 search results - page 127 / 894

» Dynamic Program Slicing

click to vote

IPPS
2000
IEEE

96views Distributed And Parallel Com...» more IPPS 2000»

A Runtime System for Dynamic DAG Programming

14 years 7 days ago

Download ipdps.cc.gatech.edu

Min-You Wu, Wei Shu, Yong Chen

claim paper

Read More »

click to vote

ISCA
2000
IEEE

94views Hardware» more ISCA 2000»

A hardware mechanism for dynamic extraction and relayout of program hot spots

14 years 7 days ago

Download www.cs.cmu.edu

Matthew C. Merten, Andrew R. Trick, Erik M. Nystro...

claim paper

Read More »

click to vote

VLSID
2000
IEEE

76views VLSI» more VLSID 2000»

Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming

14 years 7 days ago

Download www.ics.uci.edu

Aviral Shrivastava, Mohit Kumar, Sanjiv Kapoor, Sh...

claim paper

Read More »

click to vote

CADE
1999
Springer

119views Logical Reasoning» more CADE 1999»

A dynamic programming approach to categorial deduction

14 years 4 days ago

Download www.loria.fr

We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...

Philippe de Groote

claim paper

Read More »

click to vote

RECOMB
1998
Springer

93views Computational Biology» more RECOMB 1998»

Dynamic programming alignment accuracy

14 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers