Search Sciweavers | Sciweavers

15777 search results - page 504 / 3156

» The Reformulation-Optimization Software Engine

138

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 8 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

108

click to vote

CSMR
2006
IEEE

81views Software Engineering» more CSMR 2006»

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3

15 years 8 months ago

Download sisinflab.poliba.it

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...

claim paper

Read More »

103

click to vote

EMSOFT
2006
Springer

97views Software Engineering» more EMSOFT 2006»

Formal performance evaluation of AMBA-based system-on-chip designs

15 years 8 months ago

Download www.ics.uci.edu

Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...

claim paper

Read More »

133

click to vote

EMSOFT
2006
Springer

96views Software Engineering» more EMSOFT 2006»

Communication by sampling in time-sensitive distributed systems

15 years 8 months ago

Download www.irisa.fr

Albert Benveniste, Benoît Caillaud, Luca P. ...

claim paper

Read More »

102

Voted

CODES
2001
IEEE

81views Software Engineering» more CODES 2001»

Deriving hard real-time embedded systems implementations directly from SDL specifications

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers