Sciweavers

550 search results - page 76 / 110
» Implementing Real Numbers With RZ
Sort
View
ANTS
2004
Springer
111views Algorithms» more  ANTS 2004»
14 years 2 months ago
A Method to Solve Cyclotomic Norm Equations
We present a technique to recover f ∈ Q(ζp) where ζp is a primitive pth root of unity for a prime p, given its norm g = f ∗ ¯f in the totally real field Q(ζp + ζ−1 p )....
Nick Howgrave-Graham, Michael Szydlo
ICALP
2004
Springer
14 years 2 months ago
A Domain Theoretic Account of Picard's Theorem
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, ...
Abbas Edalat, Dirk Pattinson
PROFES
2004
Springer
14 years 2 months ago
Intelligent Support for Software Release Planning
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
Amandeep, Günther Ruhe, Mark Stanford
EUROMICRO
2003
IEEE
14 years 2 months ago
Providing Interactive Video on Demand Services in Distributed Architecture
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...
Bahjat Qazzaz, Remo Suppi, Fernando Cores, Ana Rip...
RTAS
2003
IEEE
14 years 1 months ago
A Cyclic-Executive-Based QoS Guarantee over USB
Universal Serial Bus (USB) is a popular standard for PC peripheral devices because of its versatile peripheral interconnection specifications. USB not only provides simplified h...
Chih-Yuan Huang, Li-Pin Chang, Tei-Wei Kuo