Institutional Repository
 
Filters: School Or College:"College of Engineering"
1 - 25 of 56
Number of results to display per page
TitleDateTypeSetname
1The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
2The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
3A blind adaptive projection receiver for CDMA systems1998Textir_uspace
4A mathematical approach to a low power FFT architecture1998Textir_uspace
5A partial order reduction algorithm without the Proviso1998Textir_uspace
6A single chip low power asynchronous implementation of an FFT algorithm for space applications1998Textir_uspace
7A wrapper generation tool for the creation of scriptable scientific applications1998Textir_uspace
8Adaptive parallel-cascade truncated volterra filters1998Textir_uspace
9Adaptive, quadratic preprocessing of document images for binarization1998Textir_uspace
10Aerodynamic mixing losses and discharge coefficients due to film cooling from a symmetric turbine airfoil in transonic flow1998Textir_htoa
11An analytical model of the perceptual threshold function for multichannel image compression1998Textir_uspace
12An interior ellipsoid algorithm for fixed points1998Textir_uspace
13The analytic 3-D transform for the least-squared fit of three pairs of corresponding points1998Textir_uspace
14AS-COMA: An adaptive hybrid shared memory Architecture1998Textir_uspace
15Average-case optimized technology mapping of one-hot domino circuits1998Textir_uspace
16Average-case optimized technology mapping of one-hot domino circuits*1998Textir_uspace
17Beyond depth-first strategies: improving tabled logic programs through alternative scheduling1998Textir_uspace
18Case study in using linguistic phrases for text categorization on the WWW1998Textir_uspace
19Constraint Jacobians for constant-time inverse kinematics and assembly optimization1998Textir_uspace
20Covering conditions and algorithms for the synthesis of speed-independent circuits1998Textir_uspace
21Decomposing the proof of correctness of pipelined microprocessors1998Textir_uspace
22Design alternatives for shared memory multiprocessors1998Textir_uspace
23Empirical approach to conceptual case frame acquisition1998Textir_uspace
24Faster than fourier -- ultra-efficient time-to-frequency domain conversions for FDTD1998Textir_uspace
25Feature-based process planning for CNC machining1998Textir_uspace
1 - 25 of 56