Sciweavers

1809 search results - page 107 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2010
Springer
72views Education» more  CORR 2010»
14 years 9 months ago
Construction of Short Protocol Sequences with Worst-Case Throughput Guarantee
Protocol sequences are used in channel access for the multiple-access collision channel without feedback. A new construction of protocol sequences with a guarantee of worstcase sys...
Kenneth W. Shum, Wing Shing Wong
CORR
2008
Springer
78views Education» more  CORR 2008»
14 years 9 months ago
A Two-Step Etching Method to Fabricate Nanopores in Silicon
A cost effectively method to fabricate nanopores in silicon by only using the conventional wet-etching technique is developed in this research. The main concept of the proposed me...
G.-J. Wang, W.-Z. Chen, K. J. Chang
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 8 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
CORR
2008
Springer
94views Education» more  CORR 2008»
14 years 8 months ago
Semi-continuous Sized Types and Termination
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
Andreas Abel
102
Voted
FECS
2010
131views Education» more  FECS 2010»
14 years 8 months ago
The Mythical Creature Approach - A Simulation Alternative to Building Computer Architectures
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...
Peter Jamieson, Darrel Davis, Brooke Spangler