Search Sciweavers | Sciweavers

9006 search results - page 176 / 1802

» Modeling Software

147

click to vote

LCPC
2005
Springer

172views System Software» more LCPC 2005»

Combined ILP and Register Tiling: Analytical Model and Optimization Framework

15 years 12 months ago

Download bit.csc.lsu.edu

Lakshminarayanan Renganarayanan, U. Ramakrishna, S...

claim paper

Read More »

110

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

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

15 years 12 months ago

Download www.sqrl.ul.ie

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

claim paper

Read More »

120

click to vote

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

15 years 12 months ago

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

130

click to vote

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

15 years 11 months ago

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

128

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers