Search Sciweavers | Sciweavers

8132 search results - page 61 / 1627

» Dependability, Abstraction, and Programming

114

click to vote

ICDCSW
2003
IEEE

99views Computer Networks» more ICDCSW 2003»

A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks

15 years 11 months ago

Download www.cs.virginia.edu

Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...

claim paper

Read More »

109

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 10 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

125

click to vote

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

138

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 10 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

143

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers