Search Sciweavers | Sciweavers

4880 search results - page 49 / 976

» Manuals as Structured Programs

click to vote

ICCAD
2002
IEEE

101views Hardware» more ICCAD 2002»

FastMag: a 3-D magnetostatic inductance extraction program for structures with permeable materials

14 years 4 months ago

Download www.rle.mit.edu

Yehia Massoud, Jacob White

claim paper

Read More »

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

14 years 3 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

14 years 3 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

14 years 3 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

click to vote

ICSE
2001
IEEE-ACM

100views Software Engineering» more ICSE 2001»

On the Syllogistic Structure of Object-Oriented Programming

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers