1009 search results - page 51 / 202 » Performance Analysis of UML Models Using Aspect-Oriented Mod... |
83
Voted
SAT
2005
Springer
15 years 3 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
93
Voted
WECWIS
1999
IEEE
15 years 2 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...
PDP
1996
IEEE
15 years 2 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
102
Voted
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...