Search Sciweavers | Sciweavers

31387 search results - page 256 / 6278

» Abstracting abstract machines

149

click to vote

ICDCS
2010
IEEE

168views Distributed And Parallel Com...» more ICDCS 2010»

Optimizing the Spatio-temporal Distribution of Cyber-Physical Systems for Environment Abstraction

15 years 10 months ago

Download wirelesslab.sjtu.edu.cn

Linghe Kong, Dawei Jiang, Min-You Wu

claim paper

Read More »

135

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 10 months ago

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

157

click to vote

CNSR
2009
IEEE

93views Communications» more CNSR 2009»

Interference Aware Route Optimization with Predicted Network Conditions - Extended Abstract

15 years 10 months ago

Download wwwiuk.informatik.uni-rostock.de

Till Wollenberg, Thomas Mundt

claim paper

Read More »

154

click to vote

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

15 years 10 months ago

Download www.cs.mcgill.ca

Amy P. Felty, Brigitte Pientka

claim paper

Read More »

122

click to vote

RTA
2010
Springer

137views Theoretical Computer Science» more RTA 2010»

Abstract Models of Transfinite Reductions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers