Institutional Repository
 
Filters: Department:"Kahlert School of Computing"
376 - 400 of 1,006
Number of results to display per page
TitleDateTypeSetname
376Flexible consistency for wide area peer replication2004-11-18Textir_uspace
377Flexible infrastructure for gathering XML statistics and estimating query cardinality2004Textir_uspace
378Flexible multi-policy scheduling based on CPU inheritance1996Textir_uspace
379Flow charts: visualization of vector fields on arbitrary surfaces2008-09Textir_uspace
380Flow visualization with quantified spatial and temporal errors using edge maps2012-01-01Textir_uspace
381FluoRender: An application of 2D image space methods for 3D and 4D confocal microscopy data visualization in neurobiology research2012-01-01Textir_uspace
382Formal aspects of anonymity2002-01-15Textir_uspace
383Formal methods for surviving the jungle of heterogeneous parallelism2012-01-01Textir_uspace
384Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API2009Textir_uspace
385Formal specification of the virtual component interface standard in the unified modeling language2001Textir_uspace
386Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files1999Textir_uspace
387Formalizing the Java Memory Model for multithreaded program correctness and optimization2002-04-02Textir_uspace
388Formally specifying memory consistency models and automatically generating executable specifications2001Textir_uspace
389The Fred VHDL Model1995Textir_uspace
390Fred: an architecture for a self-timed decoupled computer1995Textir_uspace
391Fred: an architecture for a self-timed decoupled computer1996Textir_uspace
392Free form surface analysis using a hybrid of symbolic and numeric computation1992Textir_uspace
393From motes to Java stamps: smart sensor network testbeds2003-03-03Textir_uspace
394From process-oriented functional specifications to efficient asynchronous circuits1991Textir_uspace
395From the editor: real-time and embedded systems--teaching reliability2006-01-01Textir_uspace
396From XML schema to relations: a cost-based approach to XML storage2002Textir_uspace
397Functional validation and improvement of a low-cost control system for assistive robotic devices2022Textir_htoa
398Fund Raising Game Development Through Crowdfunding2017Textir_htoa
399FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)1983Textir_uspace
400Game feel development analysis of student game final project2023Textir_htoa
376 - 400 of 1,006