2113 search results - page 67 / 423 » BASS Application Sharing System |
164
click to vote
SP
2009
IEEE
16 years 10 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
157
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, a new I/O-aware load-balancing scheme is presented to improve overall performance of a distributed system with a general and practical workload including I/O activi...
286
Voted
NFM
2011
15 years 17 days ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
154
click to vote
APPT
2005
Springer
15 years 11 months ago
2005
Springer
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
158
Voted
CHI
2007
ACM
15 years 9 months ago
2007
ACM
With new technology, people can share information about everyday places they go; the resulting data helps others find and evaluate places. Recent applications like Dodgeball and S...