Search Sciweavers | Sciweavers

15792 search results - page 106 / 3159

» Computational Abstraction Steps

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

14 years 4 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

14 years 3 months ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

14 years 3 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

14 years 3 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

click to vote

CONCUR
2007
Springer

69views Distributed And Parallel Com...» more CONCUR 2007»

Topology-Dependent Abstractions of Broadcast Networks

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers