Search Sciweavers | Sciweavers

9006 search results - page 176 / 1802

» Modeling Software

161

click to vote

LCPC
2005
Springer

172views System Software» more LCPC 2005»

Combined ILP and Register Tiling: Analytical Model and Optimization Framework

16 years 28 days ago

Download bit.csc.lsu.edu

Lakshminarayanan Renganarayanan, U. Ramakrishna, S...

claim paper

Read More »

128

Voted

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

16 years 28 days ago

Download www.sqrl.ul.ie

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...

claim paper

Read More »

136

click to vote

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

16 years 26 days ago

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

153

Voted

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

16 years 25 days ago

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

144

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

16 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers