6187 search results - page 481 / 1238 » Practical Software Measurement |
185
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
183
click to vote
CASES
2001
ACM
15 years 11 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
152
click to vote
PROFES
2000
Springer
15 years 10 months ago
2000
Springer
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...
178
click to vote
WSC
2008
15 years 9 months ago
2008
The Monte Carlo and discrete-event simulation code associated with the Simulation 101 pre-conference workshop (offered at the 2006, 2007, and 2008 Winter Simulation Conferences) i...
157
click to vote
WSC
2008
15 years 9 months ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...