Search Sciweavers | Sciweavers

31387 search results - page 381 / 6278

» Abstracting abstract machines

403

click to vote

SIGCOMM
2012
ACM

339views Communications» more SIGCOMM 2012»

Abstractions for network update

13 years 10 months ago

Download frenetic-lang.org

ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Conﬁguration changes are a common...

Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...

claim paper

Read More »

195

click to vote

ACL
2012

207views Computational Linguistics» more ACL 2012»

Fully Abstractive Approach to Guided Summarization

13 years 10 months ago

Download www-rali.iro.umontreal.ca

Pierre-Etienne Genest, Guy Lapalme

claim paper

Read More »

181

click to vote

LICS
2012
IEEE

203views Automated Reasoning» more LICS 2012»

Better Abstractions for Timed Automata

13 years 10 months ago

Download www.labri.fr

Frédéric Herbreteau, B. Srivathsan, ...

claim paper

Read More »

168

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 10 months ago

Download research.cs.wisc.edu

Aditya V. Thakur, Matt Elder, Thomas W. Reps

claim paper

Read More »

189

click to vote

CONCUR
2012
Springer

227views Distributed And Parallel Com...» more CONCUR 2012»

A Theory of History Dependent Abstractions for Learning Interface Automata

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers