676 search results - page 76 / 136 » A Search-Free Intersection Algorithm |
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
We consider scheduling real-time tasks in the presence of message loss and Byzantine node failures in unreliable networks. We present scheduling algorithms called RTQG and RTQG-B....
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Recent developments in volume visualization using standard graphics hardware provide an effective and interactive way to understand and interpret the data. Mainly based on 3d text...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...