3579 search results - page 233 / 716 » Transformations of software models into performance models |
122
click to vote
ISPW
2007
IEEE
16 years 4 days ago
2007
IEEE
The economic benefit of a certain development process or particular activity is usually unknown and indeed hard to predict. However, the cost-effectiveness of process improvement...
152
click to vote
SIGITE
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
145
click to vote
IJSC
2008
15 years 5 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
152
click to vote
IPPS
2007
IEEE
16 years 4 days 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...
135
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...