Search Sciweavers | Sciweavers

1837 search results - page 1 / 368

» Architecture = Abstractions over Software

click to vote

TOOLS
1999
IEEE

98views Programming Languages» more TOOLS 1999»

Architecture = Abstractions over Software

13 years 9 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

13 years 11 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

click to vote

EMSOFT
2010
Springer

120views Software Engineering» more EMSOFT 2010»

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures

13 years 2 months ago

Download www-rocq.inria.fr

We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...

claim paper

Read More »

click to vote

EMSOFT
2005
Springer

93views Software Engineering» more EMSOFT 2005»

Systems architecture: the empirical way: abstract architectures to 'optimal' systems

13 years 10 months ago

Download www.cecs.uci.edu

Graham R. Hellestrand

claim paper

Read More »

click to vote

CISIS
2010
IEEE

139views Software Engineering» more CISIS 2010»

Space-Based Architectures as Abstraction Layer for Distributed Business Applications

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers