Search Sciweavers | Sciweavers

882 search results - page 18 / 177

» Analysis of Composite Corridors

119

click to vote

DAC
2000
ACM

113views Computer Architecture» more DAC 2000»

Analysis of composition complexity and how to obtain smaller canonical graphs

16 years 7 months ago

Download www.ece.rice.edu

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

claim paper

Read More »

115

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

16 years 16 days ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

129

click to vote

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

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

16 years 13 days ago

Download pubs.doc.ic.ac.uk

Glenn Bruns, Michael Huth

claim paper

Read More »

124

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

15 years 11 months ago

Download www.itee.uq.edu.au

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

claim paper

Read More »

120

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers