Sciweavers

289 search results - page 14 / 58
» Production Scheduling by Reachability Analysis - A Case Stud...
Sort
View
WICSA
2001
13 years 9 months ago
MAP - Mining Architectures for Product Line Evaluations
Product lines evolve out of existing products. In order to evaluate the potential of creating a product line from existing products it is necessary to `mine' their architectu...
Christoph Stoermer, Liam O'Brien
SEFM
2005
IEEE
14 years 1 months ago
Description Logics for Shape Analysis
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
Lilia Georgieva, Patrick Maier
ANSS
2003
IEEE
14 years 1 months ago
Performance Analysis of Parallel Job Scheduling in Distributed Systems
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...
Helen D. Karatza, Ralph C. Hilzer Jr.
AOSD
2009
ACM
13 years 5 months ago
Concept analysis for product line requirements
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
Nan Niu, Steve M. Easterbrook
ASE
2006
148views more  ASE 2006»
13 years 8 months ago
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
Josh Dehlinger, Robyn R. Lutz