1150 search results - page 90 / 230 » Tackling Large State Spaces in Performance Modelling |
143
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Speech recognition applications are known to require a significant amount of resources (memory, computing power). However, embedded speech recognition systems, such as in mobile p...
131
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
153
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
134
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
153
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...