Search Sciweavers | Sciweavers

9006 search results - page 143 / 1802

» Modeling Software

173

click to vote

RTSS
1995
IEEE

85views Control Systems» more RTSS 1995»

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

15 years 10 months ago

Download www.csee.umbc.edu

Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe

claim paper

Read More »

105

click to vote

ECOOP
1989
Springer

74views Programming Languages» more ECOOP 1989»

A Compositional Model for Software Reuse

15 years 10 months ago

Download www.emeraldprogramminglanguage.org

Rajendra K. Raj, Henry M. Levy

claim paper

Read More »

169

click to vote

AICCSA
2008
IEEE

249views Hardware» more AICCSA 2008»

An evaluation method for aspectual modeling of distributed software architectures

15 years 8 months ago

Download ce.sharif.edu

Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, ...

claim paper

Read More »

106

click to vote

ECMDAFA
2008
Springer

72views Hardware» more ECMDAFA 2008»

A Survey about the Intent to Use Visual Defect Annotations for Software Models

15 years 8 months ago

Download www.fokus.fraunhofer.de

Jörg Rech, Axel Spriestersbach

claim paper

Read More »

163

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers