Search Sciweavers | Sciweavers

8083 search results - page 124 / 1617

» A Formalization of Software Architecture

107

click to vote

ICSE
2007
IEEE-ACM

116views Software Engineering» more ICSE 2007»

Self-Managed Systems: an Architectural Challenge

16 years 3 months ago

Download csse.usc.edu

Jeff Kramer, Jeff Magee

claim paper

Read More »

click to vote

HIPEAC
2009
Springer

109views System Software» more HIPEAC 2009»

Compiler Controlled Speculation for Power Aware ILP Extraction in Dataflow Architectures

15 years 10 months ago

Download lca.ece.utexas.edu

Muhammad Umar Farooq, Lizy Kurian John, Margarida ...

claim paper

Read More »

106

click to vote

ICSM
2009
IEEE

147views Software Engineering» more ICSM 2009»

Criteria for the evaluation of implemented architectures

15 years 10 months ago

Download homepages.cwi.nl

Eric Bouwers, Joost Visser, Arie van Deursen

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

123views Software Engineering» more ADAEUROPE 2009»

Validating Safety and Security Requirements for Partitioned Architectures

15 years 10 months ago

Download www.aadl.info

Julien Delange, Laurent Pautet, Peter H. Feiler

claim paper

Read More »

105

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers