12807 search results - page 251 / 2562 » Application - Platform Performance Modeling and Evaluation |
156
click to vote
FGCS
2006
15 years 6 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...
195
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes an investigation in progress into the searching behaviour of end-users and how it is affected by interface design. The project focused on qualitative data gat...
153
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
172
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
194
click to vote
IJMMS
2007
15 years 6 months ago
2007
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...