Sciweavers

2678 search results - page 162 / 536
» Operational Semantics of Transactions
Sort
View
AAECC
2007
Springer
109views Algorithms» more  AAECC 2007»
15 years 11 months ago
The Tangent FFT
The split-radix FFT computes a size-n complex DFT, when n is a large power of 2, using just 4n lg n−6n+8 arithmetic operations on real numbers. This operation count was first an...
Daniel J. Bernstein
SPAA
2003
ACM
15 years 10 months ago
Nonblocking k-compare-single-swap
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...
Victor Luchangco, Mark Moir, Nir Shavit
144
Voted
EDBT
2006
ACM
130views Database» more  EDBT 2006»
16 years 5 months ago
Querying and Updating Probabilistic Information in XML
Abstract. We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. Th...
Serge Abiteboul, Pierre Senellart
BIRTHDAY
2003
Springer
15 years 10 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
VLDB
1990
ACM
101views Database» more  VLDB 1990»
15 years 9 months ago
Non-Monotonic Knowledge Evolution in VLKDBs
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
Christian Esculier