Search Sciweavers | Sciweavers

9974 search results - page 277 / 1995

» Software Interconnection Models

149

click to vote

LCPC
2005
Springer

172views System Software» more LCPC 2005»

Combined ILP and Register Tiling: Analytical Model and Optimization Framework

16 years 2 days ago

Download bit.csc.lsu.edu

Lakshminarayanan Renganarayanan, U. Ramakrishna, S...

claim paper

Read More »

115

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

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

16 years 2 days ago

Download www.sqrl.ul.ie

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

claim paper

Read More »

123

click to vote

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

16 years 39 min ago

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

133

click to vote

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

15 years 12 months ago

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

130

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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers