Sciweavers

3865 search results - page 279 / 773
» From Bidirectionality to Alternation
Sort
View
DGCI
2000
Springer
15 years 11 months ago
Reconstruction of Discrete Sets with Absorption
A generalization of a classical discrete tomography problem is considered: Reconstruct binary matrices from their absorbed row and columns sums, i.e., when some known absorption is...
Attila Kuba, Maurice Nivat
ICFP
1999
ACM
15 years 11 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary
DEXAW
1999
IEEE
128views Database» more  DEXAW 1999»
15 years 11 months ago
Trends and Future of Mobile Computing
Networking homes, offices, cars and hand-held computers is the current trend of distributed mobile computing. The ever growing demand of the enterprise for integrating new technol...
Andry Rakotonirainy
DFT
1999
IEEE
125views VLSI» more  DFT 1999»
15 years 11 months ago
Algorithms for Efficient Runtime Fault Recovery on Diverse FPGA Architectures
The inherent redundancy and in-the-field reconfiguration capabilities of field programmable gate arrays (FPGAs) provide alternatives to integrated circuit redundancy-based fault r...
John Lach, William H. Mangione-Smith, Miodrag Potk...
GLVLSI
1999
IEEE
88views VLSI» more  GLVLSI 1999»
15 years 11 months ago
Logic in Wire: Using Quantum Dots to Implement a Microprocessor
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...
Michael T. Niemier, Peter M. Kogge