Search Sciweavers | Sciweavers

15784 search results - page 742 / 3157

» Mega Software Engineering

141

click to vote

FSTTCS
2004
Springer

82views Software Engineering» more FSTTCS 2004»

Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS

16 years 26 days ago

Download www.ulb.ac.be

Gilles Geeraerts, Jean-François Raskin, Lau...

claim paper

Read More »

165

click to vote

ISORC
2003
IEEE

100views Distributed And Parallel Com...» more ISORC 2003»

Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation

16 years 22 days ago

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

Peng Li, Binoy Ravindran, Jinggang Wang, Glenn Kon...

claim paper

Read More »

175

click to vote

METRICS
2003
IEEE

110views Software Engineering» more METRICS 2003»

Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension

16 years 22 days ago

Download se.aist-nara.ac.jp

Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken...

claim paper

Read More »

142

click to vote

EMSOFT
2003
Springer

101views Software Engineering» more EMSOFT 2003»

Translating Discrete-Time Simulink to Lustre

16 years 21 days ago

Download www-verimag.imag.fr

Paul Caspi, Adrian Curic, Aude Maignan, Christos S...

claim paper

Read More »

155

click to vote

EUROSYS
2010
ACM

149views Software Engineering» more EUROSYS 2010»

Using transparent compression to improve SSD-based I/O caches

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers