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

15 years 11 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

103

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

15 years 10 months ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

109

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

15 years 10 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

113

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers