Search Sciweavers | Sciweavers

22358 search results - page 482 / 4472

» Software Performance Engineering

182

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 11 months ago

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper

Read More »

177

click to vote

EMSOFT
2004
Springer

76views Software Engineering» more EMSOFT 2004»

Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems

15 years 11 months ago

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

Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Pe...

claim paper

Read More »

169

click to vote

EUROMICRO
2004
IEEE

134views Software Engineering» more EUROMICRO 2004»

Component-Based Real-Time Design: Mapping HRT-HOOD to UML

15 years 11 months ago

Download www.idt.mdh.se

Tullio Vardanega, Marco Di Natale, Silvia Mazzini,...

claim paper

Read More »

132

click to vote

EMSOFT
2006
Springer

73views Software Engineering» more EMSOFT 2006»

Energy-efficient dynamic memory allocators at the middleware level of embedded systems

15 years 11 months ago

Download www.artist-embedded.org

Stylianos Mamagkakis, David Atienza, Christophe Po...

claim paper

Read More »

197

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers