Search Sciweavers | Sciweavers

31387 search results - page 381 / 6278

» Abstracting abstract machines

360

Voted

SIGCOMM
2012
ACM

339views Communications» more SIGCOMM 2012»

Abstractions for network update

13 years 9 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 »

174

Voted

ACL
2012

207views Computational Linguistics» more ACL 2012»

Fully Abstractive Approach to Guided Summarization

13 years 9 months ago

Download www-rali.iro.umontreal.ca

Pierre-Etienne Genest, Guy Lapalme

claim paper

Read More »

167

click to vote

LICS
2012
IEEE

203views Automated Reasoning» more LICS 2012»

Better Abstractions for Timed Automata

13 years 9 months ago

Download www.labri.fr

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

claim paper

Read More »

152

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 9 months ago

Download research.cs.wisc.edu

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

claim paper

Read More »

172

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers