153 search results - page 18 / 31 » Solving Demand Versions of Interprocedural Analysis Problems |
ICALP
2004
Springer
14 years 27 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
— The demand for broadband mobile services continues to grow. Conventional high-speed broadband solutions are based on wired-access technologies such as digital subscriber line (...
PPSC
1989
13 years 8 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
TWC
2010
13 years 2 months ago
2010
This paper deals with distributed demodulation of space-time transmissions of a common message from a multiantenna access point (AP) to a wireless sensor network. Based on local me...