| |
|
2012
|
|
|
UNSW-CSE-TR-201210 : An Artifact-Centric Activity Model for Analyzing Knowledge Intensive Processes archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201209 : A Cost-Effective Tag Design for Memory Data Authentication in Embedded Systems archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201208 : Work Efficient Higher-Order Vectorisation (Unabridged) archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201206 : Dynamic Encryption Key Design and Management for Embedded Systems with Insecure External Memory archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201205 : Quality Control in Crowdsourcing Systems archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201204 : An Analytic Approach to People Evaluation in Crowdsourcing Systems archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201203 : Flexible Resource Allocation for Multicast in OFDMA based Wireless Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201202 : A multi-transmitter multi-receiver model for molecular communication networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-201201 : Towards Service-Oriented Middleware for Cyber-Physical Systems archived
30 Mar 2012 15:12
|
| |
|
2011
|
|
|
UNSW-CSE-TR-1118 : A HW/SW Checkpoint and Recovery Scheme for Embedded Processors archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1116 : Temporal Provenance Model (TPM): Model and Query Language archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1115 : CIPARSim: Cache Intersection Property Assisted Rapid Single-pass FIFO Cache Simulation Technique archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1114 : VChunkJoin: An Efficient Algorithm for Edit Similarity Joins archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1113 : Link Characterization for Aerial Wireless Sensor Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1112 : A Form Annotation Approach to Long-Tail Process Automation archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1111 : Forms-based Service Composition for Domain Experts archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1110 : Probabilistic and Max-margin structured learning in Human Action Recognition archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1109 : Automatic Image Capturing and Processing for PetrolWatch archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1108 : Constraint-Based Multi-robot Path Planning with Subgrap archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1107 : Auto-scaling Emergency Call Centres using Cloud Resources to Handle Disasters archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1106 : An Envelope Detection based Broadband Ultrasonic Ranging System for Improved Indoor/Outdoor Positioning archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1105 : A TPM-enabled Remote Attestation Protocol in Wireless Sensor Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1104 : Using Reinforcement Learning for Controlling an Elastic Web Application Hosting Platform archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1103 : FPSPARQL: A Language for Querying Semi-Structured Business Process Execution Data archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1102 : Efficient Resource Allocation for Delay Sensitive Multicast in Future WiMAX Systems archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1101 : Cartesian Programming archived
30 Mar 2012 15:12
|
| |
|
2010
|
|
|
UNSW-CSE-TR-1023 : An Adaptive Algorithm for Compressive Approximation of Trajectory (AACAT) for Delay Tolerant Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1022 : A Decade of Database Research Publications archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1021 : Robust Gait Recognition Based on Procrustes Shape Analysis of Pairwise Configuration archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1020 : Stochastic Skyline Operator archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1019 : Extending SPARQL to Support Entity Grouping and Path Queries archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1018 : Influence Zone and Its Applications in Reverse k Nearest Neighbors Processing archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1017 : Influence Zone and Its Applications in Reverse k Nearest Neighbors Processing archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1016 : Characterization of Asymmetry in Low-Power Wireless Links: An Empirical Study archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1015 : Ear-Phone: A context-aware End-to-End Participatory Urban Noise Mapping System archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1013 : Multi-hop Performance Analysis of Whisper Cognitive Radio Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1012 : Integrating local Action Elements using Implicit Shape Model for Action Matching archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1011 : Disjunctive logic programs, answer sets, and the cut rule archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1010 : On Measuring Fidelity of Estimation Models archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1009 : HUBCODE: Hub-based Forwarding Using Network Coding in Delay Tolerant Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1008 : A Study of Spatial Packet Loss Correlation in 802.11 Wireless Networks archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1007 : A Brinkmanship Game Theory Model for Competitive Wireless Networking Environment archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1006 : An Energy Efficient Instruction Prefetching Scheme for Embedded Processors archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1005 : A Unified Framework for Computing Best Pairs Queries archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1004 : Rapid Runtime Estimation Methods for Pipelined MPSoCs targeting Streaming Applications archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1003 : Video Quality Prediction in the Presence of MAC Contention and Wireless Channel Error archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1002 : Mobility and Traffic Adaptive Position Update for Geographic Routing archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-1001 : Dynamic Video Buffer Compensation archived
30 Mar 2012 15:12
|
| |
|
2009
|
|
|
UNSW-CSE-TR-0921 : Modeling and Verification of NoC Communication Interfaces archived
01 Apr 2010 02:14
|
|
|
UNSW-CSE-TR-0920 : Ear-Phone: An End-to-End Participatory Urban Noise Mapping System archived
01 Apr 2010 02:14
|
|
|
UNSW-CSE-TR-0919 : Spreadsheet-based Complex Data Transformation archived
01 Apr 2010 02:14
|
|
|
UNSW-CSE-TR-0918 : OpenPEX: An Open Provisioning and EXecution System for Virtual Machines archived
01 Apr 2010 02:14
|
|
|
UNSW-CSE-TR-0917 : Performance of Multi-hop Whisper Cognitive Radio Networks archived
01 Apr 2010 02:14
|
|
|
UNSW-CSE-TR-0916 : Characterizing Human Effort in Wireless Voice Over IP archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0915 : Efficient computation of robust average in wireless sensor networks using compressive sensing archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0914 : SuSeSim: A Fast Simulation Strategy to Find Optimal L1 Cache Configuration for Embedded Systems archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0913 : Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0912 : Safety Assurance and Rescue Communication Systems in High-Stress Environments - A Mining Case Study archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0911 : Synthesis of Application Specific Heterogeneous Pipelined Multiprocessor Systems archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0910 : Underground Mine Communication and Tracking Systems : A Survey archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0909 : Cross-layer interactions in energy efficient information collection in wireless sensor networks with adaptive compressive sensing archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0908 : Fixed Point Method for Voting archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0907 : LOP: A Novel SRAM-based Architecture for LOw Power Packet Classification archived
01 Oct 2009 13:13
|
|
|
UNSW-CSE-TR-0905 : Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0904 : Using Agile Practices in Global Software Development: A Systematic Review archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0903 : Modeling and Verification of NoC Communication Interfaces archived
30 Mar 2012 15:12
|
|
|
UNSW-CSE-TR-0902 : An Aspect-oriented Approach for Service Adaptation archived
02 Apr 2009 00:12
|
| |
|
2008
|
|
|
UNSW-CSE-TR-0824 : Hop Count Analysis for Greedy Geographic Routing archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0823 : A Formal Analysis of Phylogenetic Definitions in the PhyloCode archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0821 : Logic Programming Revisited from a Classical Standpoint archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0820 : Distributed Optimization For Location Refinement in Ad-hoc Sensor Networks archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0818 : GATE: A Novel Robust Object Tracking Method Using the Particle Filtering and Level Set Method archived
02 Apr 2009 00:12
|
|
|
UNSW-CSE-TR-0816 : Probabilistic Reverse Nearest Neighbor Queries on Uncertain Data archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0815 : Context-Aware Channel Coordination for Vehicular Communications archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0814 : How Much of DSRC is Available for Non-Safety Use? archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0812 : A Measurement Study of Bandwidth Predictability in Mobile Communication Networks archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0811 : Interference Analysis and Channel Assignment in Multi-Radio Multi-Channel Wireless Mesh Networks archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0810 : Mashups for Data Integration: An Analysis archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0809 : Mix and Test Counting in Preferential Electoral Systems archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0808 : Herbrand Analysis of Some Second-order Theories with Weak Set Existence Principles archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0807 : Masked Ballot Receipt-Free Elections archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0806 : Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0804 : Analysis of Per-node Traffic Load in Multi-hop Wireless Sensor Networks archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0805 : Adapting the Weighted Backtrack Estimator to Conflict Driven Search archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0803 : Automatic collection of fuel prices from a network of mobile cameras archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0802 : ERTP: Energy-efficient and Reliable Transport Protocol for Data Streaming in Wireless Sensor Networks archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0801 : Analytical Evaluation of the 802.11 Wireless Broadcast under Saturated Conditions archived
02 Apr 2008 00:00
|
| |
|
2007
|
|
|
UNSW-CSE-TR-0723 : Tool support for verifying trace inclusion with Uppaal archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0722 : Time-Aware Content Summarization of Data Streams archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0721 : Process Spaceship: Discovering Process Views in Process Spaces archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0719 : Coherence of Laws archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0718 : Protocol Compatibility and Automatic Converter Synthesis archived
02 Apr 2008 00:00
|
|
|
UNSW-CSE-TR-0717 : Experience and Trust: A Sytems-Theoretic Approach archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0716 : Localized Minimum-Latency Broadcasting in Multi-Radio Multi-Channel Multi-Rate Wireless Mesh Networks archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0715 : Solving the expression problem in Haskell with true separate compilation archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0714 : Resource-aware Broadcast and Multicast in Multi-rate Wireless Mesh Networks archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0713 : A Stronger Notion of Equivalence for Logic Programs archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0712 : Protocol Compatibility and Automatic Converter Synthesis archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0711 : Topology Control and Channel Assignment in Multi-Radio Multi-Channel Wireless Mesh Networks archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0710 : Generative Code Specialisation for High-Performance Monte-Carlo Simulations archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0709 : Message Correlation for Conversation Reconstruction in Service Interaction Logs archived
02 Oct 2008 06:08
|
|
|
UNSW-CSE-TR-0708 : SPARK: Top-k Keyword Query in Relational Databases archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0707 : Adapting Web Service Interfaces and Protocols Using Adapter Simulation archived
03 Sep 2007 00:07
|
|
|
UNSW-CSE-TR-0706 : The Operational Semantics of Dual Logic Programming archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0705 : WS-Policy4MASC - A WS-Policy Extension Used in the Manageable and Adaptable Service Compositions (MASC) Middleware archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0704 : Localized Minimum-Latency Broadcasting in Multi-rate Wireless Mesh Networks archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0703 : Sensing Data Market : Architecture, Applications and Challenges archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0702 : WS-Policy4MASC Version 0.8 archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0701 : AC-Index: An Efficient Adaptive Index for Branching XML Queries archived
03 Mar 2007 00:00
|
| |
|
2006
|
|
|
UNSW-CSE-TR-0625 : Protocol Compatibility and Converter Synthesis archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0624 : System F with Type Equality Coercions archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0622 : Securing Channel Assignment in Multi-Radio Multi-Channel Wireless Mesh Networks archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0620 : Patterns and the B Method : Bridging Formal and Informal Development archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0619 : Energy Driven Application Self-Adaptation at Run-time archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0618 : CLIPPER : Counter-based Low Impact Processor Power Estimation at Run-time archived
03 Mar 2007 00:00
|
|
|
UNSW-CSE-TR-0617 : Modeling Path Length in Wireless Ad-hoc Network archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0615 : GOLD: An Overlay Multicast Tree with Globally Optimized Latency and Out-Degree archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0614 : System F with Type Equality Coercions archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0613 : An Interim Report of XML Process Models archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0611 : A Graph Drawing Approach to Sensor Network Localization archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0610 : Patching Approximate Solutions in Reinforcement Learning archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0609 : On building 3D maps using a Range Camera: Applications to Rescue Robotics archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0608 : Minimum Latency Broadcasting in Multi-Radio Multi- Channel Multi-Rate Wireless Mesh Networks archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0607 : Security Vulnerabilities in Channel Assignment of Multi-Radio Multi-Channel Wireless Mesh Networks archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0606 : Piggy Back Challenge Based Security Mechanism for IEEE 802.11i Wireless LAN CCMP Protocol archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0605 : Lock Selection in Practice archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0604 : A Galois Connection in Composite Objects archived
03 Sep 2006 00:00
|
|
|
UNSW-CSE-TR-0603 : COMMA: A Communications Methodology for Dynamic Module-based Reconfiguration of FPGAs archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0601 : OCEAN -- Scalable and Adaptive Infrastructure for On-board Information Access archived
07 Mar 2006 00:00
|
| |
|
2005
|
|
|
UNSW-CSE-TR-0524 : Validation of SECI Model in Education archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0523 : Redback: A Low-Cost Advanced Mobility Robot archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0522 : The Shadow Knows: Refinement of ignorance in sequential programming archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0521 : ASEHA: A Web Services Protocol Modelling Formalism archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0520 : Formal Methods in the Enhancement of the Data Security Protocols of Mobile Agents archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0519 : Adaptive Position Update in Geographic Routing archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0518 : Reducing File Download Delay by QoS Driven Parallelization of Resources. archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0517 : B-SCP: a requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and process archived
08 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0516 : A Competitive Learning Algorithm for Checking Sensor Data Integrity in Unknown Environments archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0515 : A Dynamic Caching Algorithm Based on Internal Popularity Distribution of Streaming Media archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR-0514 : Low Latency Broadcast in Multi-Rate Wireless Mesh Networks archived
07 Mar 2006 00:00
|
|
|
UNSW-CSE-TR- 0513 : Toward a Framework for Capturing and Using Architecture Knowledge archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0511 : Secure Untrusted Binaries --- Provably! archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0510 : A Proposed Security Protocol for Data Gathering Mobile Agents archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0509 : A Configuration Memory Architecture for Fast FPGA Reconfiguration archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0508 : Implementation of a Multihoming Agent for Mobile On-board Communication archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0507 : Selectivity Estimation of Multidimensional Queries Based on Point Synthesis archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR- 0506 :Rotated Library Sort archived
03 Sep 2005 00:00
|
|
|
UNSW-CSE-TR-0505 : A Scheduler Architecture for INTEL's IXP2400 Network Processor archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0504 : Synthesis of Distributed Systems from Knowledge-Based Specifications archived
03 Mar 2005 00:00
|
| |
|
2004
|
|
|
UNSW-CSE-TR-0442 : IC2: An Interval based Characteristic Concept Learner archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0441 : Creative Commons Speech Repository archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0438 : The Holes Problem in Wireless Sensor Networks: A Survey archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0436 : Secure Online Elections archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0435 : A Comparison of Four Software Architecture Reconstructions Toolkits archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0434 : On Reachability and Acyclicity archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0433 : A Quality-Driven Systematic Approach for Architecting Distributed Software Applications archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0432 : Helping Users Avoid Bugs in GUI Applications archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0431 : An Energy Efficient Select Optimal Neighbor Protocol for Wireless Ad Hoc Networks archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0432 : Helping Users Avoid Bugs in GUI Applications archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0429 : Using Frequency Division to Reduce MAI in DS-CDMA Wireless Sensor Networks archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0428 : Policy-Based Exception Handling in Business Processes archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0424 : Querying and Maintaining Succinct XML Data archived
03 Mar 2005 00:00
|
|
|
UNSW-CSE-TR-0423 : Incremental Schema Validation for XML Databases archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0421 : Emphysema Detection Using a Density Mask archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0420 : Profile-Guided Partial Redundancy Elimination Using Control Speculation: a Lifetime Optimal Algorithm and an Experimental Evaluation archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0419 : Mapping basic recursive structures to runtime reconfigurable hardware archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0418 : Incremental Learning of Linear Model Trees archived
07 Sep 2004 00:00
|
|
|
UNSW-CSE-TR-0415 : Requirements Engineering for e-Business Advantage archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0414 : A Use Case Description Inspection Experiment archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0413 : Support Vector Machine Experiments for Road Recognition in High Resolution Images archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0412 : Maintaining End-system Performance under Network Overload archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0411 : Parallelized FTP:- Effective approach for Solving Huge Download Delay Problem over Internet archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0410 : Requirements Engineering for Business Advantage: the Strategy Dimension of e-Business Systems archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0409 : Dynamic Path Restoration Algorithms For On-Demand Survivable Network Connections archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0408 : Multicast Resilience with Quality of Service Guarantees archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0406 : NightOwl: Self-Localisation by Matching Edges archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0405 : Present Issues & Challenges in Survivable WDM Optical Mesh Networks archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0404 : Approaches for Radio Resource Management in Mobile Wireless Networks: Current Status and Future Issues archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0403 : Design Recovery of Real-Time Graphical Applications using Video archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0402 : Case Study to Monitor Cane Toads in Kakadu National Park archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0401 : A CDMA-Based, Self-Organizing, Location-Aware Media Access Control Protocol archived
03 Jun 2004 00:00
|
| |
|
2003
|
|
|
UNSW-CSE-TR-0337 : Present Scenarios and Future Challenges in Pervasive Middleware archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0336 : Exploring the Issues of Boundary Definition in the Application of COSMIC-FFP to Embedded Systems archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0335 : Planning an Empirical Experiment To Evaluate The Effects Of Pair Work On The Design Phase Of The Software Lifecycle archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0331 : An Anycast Service for Hybrid Sensor/Actuator Networks archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0328 : State Transition Model to Characterize TCP Window Control Behavior in Wired/Wireless Internetworks archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0325 : Automated Interface Synthesis archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0323 : Failure-Oriented Path Restoration Algorithm for Survivable Networks archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0322 : A Theory of Proximity Relations archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0321 : A Survey on the Interaction Between Caching, Translation and Protection archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0320 : Skipping Strategies for Efficient Structural Joins archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0319 : Peering and Querying e-Catalog Communities archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0318 : Intertac Software Architecture archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0317 : Fast Ordering for Changing XML Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0316 : Efficient Ordering for XML Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0315 : On Clustering Schemes for XML Databases archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0314 : Adaptive Change Management for Semi-structured Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0313 : On Structural Inference for XML Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0312 : Efficient Query Relaxation for Semistructured Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0311 : An Efficient WordNet-Based Summarizer for Large Text Documents archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0310 : Update Synchronization for Mobile XML Data archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0309 : "Variable Resolution Hierarchical RL" archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0308 : Safe State Abstraction and Discounting in Hierarchical Reinforcement Learning archived
03 Jun 2004 00:00
|
|
|
UNSW-CSE-TR-0307 : Itanium Page Tables and TLB archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0306 : Design and Performance analysis of CBCSWFQ packet scheduling algorithm archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0305 : An Efficient Resource Management Framework for Programmable and Active Networks. archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0304 : A Formal Approach to Interface Synthesis for SoC Design archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0303 : Towards Unstrusted Device Drivers archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0302 : Invented Predicates to Reduce Knowledge Acquisition Effort archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0301 : Parallelized FTP archived
03 Jun 2003 00:00
|
| |
|
2002
|
|
|
UNSW-CSE-TR-0216 : Avoiding Useless Packet Transmission for Multimedia over IP Networks: The Case of Multiple Multimedia Flows archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0215 : Avoiding Useless Packet Transmission for Multimedia over IP Networks: The Case of Multiple Congested Links archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0214 : A Constructive Proof of the Turing Completeness of Circal archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0213 : SCCircal: a Static Compiler Mapping XCircal to Virtex FPGAs archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0210 : A Theory of Compositional Concurrent Objects archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0209 : A Fast and Versatile Path Index for Querying Semi-Structured Data archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0208 : Design and Implementation of a Virtual Quality of Service MAC Layer (VQML) for Wireless LANs archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0207 : Active Protocol Label Switching (APLS) archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0206 : The Survey of Bandwidth Broker archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0205 : The Responsive Bisimulations in the \kappa-calculus archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0204 : A Constraint Description Calculus for Compositional Concurrent Objects archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0203 : The Responsive Bisimulations in the polar \pi-calculus archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0202 : Avoiding Useless Packet Transmission for Multimedia over IP Networks: The Case of Single Congested Link archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0201 : Design and Implementation of the L4 Microkernel for Alpha Multiprocessors archived
03 Jun 2003 00:00
|
| |
|
2001
|
|
|
UNSW-CSE-TR-0112 : An Efficient IP Matching Tool using Forced Simulation archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0111 : Towards Patterns of Web Services Composition archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0110 : A Dynamically-Balanced Walking Biped archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0109 : Let's Study Whole-Program Cache Behaviour Analytically archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0108 : Self-Coordinated and Self-Traced Composite Services with Dynamic Provider Selection archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0107 : Analysing Cache Memory Behaviour for Programs with IF Statements archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0106 : Code Search based on CVS Comments: A Preliminary Evaluation archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0105 : A Platform for Portable and Embedded Systems Research archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0104 : L4 Reference Manual --- Alpha 21x64 archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0103 : A Component Architecture for System Extensibility archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0101 : CVSSearch: Searching through Source Code using CVS Comments archived
03 Jun 2003 00:00
|
| |
|
2000
|
|
|
UNSW-CSE-TR-0007 : Jigsaw: the unsupervised construction of spatial representations archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0006 : EPDL: A Logic for Causal Reasoning archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0005 : Specifications for End to End IP Rate Control (Version 1.0) archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0004 : A Formal Approach to Component Based Development of Embedded Systems archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0003 : The Logical Validation of Mathematical Diagrammatic Proofs archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-0001 : Measure for Vector Approximation archived
03 Jun 2003 00:00
|
| |
|
1999
|
|
|
UNSW-CSE-TR-9908 : An approach to formalising relationships between speaker-relative and absolute spatial reference systems archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9907 : "Boosting" Stumps from Positive Only Data archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9906 : Fast Address-Space Switching on the StrongARM SA-1100 Processor archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9905 : Splice-2 Comparative Evaluation: Electricity Pricing archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9904 : The Temporal Calculus of Conditional Objects and Conditional Events archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9903 : Forced Simulation and Lock-Step Interface: A Formal Approach to Automatic Component Matching archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9902 : Data Spread: A Novel Authentication And Security Technique archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9901 : Forced Simulation: A Formal Approach to Component-Based Synthesis archived
03 Jun 2003 00:00
|
| |
|
1998
|
|
|
UNSW-CSE-TR-9808 : Statistical Properties of Simple Types archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9806 : A General Architecture for Supervised Classification of Multivariate Time Series archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9804 : Page Tables for 64-Bit Computer Systems archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9801 : L4 User Manual archived
03 Jun 2003 00:00
|
| |
|
1997
|
|
|
UNSW-CSE-TR-9709 : L4 Reference Manual --- MIPS R4x00, Version 1.0, Kernel Version 70 archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9708 :Extracting Hidden Context archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9704 : Implementation and Performance of the Mungi Single-Address-Space Operating System archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9707 : Performance Evaluation for Parallel Systems: A Survey archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9705 : Implementation and Performance of the Mungi Single-Address-Space Operating System archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9703 : Estimator Variance in Reinforcement Learning: Theoretical Problems and Practical Solutions archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9702 : An Analysis of non-Markov Automata Games: Implications for Reinforcement Learning archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9701 : The Mungi Kernel API, Release 1.0 archived
03 Jun 2003 00:00
|
| |
|
1996
|
|
|
UNSW-CSE-TR-9601 : Supporting Persistent Object Systems in a Single Address Space archived
03 Jun 2003 00:00
|
| |
|
1995
|
|
|
UNSW-CSE-TR-9505 : Simulation of Large-Area Silicon Solar Cells archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9504 : Single Address Space Operating Systems archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9503 : Guarded Page Tables on the MIPS R4600 archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9502 : Checkpointing and Recovery for Distributed Shared Memory Applications archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9501 : Medium Access Control for Synchronous Traffic in the AMNET LAN archived
03 Jun 2003 00:00
|
| |
|
1994
|
|
|
UNSW-CSE-TR-9413 : A Simple, Expressive Real-Time CCS archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9412 : Representing Closed CCS Systems by Petri Nets archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9411 : Issues in Implementing Virtual Memory archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9410 : On Reinforcement Learning of Control Actions in Noisy and Non-Markovian Domains archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9409 : Tracing Kernel Activity in SunOS 4.0 archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9407 : Time Constrained Buffer Specifications in CSP+T and Timed CSP archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9406 : A Parallel Approach to High-Speed Protocol Processing archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9405 : On Aggregating Teams of Learning Machines archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9404 : On the Intrinsic Complexity of Language Identification archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9403 : Motion planning in Prototypical Corridors archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9402 : HTPNET: A New Transport Protocol for High-speed Networks archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9401 : Extending Statecharts with Temporal Logic archived
03 Jun 2003 00:00
|
| |
|
1993
|
|
|
UNSW-CSE-TR-9318 : Designing a Video Rate Edge Detection ASIC archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9317 : Non-Interleaving Semantics for CCS and Fast Deadlock Detection archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9316 : Real-Time Colour Image Segmentation archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9315 : Two-dimensional Numerical Simulations of High-efficiency Silicon Solar Cells archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9314 : Mungi: A Distributed Single Address-Space Operating System archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9312 : Address Space Management Issues in the Mungi Operating System archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9311 : Conceptual Graphs for Natural Language Representation archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9309 : Using CSP+T to Describe a Timing Constrained Stop-and-Wait Protocol archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9308 : A Comparison of Two Real-time Description Techniques archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9306 : VHDL vs Functional Hardware Description: A Comparison and Critique archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9305 : Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9304 : Marksheets: marking easier and more consistently archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9303 : Capability-Based Protection in a Persistent Global Virtual Memory System archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9302 : A Distributed Single Address-Space Operating System Supporting Persistence archived
03 Jun 2003 00:00
|
|
|
UNSW-CSE-TR-9301 : Computational Limits on Team Identification of Languages archived
03 Jun 2003 00:00
|