MacSphere: Browsing MacSphere

Browsing by Subject Computer Engineering

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 34 next >

Publication Date	Title	Author(s)
May-2009	Adaptive Sphere Decoding and Radius Selection with Error Analysis in Sphere Decoding	Zhao, Fei
Apr-2012	Applying System-Theoretic Accident Model and Processes (STAMP) to Hazard Analysis	Song, Yao
13-Jan-2005	Assembly Language Representation and Graph Generation in a Pure Functional Programming Language	Everets, Kevin
26-Aug-2009	CHIRON: MECHANIZING MATHEMATICS IN OCAML	Ni, Hong
Dec-2004	A Comparative Study of Pre/postcondition and Relational Approaches to Program Development	Duan, Hong
2010	A Comparison of Scalable Multi-Threaded Stack Mechanisms	Moore-Oliva, Joshua I.
Dec-2007	Computationally Efficient Blind-Adaptive Algorithms for Multi-Antennal Systems	Balasingam, Balakumar
2010	COMPUTING REPETITIONS IN STRINGS: CURRENT ALGORITHMS & THE COMBINATORICS OF FUTURE ONES.	Kopylov, Evguenia
Sep-2009	DEVELOPMENT OF A PORTION OF A THEORY LIBRARY FOR MECHANIZED MATHEMATICS SYSTEMS	ABBASI, MEHWISH
8-Sep-2010	Elementary function evaluation using New Hardware Instruction	Sharma, Anuroop
Dec-2007	Exploiting Limited Customer Choice and Server Flexibility	He, Yu-Tong
Oct-2011	Fast 3D Deformable Image Registration on a GPU Computing Platform	Mousazadeh, Mohammad Hamed
Sep-2010	Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV	Kulbakas, Christopher
1989	A Four Factor Model for the Selection of a Systems Development Approach	Dececchi, Thomas
2009	A Fully Automated Approach to Segmentation and Registration of Medical Image Data for Pulmonary Diagnosis	Ihsani, Alvin
12-Apr-2011	Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment	Iqbal, Asif
Dec-2004	Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach	Shi, Hongying
Nov-1974	An Investigation and Implementation of Some Binary Search Tree Algorithms	Walker, Aldon N.
Oct-2009	A Language and a Library of Algebraic Theory-types	Zhang, Huan
Oct-2013	Lithium-Ion Batteries: Modelling and State of Charge Estimation	Farag, Mohammed

Showing results 1 to 20 of 34 next >