3514 search results - page 322 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
144
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
149
click to vote
PE
2010
Springer
14 years 10 months ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
123
click to vote
SEE
1989
Springer
15 years 8 months ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
157
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
131
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...