9049 search results - page 1632 / 1810 » The New C Standard |
148
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
174
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
146
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Existing studies on time series are based on two categories of distance functions. The first category consists of the Lp-norms. They are metric distance functions but cannot supp...
164
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Many organizations often underutilize their already constructed data warehouses. In this paper, we suggest a novel way of acquiring more information from corporate data warehouses...
168
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
In IEEE 802.11 wireless LANs, the DCF access method and the PCF access method operate alternatively within a superframe to service the time-varying traffic demands. Due to differ...