Search Sciweavers | Sciweavers

15784 search results - page 550 / 3157

» Mega Software Engineering

133

click to vote

EMSOFT
2006
Springer

97views Software Engineering» more EMSOFT 2006»

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

15 years 10 months ago

Download www.ics.uci.edu

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

claim paper

Read More »

177

click to vote

EMSOFT
2006
Springer

96views Software Engineering» more EMSOFT 2006»

Communication by sampling in time-sensitive distributed systems

15 years 10 months ago

Download www.irisa.fr

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

claim paper

Read More »

141

click to vote

CODES
2001
IEEE

81views Software Engineering» more CODES 2001»

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

15 years 10 months ago

Download www.cs.york.ac.uk

José M. Álvarez, Manuel Díaz,...

claim paper

Read More »

157

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 10 months ago

Download santos.cis.ksu.edu

James C. Corbett, Matthew B. Dwyer, John Hatcliff,...

claim paper

Read More »

155

click to vote

IWSSD
2000
IEEE

117views Software Engineering» more IWSSD 2000»

The Dangerous 'All' in Specifications

15 years 10 months ago

Download se.uwaterloo.ca

Rupp and Go

Daniel M. Berry, Erik Kamsties

claim paper

Read More »

« Prev « First page 550 / 3157 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers