Sciweavers

16430 search results - page 380 / 3286
» On Computable Tree Functions
Sort
View
BSL
2006
81views more  BSL 2006»
15 years 6 months ago
Classifying the Provably Total Functions of PA
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
Andreas Weiermann
TNC
2004
104views Education» more  TNC 2004»
15 years 7 months ago
An Optical Network Infrastructure Suitable for Global Grid Computing
This paper presents a novel Grid network scenario based on an optical infrastructure using optical burst switching. The functional blocks required are identified as Core Router th...
Dimitra Simeonidou, Reza Nejabati, Mike J. O'Mahon...
118
Voted
DAC
2001
ACM
16 years 7 months ago
Static Scheduling of Multiple Asynchronous Domains For Functional Verification
Murali Kudlugi, Charles Selvidge, Russell Tessier
RTCSA
2009
IEEE
16 years 1 months ago
The Multi Supply Function Abstraction for Multiprocessors
Enrico Bini, Giorgio C. Buttazzo, Marko Bertogna