Search Sciweavers | Sciweavers

10848 search results - page 70 / 2170

» Programming in Biomolecular Computation

click to vote

JSC
2002

51views more JSC 2002»

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

14 years 9 months ago

Download www.ginac.de

Christian Bauer, Alexander Frink, Richard Kreckel

claim paper

Read More »

click to vote

MICRO
2002
IEEE

157views Hardware» more MICRO 2002»

The Raw Microprocessor: A Computational Fabric for Software Circuits and General-Purpose Programs

14 years 9 months ago

Download groups.csail.mit.edu

Michael Bedford Taylor, Jason Sungtae Kim, Jason E...

claim paper

Read More »

click to vote

SIGCSE
2002
ACM

109views Education» more SIGCSE 2002»

Leveraging an alternative source of computer scientists: reentry programs

14 years 9 months ago

Download people.mills.edu

Sheila Humphreys, Ellen Spertus

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

14 years 7 months ago

Download www.ki.informatik.uni-frankfurt.de

Conrad Rau, Manfred Schmidt-Schauß

claim paper

Read More »

click to vote

ENTCS
2010

82views more ENTCS 2010»

Reversible Computation and Reversible Programming Languages

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers