MacSphere: Browsing MacSphere

Browsing by Subject Computer Sciences

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 28 next >

Publication Date	Title	Author(s)
May-2009	Adaptive Sphere Decoding and Radius Selection with Error Analysis in Sphere Decoding	Zhao, Fei
7-May-2010	Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools	Sepehr, Sepandar
Sep-2010	Automated Message Triage - A Proposal for Supervised Semantic Classification of Messages	Tavasoli, Amir
26-Aug-2009	CHIRON: MECHANIZING MATHEMATICS IN OCAML	Ni, Hong
2010	A Comparison of Scalable Multi-Threaded Stack Mechanisms	Moore-Oliva, Joshua I.
2010	COMPUTING REPETITIONS IN STRINGS: CURRENT ALGORITHMS & THE COMBINATORICS OF FUTURE ONES.	Kopylov, Evguenia
May-2010	A context aware framework for product based software certification	Babiy, Volodymyr
Sep-1978	The Design and Implementation of a Library Data Base	Papanastasopoulos, Constantine
Aug-2009	Documentation Driven Testing of Scientific Computing Software	Zheng, Bingzhou
8-Sep-2010	Elementary function evaluation using New Hardware Instruction	Sharma, Anuroop
Oct-2009	THE ELUSIVE QUEST: SOFTWARE PRODUCT QUALITY EVALUATION	Grigorova, Silviya
1972	Exploratory Steps Towards a Grammatical Manipulation Package (GRAMPA)	Barnes, Roger Keith
Dec-2009	Formal Modelling of Version Control Systems	Kelk, David H.
Sep-2010	Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV	Kulbakas, Christopher
Sep-2010	A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD	Zhou, Hang
Apr-2007	HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE	Yi, Rongshu
18-Mar-2010	Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs	Alturki, Fadil
Oct-2009	A Language and a Library of Algebraic Theory-types	Zhang, Huan
Aug-2010	MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM	Hsieh, Tzu-Chen Alvin
Oct-2012	ON ALGORITHMS FOR THE COLOURFUL LINEAR PROGRAMMING FEASIBILITY PROBLEM	Rong, Guohong

Showing results 1 to 20 of 28 next >