19003 search results - page 35 / 3801 » We Need Assurance! |
HT
1997
ACM
13 years 12 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...
CAV
1998
Springer
13 years 12 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
SIGMETRICS
2011
ACM
13 years 2 months ago
2011
ACM
In recent years the High Performance Computing (HPC) industry has benefited from the development of higher density multi-core processors. With recent chips capable of executing u...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
Estimating the number of distinct elements in a large multiset has several applications, and hence has attracted active research in the past two decades. Several sampling and sket...
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Since December 2008, the official BitTorrent client is using a new congestion-control protocol for data transfer, implemented at the application layer and built over UDP at the tr...