Search Sciweavers | Sciweavers

15885 search results - page 564 / 3177

» Strategic Software Engineering

120

click to vote

CODES
2010
IEEE

112views Software Engineering» more CODES 2010»

Exploring programming model-driven QoS support for NoC-based platforms

15 years 5 months ago

Download infoscience.epfl.ch

Jaume Joven, Andrea Marongiu, Federico Angiolini, ...

claim paper

Read More »

184

click to vote

KBSE
2010
IEEE

122views Software Engineering» more KBSE 2010»

SpecDiff: debugging formal specifications

15 years 5 months ago

Download www.comp.nus.edu.sg

Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...

claim paper

Read More »

142

click to vote

SIGSOFT
2010
ACM

123views Software Engineering» more SIGSOFT 2010»

FITE: future integrated testing environment

15 years 5 months ago

Download www.lta.disco.unimib.it

Michael W. Whalen, Patrice Godefroid, Leonardo Mar...

claim paper

Read More »

182

click to vote

WCET
2010

116views Software Engineering» more WCET 2010»

Timing Anomalies Reloaded

15 years 5 months ago

Download drops.dagstuhl.de

Computing tight WCET bounds in the presence of timing anomalies

Gernot Gebhard

claim paper

Read More »

166

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

15 years 4 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

« Prev « First page 564 / 3177 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers