Sciweavers

16790 search results - page 245 / 3358

» A Future for Software Engineering

22

EMSOFT
2006
Springer

85views Software Engineering» more EMSOFT 2006»

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

14 years 2 months ago

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

Download www.cecs.uci.edu

Christos Sofronis, Stavros Tripakis, Paul Caspi

claim paper

Read More »

32

EMSOFT
2006
Springer

94views Software Engineering» more EMSOFT 2006»

Scratchpad memory management for portable systems with a memory management unit

14 years 2 months ago

Scratchpad memory management for portable systems with a memory management unit

Download aces.snu.ac.kr

Bernhard Egger, Jaejin Lee, Heonshik Shin

claim paper

Read More »

49

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

14 years 2 months ago

Towards a formal foundation for domain specific modeling languages

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

27

EWSA
2006
Springer

130views Software Engineering» more EWSA 2006»

Configurations by UML

14 years 2 months ago

Configurations by UML

Download folk.uio.no

Øystein Haugen, Birger Møller-Peders...

claim paper

Read More »

37

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

14 years 2 months ago

Robustness of Temporal Logic Specifications

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

« Prev « First page 245 / 3358 Last » Next »