2836 search results - page 440 / 568 » Model Checking for Software Architectures |
137
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
217
click to vote
SSR
2001
15 years 7 months ago
2001
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
183
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
161
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
189
click to vote
TC
2010
15 years 1 months ago
2010
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...