Search Sciweavers | Sciweavers

10848 search results - page 64 / 2170

» Programming in Biomolecular Computation

109

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 9 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

119

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

15 years 9 months ago

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

105

click to vote

SIGCSE
2003
ACM

167views Education» more SIGCSE 2003»

Identifying and correcting Java programming errors for introductory computer science students

15 years 9 months ago

Download www.notablesoftware.com

Maria Hristova, Ananya Misra, Megan Rutter, Rebecc...

claim paper

Read More »

117

Voted

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

118

Voted

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers