1541 search results - page 265 / 309 » Tools and Techniques for Model Checking Networked Programs |
140
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
103
Voted
BMCBI
2006
15 years 16 days ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
112
click to vote
TVCG
2008
15 years 11 days ago
2008
A standard approach to large network visualization is to provide an overview of the network and a detailed view of a small component of the graph centred around a focal node. The u...
128
Voted
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
113
Voted
ICN
2009
Springer
15 years 7 months ago
2009
Springer
Using internet for media-based real-time collaboration has become widespread activity. In this paper, we present a framework called CoUniverse, designed for building realtime user...