831 search results - page 147 / 167 » Finding Minimum Data Requirements Using Pseudo-independence |
ATAL
2007
Springer
14 years 29 days ago
2007
Springer
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
ARITH
2001
IEEE
14 years 19 days ago
2001
IEEE
This paper demonstrates the advantages of using on-line arithmetic for traditional and advanced detection algorithms for communication systems. Detection is one of the core comput...
FMCAD
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
PACS
2000
Springer
14 years 16 days ago
2000
Springer
Reducing the supply voltage to reduce dynamic power consumption in CMOS devices, inadvertently will lead to an exponential increase in leakage power dissipation. In this work we ex...
ISCA
2008
IEEE
13 years 9 months ago
2008
IEEE
First Come First Served is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems [28, 11], scheduling web ...