2836 search results - page 465 / 568 » Model Checking for Software Architectures |
162
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
149
click to vote
SBACPAD
2006
IEEE
16 years 9 days ago
2006
IEEE
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
183
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
166
click to vote
WSC
2008
15 years 8 months ago
2008
Simulation techniques can provide a resource-driven schedule and answer many hypothetical scenarios before project execution to improve on conventional project management software...
165
click to vote
ERCIM
2007
15 years 6 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...