Search Sciweavers | Sciweavers

15777 search results - page 187 / 3156

» The Reformulation-Optimization Software Engine

click to vote

EMSOFT
2006
Springer

85views Software Engineering» more EMSOFT 2006»

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

13 years 12 months ago

Download www.cecs.uci.edu

Christos Sofronis, Stavros Tripakis, Paul Caspi

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

94views Software Engineering» more EMSOFT 2006»

Scratchpad memory management for portable systems with a memory management unit

13 years 12 months ago

Download aces.snu.ac.kr

Bernhard Egger, Jaejin Lee, Heonshik Shin

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

13 years 12 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

click to vote

EWSA
2006
Springer

130views Software Engineering» more EWSA 2006»

Configurations by UML

13 years 12 months ago

Download folk.uio.no

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

claim paper

Read More »

click to vote

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers