Search Sciweavers | Sciweavers

15777 search results - page 694 / 3156

» The Reformulation-Optimization Software Engine

159

click to vote

ISORC
2006
IEEE

84views Distributed And Parallel Com...» more ISORC 2006»

On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances

16 years 1 months ago

Download www.real-time.ece.vt.edu

Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Dou...

claim paper

Read More »

158

click to vote

ISORC
2006
IEEE

91views Distributed And Parallel Com...» more ISORC 2006»

Dependability Driven Integration of Mixed Criticality SW Components

16 years 1 months ago

Download www.deeds.informatik.tu-darmstadt.de

Shariful Islam, Robert Lindstrom, Neeraj Suri

claim paper

Read More »

132

click to vote

SEW
2006
IEEE

108views Software Engineering» more SEW 2006»

An Eclipse Plug-in for the Java PathFinder Runtime Verification System

16 years 1 months ago

Download essere.disco.unimib.it

Francesca Arcelli Fontana, Claudia Raibulet, Ivano...

claim paper

Read More »

125

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Modular verification of code with SAT

16 years 1 months ago

Download sdg.csail.mit.edu

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson

claim paper

Read More »

149

click to vote

MSR
2006
ACM

124views Software Engineering» more MSR 2006»

Mining email social networks

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers