Sciweavers

9521 search results - page 294 / 1905
» Compiling with continuations, continued
Sort
View
ACS
2007
15 years 3 months ago
Choiceless, Pointless, but not Useless: Dualities for Preframes
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
Marcel Erné
ALGORITHMICA
1998
90views more  ALGORITHMICA 1998»
15 years 3 months ago
Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
Brigitte Vallée
LICS
2012
IEEE
13 years 6 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
ICDE
2009
IEEE
121views Database» more  ICDE 2009»
16 years 5 months ago
Holistic Query Transformations for Dynamic Web Applications
A promising approach to scaling Web applications is to distribute the server infrastructure on which they run. This approach, unfortunately, can introduce latency between the appl...
Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd ...
156
Voted
DAC
2007
ACM
16 years 4 months ago
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
Jia Yu, Jingnan Yao, Jun Yang 0002, Laxmi N. Bhuya...