Search Sciweavers | Sciweavers

882 search results - page 18 / 177

» Analysis of Composite Corridors

click to vote

DAC
2000
ACM

113views Computer Architecture» more DAC 2000»

Analysis of composition complexity and how to obtain smaller canonical graphs

14 years 9 months ago

Download www.ece.rice.edu

Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo W...

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

14 years 3 months ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

click to vote

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

14 years 3 months ago

Download pubs.doc.ic.ac.uk

Glenn Bruns, Michael Huth

claim paper

Read More »

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

14 years 2 months ago

Download www.itee.uq.edu.au

Andreas Leicher, Susanne Busse, Jörn Guy S&uu...

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers