3579 search results - page 514 / 716 » Transformations of software models into performance models |
193
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
168
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
216
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
The variations of pose lead to significant performance
decline in face recognition systems, which is a bottleneck
in face recognition. A key problem is how to measure the
simila...
161
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
183
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...