Search Sciweavers | Sciweavers

17082 search results - page 52 / 3417

» Abstractions for Mobile Computation

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

14 years 2 months ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

14 years 1 months ago

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

click to vote

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

Revising the evolutionary computation abstraction: minimal criteria novelty search

14 years 1 months ago

Download eplex.cs.ucf.edu

Joel Lehman, Kenneth O. Stanley

claim paper

Read More »

click to vote

MSE
2000
IEEE

75views Hardware» more MSE 2000»

Web-based Multimedia Development Techniques for the Instruction of Abstract Concepts in Computer Science

14 years 1 months ago

Download bit.csc.lsu.edu

S. Sitharama Iyengar, Brian E. Pangburn, Robert C....

claim paper

Read More »

click to vote

APL
1999
ACM

64views Software Engineering» more APL 1999»

Regions: an abstraction for expressing array computation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers