MacSphere: Browsing MacSphere

Browsing by Subject Software 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 40 next >

Publication Date	Title	Author(s)
May-2009	Adaptive Sphere Decoding and Radius Selection with Error Analysis in Sphere Decoding	Zhao, Fei
2019	Change Impact Analysis in Simulink Designs of Embedded Systems	Mackenzie, Bennett
26-Aug-2009	CHIRON: MECHANIZING MATHEMATICS IN OCAML	Ni, Hong
2018	A Comparative Study of Machine Learning Algorithms	Le Fort, Eric
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
Apr-2014	Defect Localization using Dynamic Call Tree Mining and Matching and Request Replication: An Alternative to QoS-aware Service Selection	Yousefi, Anis
Apr-2013	Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis	Breimer, Benjamin
2008	Developing Scientific Computing Software: Current Processes and Future Directions	Tang, Jin
Sep-2009	DEVELOPMENT OF A PORTION OF A THEORY LIBRARY FOR MECHANIZED MATHEMATICS SYSTEMS	ABBASI, MEHWISH
Oct-2013	A DOCUMENT DRIVEN APPROACH TO CERTIFYING SCIENTIFIC COMPUTING SOFTWARE	Koothoor, Nirmitha
8-Sep-2010	Elementary function evaluation using New Hardware Instruction	Sharma, Anuroop
Oct-2013	A Feature Modelling Language Based on Product Family Algebra	Alabbad, Mohammed
Sep-2010	Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV	Kulbakas, Christopher
Sep-2010	A Generative Approach to Meshing Geometry	Elsheikh, Mustafa
Sep-2010	A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD	Zhou, Hang
Apr-2007	HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE	Yi, Rongshu
12-Apr-2011	Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment	Iqbal, Asif
2018	INVESTIGATING COMMON PERCEPTIONS OF SOFTWARE ENGINEERING METHODS APPLIED TO SCIENTIFIC COMPUTING SOFTWARE	Srinivasan, Malavika
Oct-2009	A Language and a Library of Algebraic Theory-types	Zhang, Huan

Showing results 1 to 20 of 40 next >