Institutional Repository
 
Filters: Department: "Computing, School of" Format: "application/pdf"
426 - 450 of 1,117
Number of results to display per page
TitleDateTypeSetname
426 Finding and understanding bugs in C compilers2011-01-01Textir_uspace
427 Finding compiler bugs with random testingText; Imageir_uspace
428 First-order analysis of power overheads of redundant multi-threading2006Textir_uspace
429 First-order preference theories and their applications1992-12Textir_computersa
430 First-Order Unification in Equational Theories and its Application to Logic Programming1985Textir_computersa
431 Fixed Point Computation and Parallel Algorithms for Solving Wave Equations1994Textir_computersa
432 The flask security architecture: system support for diverse security policies1998Textir_uspace
433 Flat surface reconstruction using sonar1996Textir_uspace
434 FLEX - A Flexible Extendable Language1968-06Textir_computersa
435 Flexible consistency for wide area peer replication2004-11-18Textir_uspace
436 Flexible infrastructure for gathering XML statistics and estimating query cardinality2004Textir_uspace
437 Flexible multi-policy scheduling based on CPU inheritance1996Textir_uspace
438 Flow charts: visualization of vector fields on arbitrary surfaces2008-09Textir_uspace
439 Flow visualization with quantified spatial and temporal errors using edge maps2012-01-01Textir_uspace
440 The Fluke Security Project2000-04Textir_computersa
441 FluoRender: An application of 2D image space methods for 3D and 4D confocal microscopy data visualization in neurobiology research2012-01-01Textir_uspace
442 Formal aspects of anonymity2002-01-15Textir_uspace
443 Formal methods for surviving the jungle of heterogeneous parallelism2012-01-01Textir_uspace
444 Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API2009Textir_uspace
445 Formal specification of the virtual component interface standard in the unified modeling language2001Textir_uspace
446 Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files1999Textir_uspace
447 Formalizing the Java Memory Model for multithreaded program correctness and optimization2002-04-02Textir_uspace
448 Formally specifying memory consistency models and automatically generating executable specifications2001Textir_uspace
449 Frame buffer system selection1979-01Textir_computersa
450 The Fred VHDL Model1995Textir_uspace
426 - 450 of 1,117