Institutional Repository
 
Filters: Department: "Computing, School of" Year Start: 1953
426 - 450 of 1,101
Number of results to display per page
TitleDateTypeSetname
426 The flask security architecture: system support for diverse security policies1998Textir_uspace
427 Flat surface reconstruction using sonar1996Textir_uspace
428 FLEX - A Flexible Extendable Language1968-06Textir_computersa
429 Flexible consistency for wide area peer replication2004-11-18Textir_uspace
430 Flexible infrastructure for gathering XML statistics and estimating query cardinality2004Textir_uspace
431 Flexible multi-policy scheduling based on CPU inheritance1996Textir_uspace
432 Flow charts: visualization of vector fields on arbitrary surfaces2008-09Textir_uspace
433 Flow visualization with quantified spatial and temporal errors using edge maps2012-01-01Textir_uspace
434 The Fluke Security Project2000-04Textir_computersa
435 FluoRender: An application of 2D image space methods for 3D and 4D confocal microscopy data visualization in neurobiology research2012-01-01Textir_uspace
436 Formal aspects of anonymity2002-01-15Textir_uspace
437 Formal methods for surviving the jungle of heterogeneous parallelism2012-01-01Textir_uspace
438 Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API2009Textir_uspace
439 Formal specification of the virtual component interface standard in the unified modeling language2001Textir_uspace
440 Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files1999Textir_uspace
441 Formalizing the Java Memory Model for multithreaded program correctness and optimization2002-04-02Textir_uspace
442 Formally specifying memory consistency models and automatically generating executable specifications2001Textir_uspace
443 Frame buffer system selection1979-01Textir_computersa
444 The Fred VHDL Model1995Textir_uspace
445 Fred: an architecture for a self-timed decoupled computer1995Textir_uspace
446 Fred: an architecture for a self-timed decoupled computer1996Textir_uspace
447 Free form surface analysis using a hybrid of symbolic and numeric computation1992Textir_uspace
448 From Algebraic Specifications to Correct VLSI Systems1986-12Textir_computersa
449 From motes to Java stamps: smart sensor network testbeds2003-03-03Textir_uspace
450 From process-oriented functional specifications to efficient asynchronous circuits1991Textir_uspace
426 - 450 of 1,101