Sciweavers

15253 search results - page 60 / 3051

» Integer-Programming Software Systems

90

ARCS
2008
Springer

67views Software Engineering» more ARCS 2008»

System Level Simulation of Autonomic SoCs with TAPES

15 years 6 months ago

System Level Simulation of Autonomic SoCs with TAPES

Download arcs08.inf.tu-dresden.de

Andreas Lankes, Thomas Wild, Johannes Zeppenfeld

claim paper

Read More »

92

ICSE
2010
IEEE-ACM

129views Software Engineering» more ICSE 2010»

Helios: impact analysis for event-based components and systems

15 years 6 months ago

Helios: impact analysis for event-based components and systems

Download softarch.usc.edu

Daniel Popescu

claim paper

Read More »

123

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 6 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

100

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

15 years 6 months ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

122

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

15 years 6 months ago

Dependable Systems

Download dmi.uib.es

André Schiper

claim paper

Read More »

« Prev « First page 60 / 3051 Last » Next »