4485 search results - page 378 / 897 » Equivalences on Observable Processes |
169
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Achieving weighted throughput maximization (WTM) through power control has been a long standing open problem in interference-limited wireless networks. The complicated coupling bet...
182
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The Tissue Microarray (TMA) facilitates high-throughput analysis of hundreds of tissue specimens simultaneously. However, bottlenecks in the storage and manipulation o...
198
click to vote
ENTCS
2006
15 years 6 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
178
click to vote
JOC
2008
15 years 6 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
191
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Dynamically tracking the flow of data within a microprocessor creates many new opportunities to detect and track malicious or erroneous behavior, but these schemes all rely on the...