12981 search results - page 2385 / 2597 » Model Checking (Abstract) |
120
click to vote
CGF
2008
15 years 3 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
121
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
132
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
132
click to vote
COMCOM
2008
15 years 3 months ago
2008
Abstract-- We introduce in this paper CHESS, an applicationaware space for enhanced scalable services in overlay networks. In this new space, the proximity of peers is determined a...
128
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...