BibSLEIGH — virtual stem

Used together with:

environ (178)
machin (149)
system (147)
use (114)
base (107)

Stem virtual$ (all stems)

1107 papers:

CASE-2015-HaufMPF #energy #modelling: Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASE-2015-TiengYC #precise #tool support: Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
DAC-2015-Engblom #integration #using: Virtual to the (near) end: using virtual platforms for continuous integration (JE), p. 6.
DAC-2015-JungC #embedded #multi #named #performance #simulation: ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-YangCK #design: Virtual flash chips: rethinking the layer design of flash devices to improve data recoverability (MCY, YHC, TWK), p. 6.
DATE-2015-BringmannEGGMSS #generative #prototype #simulation: The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.
DATE-2015-MirhosseiniSFMS #energy #network: An energy-efficient virtual channel power-gating mechanism for on-chip networks (AM, MS, AF, MM, HSA), pp. 1527–1532.
DATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using: MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATE-2015-OhYM #android #compilation #virtual machine: Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
DATE-2015-PsarrasSND #named #network #performance #scheduling: PhaseNoC: TDM scheduling at the virtual-channel level for efficient network traffic isolation (AP, IS, CN, GD), pp. 1090–1095.
DATE-2015-RamboE #analysis #communication #worst-case: Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.
DATE-2015-SarmaDGVN #paradigm #self: Cyberphysical-system-on-chip (CPSoC): a self-aware MPSoC paradigm with cross-layer virtual sensing and actuation (SS, NDD, PG, NV, AN), pp. 625–628.
VLDB-2015-DyresonBG #dependence #query: Virtual eXist-db: Liberating Hierarchical Queries from the Shackles of Access Path Dependence (CED, SSB, RG), pp. 1932–1943.
ITiCSE-2015-Tudor #learning #optimisation #query #xml: Virtual Learning Laboratory about Query Optimization against XML Data (LNT), p. 348.
FM-2015-Lecomte #modelling #verification: Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
CHI-2015-GromalaTCKS #artificial reality: The Virtual Meditative Walk: Virtual Reality Therapy for Chronic Pain Management (DG, XT, AC, MK, CDS), pp. 521–524.
CHI-2015-SchmidtKMUKCB #artificial reality #named #simulation: Level-Ups: Motorized Stilts that Simulate Stair Steps in Virtual Reality (DS, RK, VM, UU, SK, LPC, PB), pp. 2157–2160.
CHI-2015-SimeoneVG #artificial reality #case study #design #experience #physics #using: Substitutional Reality: Using the Physical Environment to Design Virtual Reality Experiences (ALS, EV, HG), pp. 3307–3316.
CHI-2015-TrinhRB #named: DynamicDuo: Co-presenting with Virtual Agents (HT, LR, TWB), pp. 1739–1748.
CSCW-2015-RinglandWDH: Making “Safe”: Community-Centered Practices in a Virtual World Dedicated to Children with Autism (KER, CTW, LD, GRH), pp. 1788–1800.
DHM-EH-2015-PerestreloTNS #framework #modelling #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DHM-EH-2015-RegazzoniRC #simulation: The Role of Virtual Ergonomic Simulation to Develop Innovative Human Centered Products (DR, CR, GC), pp. 74–83.
DHM-EH-2015-ZhouYLXZ #analysis: Moment Analysis of Virtual Human Joint Based on JACK (QXZ, QY, ZQL, FX, SZ), pp. 100–109.
DUXU-IXD-2015-RibeiroM #case study #community #design #education #health: Origins and Perspectives on Designing Virtual Communities of Practice for Permanent Education: A Case Study in the Collective Health Sector (CER, CRM), pp. 94–103.
DUXU-UI-2015-AlacamAH #comprehension: Haptic Exploration Patterns in Virtual Line-Graph Comprehension (ÖA, CA, CH), pp. 403–414.
DUXU-UI-2015-AyanogluBTD #artificial reality #case study #using: Effects of Packages’ Color as a Cue for Hazard-Related Perceptions: A Study Using Virtual Reality (HA, RB, JT, ED), pp. 3–13.
DUXU-UI-2015-BoonbrahmKSKB #3d #realtime #women: 3D Real Time Virtual Fitting Room for Women (SB, CK, LS, PK, PB), pp. 162–171.
DUXU-UI-2015-BrahnamW #design #paradigm #towards: Re/Framing Virtual Conversational Partners: A Feminist Critique and Tentative Move Towards a New Design Paradigm (SB, MW), pp. 172–183.
DUXU-UI-2015-LaiH #mobile: Virtual Touchpad for Cursor Control of Touchscreen Thumb Operation in the Mobile Context (YRL, TKPH), pp. 563–574.
HCI-DE-2015-SalanitriHBLSW #trust #usability: Relationship Between Trust and Usability in Virtual Environments: An Ongoing Study (DS, CH, SB, GL, SS, BW), pp. 49–59.
HCI-UC-2015-BorsciLBJ #assessment #prototype: Early Prototype Assessment of a New Virtual System for Training Procedural Skills of Automotive Service Operators: LARTE Tool (SB, GL, MB, BJ), pp. 135–143.
HCI-UC-2015-DarzentasBC #feedback #multimodal: Designed to Thrill: Exploring the Effects of Multimodal Feedback on Virtual World Immersion (DPD, MAB, NC), pp. 384–395.
HCI-UC-2015-LopesGCSO #community #evaluation #heuristic: Heuristic to Support the Sociability Evaluation in Virtual Communities of Practices (LAL, DFG, TAC, EMS, TFdO), pp. 3–14.
HIMI-IKC-2015-BanKNTH #interactive: Virtual Jizai-Ryu: Hi-Fidelity Interactive Virtual Exhibit with Digital Display Case (YB, TK, TN, TT, MH), pp. 397–408.
HIMI-IKC-2015-KajitaTMI #3d #design #using: Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.
HIMI-IKC-2015-MakiY #3d #animation #artificial reality #definite clause grammar: Virtual Aquarium: Mixed Reality Consisting of 3DCG Animation and Underwater Integral Photography (NM, KY), pp. 447–456.
HIMI-IKC-2015-TanikawaOKNH: Virtual Bogie: Exhibition System to Understand Mechanism of Bogie with Digital Display Case (TT, HO, RK, TN, MH), pp. 634–645.
LCT-2015-HoffmannPLSMJ #learning #student: Enhancing the Learning Success of Engineering Students by Virtual Experiments (MH, LP, LL, KS, TM, SJ), pp. 394–405.
LCT-2015-IbanezN #design #implementation #multi #using: Contextualization of Archaeological Findings Using Virtual Worlds. Issues on Design and Implementation of a Multiuser Enabled Virtual Museum (LAHI, VBN), pp. 384–393.
LCT-2015-PhamNT #education #music #recognition: Virtual Music Teacher for New Music Learners with Optical Music Recognition (VKP, HDN, MTT), pp. 415–426.
SCSM-2015-BramanD #framework #personalisation: Utilizing Virtual Worlds for Personalized Search: Developing the PAsSIVE Framework (JB, CD), pp. 3–11.
SCSM-2015-Flor #3d #process: 3D Virtual Worlds: An Ethnography of Key Artifacts and Processes (NVF), pp. 20–29.
CAiSE-2015-HarmanBJRK #elicitation #memory management #process: Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation (JH, RB, DJ, SRM, UK), pp. 166–180.
RecSys-2015-MarinhoTP #algorithm #question #recommendation: Are Real-World Place Recommender Algorithms Useful in Virtual World Environments? (LBM, CT, DP), pp. 245–248.
Onward-2015-PolitoDBFM #library: Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.
OOPSLA-2015-0003KLS #data type #memory management #multi #performance #scalability: Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
OOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread #virtual machine: Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
SAC-2015-BogoniPS #artificial reality #evaluation: Evaluation of a haptic virtual reality simulator for endodontics training (TNB, MSP, RS), pp. 267–269.
SAC-2015-BusseSDNH #data access #memory management #virtual machine: Partial coscheduling of virtual machines based on memory access patterns (AB, JHS, MD, POAN, HUH), pp. 2033–2038.
SAC-2015-DiasGKT #3d #adaptation #architecture #clustering #collaboration: A dynamic-adaptive architecture for 3d collaborative virtual environments based on graphic clusters (DRCD, MdPG, TWK, LCT), pp. 480–487.
SAC-2015-KatsalisSPKT #network: Content placement in heterogeneous end-to-end virtual networks (KK, VS, TP, TK, LT), pp. 602–608.
SAC-2015-MonteiroL #clustering #power management #scalability #web: Scalable model for dynamic configuration and power management in virtualized heterogeneous web clusters (AFM, OL), pp. 464–467.
SAC-2015-PaakkonenP: The implications of disk-based RAID and virtualization for write-intensive services (PP, DP), pp. 2288–2291.
SAC-2015-PedroLPVI #case study #gamification #learning #women: Does gamification work for boys and girls?: An exploratory study with a virtual learning environment (LZP, AMZL, BGP, JV, SI), pp. 214–219.
ICSE-v2-2015-ElliottPP #artificial reality #challenge #re-engineering: Virtual Reality in Software Engineering: Affordances, Applications, and Challenges (AE, BP, CP), pp. 547–550.
HPCA-2015-LiuLJCT #comprehension #empirical: Understanding the virtualization “Tax” of scale-out pass-through GPUs in GaaS clouds: An empirical study (ML, TL, NJ, AC, VT), pp. 259–270.
SOSP-2015-AmitTSAS #cpu #validation: Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.
ICST-2015-KunzleW #development #testing: A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.
CASE-2014-BiswasBN #design: Mechanism design for sustainable virtual power plant formation (SB, DB, YN), pp. 67–72.
CASE-2014-HuiM #assessment #performance #reduction: Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASE-2014-HungLHTC #development: Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASE-2014-LeeMXW #architecture #in the cloud #virtual machine: Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CASE-2014-MurookaNNKOI #learning #physics #scalability: Manipulation strategy learning for carrying large objects based on mapping from object physical property to object manipulation action in virtual environment (MM, SN, SN, YK, KO, MI), pp. 263–270.
DAC-2014-ChenWLZAMWH #functional #multi #prototype #standard #verification: A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.
DAC-2014-OetjensBBBBCCDEGKKLM0MPPRRRSSTV #challenge #evaluation #prototype #research #safety #state of the art #using: Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges (JHO, NB, MB, OB, AB, MC, SC, RD, WE, KG, TK, CK, HML, MM, WM, DMG, FP, HP, SR, WR, SR, US, AvS, BAT, AV), p. 6.
DAC-2014-RaoJDBDM #named #performance: VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
DAC-2014-RenMRZ #fault tolerance #network #using: Fault-tolerant Routing for On-chip Network Without Using Virtual Channels (PR, QM, XR, NZ), p. 6.
DATE-2014-CongLYX #evaluation #prototype #testing #validation: Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATE-2014-SanderSDBBBMKALHRHH #hardware #manycore: Hardware virtualization support for shared resources in mixed-criticality multicore systems (OS, TS, VVD, SB, FB, JB, HUM, DK, DA, EL, JH, AR, CH, AH), pp. 1–6.
DATE-2014-Thanner #lifecycle #prototype: Virtual prototype life cycle in automotive applications (MT), p. 1.
DATE-2014-ZhangLHCW #multi #performance #predict: Joint Virtual Probe: Joint exploration of multiple test items’ spatial patterns for efficient silicon characterization and test prediction (SZ, FL, CKH, KTC, HW), pp. 1–6.
DATE-2014-ZuoloZMGICPOB #design #fine-grained #framework #named: SSDExplorer: A virtual platform for fine-grained design space exploration of Solid State Drives (LZ, CZ, RM, SG, MI, SDC, PP, PO, DB), pp. 1–6.
DocEng-2014-SarkisCD #multi #refactoring #web: The virtual splitter: refactoring web applications for themultiscreen environment (MS, CC, JCD), pp. 139–142.
HT-2014-TursiDR #artificial reality #named: AIRCacher: virtual geocaching powered with augmented reality (GT, MD, GR), pp. 330–332.
SIGMOD-2014-DyresonBG #query #using: Querying virtual hierarchies using virtual prefix-based numbers (CED, SSB, RG), pp. 791–802.
CSMR-WCRE-2014-BavotaCCNPGGGKLTPPRV #open source: The market for open source: An intelligent virtual open source marketplace (GB, AC, IC, ADN, MDP, DG, RG, TFG, PK, IL, FT, RP, JP, YR, SGV), pp. 399–402.
PLDI-2014-TorlakB #lightweight #virtual machine: A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
CHI-2014-AlzayatHN #metric #physics: Quantitative measurement of virtual vs. physical object embodiment through kinesthetic figural after effects (AA, MSH, MAN), pp. 2903–2912.
CHI-2014-MullerGDS #interactive: The boomRoom: mid-air direct interaction with virtual sound sources (JM, MG, CD, SS), pp. 247–256.
CHI-2014-SiriarayaA #case study #experience #people: Recreating living experiences from past memories through virtual worlds for people with dementia (PS, CSA), pp. 3977–3986.
CHI-2014-Wohn #game studies #online #social: Spending real money: purchasing patterns of virtual goods in an online social game (DYW), pp. 3359–3368.
CSCW-2014-HuangWY #comprehension #online #social: De-virtualizing social events: understanding the gap between online and offline participation for event invitations (AJH, HCW, CWY), pp. 436–448.
CSCW-2014-RatanH #design #game studies: Playing well with virtual classmates: relating avatar design to group satisfaction (RR, BSH), pp. 564–573.
DHM-2014-MamessierDO #artificial reality #assessment #online #using: Calibration of Online Situation Awareness Assessment Systems Using Virtual Reality (SM, DD, MO), pp. 124–135.
DHM-2014-RasoolSPK #image #using: Virtual Knee Arthroscopy Using Haptic Devices and Real Surgical Images (SR, AS, VP, FK), pp. 436–447.
DUXU-DI-2014-EstupinanRNFD #artificial reality #case study: Can Virtual Reality Increase Emotional Responses (Arousal and Valence)? A Pilot Study (SE, FR, PN, CF, ED), pp. 541–549.
DUXU-DI-2014-Schranz #artificial reality #design #hybrid #physics: Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.
DUXU-DI-2014-SchusterHBRJ #experience #how #using: Diving in? How Users Experience Virtual Environments Using the Virtual Theatre (KS, MH, UB, AR, SJ), pp. 636–646.
DUXU-DP-2014-BarrosSF14a #analysis #artificial reality #evaluation #using: Ergonomic Evaluation of Manual Force Levels of the Elderly in the Handling of Products: An Analysis Using Virtual Reality (RQB, MMS, MGF), pp. 124–132.
DUXU-ELAS-2014-KuruK #design #difference #gender #health: Exploring Possibilities of Designing Virtual Personal Health Coach in Relation to Gender Differences (HK, AK), pp. 63–71.
DUXU-ELAS-2014-MustafaMMAAMEBK #development #interface #learning #multi: Rural Area Development through Multi-interface Technology and Virtual Learning System (FuM, AM, SM, SA, UA, SM, HE, TAB, MFK), pp. 442–451.
DUXU-ELAS-2014-ThalenV #case study #design: Virtual Personas: A Case Study on Truck Cabin Design (JPT, MCvdV), pp. 357–368.
DUXU-ELAS-2014-VilarDRNV #artificial reality #case study #using: A Pilot Study Using Virtual Reality to Investigate the Effects of Emergency Egress Signs Competing with Environmental Variables on Route Choices (EV, ED, FR, PN, EV), pp. 369–377.
HCI-AIMT-2014-AdnanNSZH #evaluation #metric: Evaluation of Graceful Movement in Virtual Fitting through Expressed Emotional Response and Emotion Expressed via Physiology Measures (WAWA, NLMN, FMS, SNZ, WNWH), pp. 788–797.
HCI-AIMT-2014-EndrassHHTA #communication #interactive: A Pictorial Interaction Language for Children to Communicate with Cultural Virtual Characters (BE, LEH, CH, ST, EA), pp. 532–543.
HCI-AIMT-2014-FahnSW #tablet: A Virtual Handwriting Tablet Based on Pen Shadow Cues (CSF, BYS, MLW), pp. 224–233.
HCI-AIMT-2014-MikamiM #3d #effectiveness #learning: Effectiveness of Virtual Hands in 3D Learning Material (TM, SM), pp. 93–101.
HCI-AS-2014-FacanhaVPCS #mobile #people #visual notation: Touchscreen Mobile Phones Virtual Keyboarding for People with Visual Disabilities (ARF, WV, MCP, MdBC, JS), pp. 134–145.
HIMI-AS-2014-KojimaHMH #physics: Training Archived Physical Skill through Immersive Virtual Environment (TK, AH, TM, MH), pp. 51–58.
HIMI-AS-2014-LiHFWTNHT: Digital Museums of Cultural Heritages in Kyoto: The Gion Festival in a Virtual Space (LL, KH, TF, WW, ST, TN, KH, HTT), pp. 523–534.
HIMI-DE-2014-HarbaouiSGG #community #information retrieval #personalisation: Personalized Information Retrieval: Application to Virtual Communities (AH, SS, MG, HHBG), pp. 431–438.
LCT-NLE-2014-UzunosmanogluC #collaboration #learning #online #paradigm: Examining an Online Collaboration Learning Environment with the Dual Eye-Tracking Paradigm: The Case of Virtual Math Teams (SDU, MPÇ), pp. 462–472.
LCT-TRE-2014-BosseP #towards: Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
LCT-TRE-2014-EradzeL #design #interactive #learning: Interrelation between Pedagogical Design and Learning Interaction Patterns in different Virtual Learning Environments (ME, ML), pp. 23–32.
LCT-TRE-2014-HafnerHO #artificial reality #physics #using: Experiencing Physical and Technical Phenomena in Schools Using Virtual Reality Driving Simulator (PH, VH, JO), pp. 50–61.
SCSM-2014-FrischlichRR #identification #social: I’d Rather Die Than Be with You: The Effects of Mortality Salience and Negative Social Identity on Identification with a Virtual Group (LF, DR, OR), pp. 440–451.
SCSM-2014-LopesMP #analysis #social #web: Virtual Homage to the Dead: An Analysis of Digital Memorials in the Social Web (ADL, CM, VCP), pp. 67–78.
EDOC-2014-BorhaniLLLH #benchmark #metric #named #performance #virtual machine: WPress: An Application-Driven Performance Benchmark for Cloud-Based Virtual Machines (AHB, PL, BSL, XL, TH), pp. 101–109.
ICEIS-v2-2014-MaretLL #ad hoc #community #semantics #web: A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.
ICEIS-v2-2014-Monte-AltoH #information management: Capturing Context Information in a Context Aware Virtual Environment (HHLCMA, EHMH), pp. 605–612.
ICEIS-v2-2014-ShamsuzzohaFAAH #collaboration #process #visualisation: Visualization Functionality of Virtual Factories — An Enhancement to Collaborative Business Process Management (AS, FF, SA, AA, PTH), pp. 599–604.
ICEIS-v3-2014-SilvaGS #case study #gesture #interactive #process: Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.
RecSys-2014-LiuGWB #power of #using: Improving the discriminative power of inferred content information using segmented virtual profile (HL, AG, TW, AB), pp. 97–104.
SIGIR-2014-FangWYZ #information retrieval #learning #modelling #named: VIRLab: a web-based virtual lab for learning and studying information retrieval models (HF, HW, PY, CZ), pp. 1249–1250.
ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine: Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
OOPSLA-2014-AdamsEMOPSSY #virtual machine: The hiphop virtual machine (KA, JE, BM, GO, AP, BS, ES, OY), pp. 777–790.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
SAC-2014-AlabdulhafezE #case study #comparative #in the cloud #virtual machine: Experimenting on virtual machines co-residency in the cloud: a comparative study of available test beds (AA, PDE), pp. 363–365.
SAC-2014-AnjosTCON #3d #evaluation #interactive #statistics: Statistical methods in the evaluation of sensory-motor skills acquisition in 3D interactive virtual environments (AMdA, RT, AC, SdO, FLSN), pp. 223–228.
SAC-2014-GomesBM #network #similarity: A similarity model for virtual networks negotiation (RLG, LFB, ERMM), pp. 489–494.
SAC-2014-JangJL #component #embedded #generative #prototype #simulation: Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
SAC-2014-KuoT #in the cloud #incremental #virtual machine: Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SAC-2014-NunesNR #contest #game studies #people: Motivating people to perform better in exergames: competition in virtual environments (MBN, LPN, VR), pp. 970–975.
SAC-2014-SuzakiYTOS #protocol #testing #virtual machine: Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
ICSE-2014-BellK #testing: Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ASPLOS-2014-AmitTS #memory management #named: VSwapper: a memory swapper for virtualized environments (NA, DT, AS), pp. 349–366.
ASPLOS-2014-CriswellDA #operating system: Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
HPCA-2014-LiuXGZC #concurrent #consistency #hardware #memory management #transaction #virtual machine: Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.
HPDC-2014-ChenWDZXJS #clustering #scheduling: Communication-driven scheduling for virtual clusters in cloud (HC, SW, SD, BBZ, ZX, HJ, XS), pp. 125–128.
OSDI-2014-AngelBKOT #performance: End-to-end Performance Isolation Through Virtual Datacenters (SA, HB, TK, GO, ET), pp. 233–248.
PPoPP-2014-RaoZ #performance #scheduling #towards #virtual machine: Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
ISSTA-2014-ZouCZZG #effectiveness #testing #web: Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
SMT-2014-KorovinKS #learning #towards: Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.
CASE-2013-CecilRRPP #collaboration: Collaborative virtual environments for orthopedic surgery (JC, PR, VR, AP, MPC), pp. 133–137.
CASE-2013-FerreiraR #comparison #design #layout #performance #simulation #using: Performance comparison of the virtual cell layout with cellular and job shop configurations using simulation and design of experiments (JCEF, PAR), pp. 795–800.
CASE-2013-KurzDP #monitoring #reliability: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASE-2013-SustoJOM #multi #predict #process: Virtual metrology enabled early stage prediction for enhanced control of multi-stage fabrication processes (GAS, ABJ, PGO, SFM), pp. 201–206.
DAC-2013-JungPPC #distributed #embedded #framework #named #scalability: netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DAC-2013-LeeH #mobile: An optimized page translation for mobile virtualization (YCL, CwH), p. 6.
DAC-2013-LeiXC #consistency #prototype: Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.
DATE-2013-KimRAL #energy #virtual machine: Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
DATE-2013-MockCRB #interactive #scalability: Interactions of large scale EV mobility and virtual power plants (RM, TSC, JR, LB), pp. 1725–1729.
DATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime: A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
DATE-2013-YuWAEB #modelling #statistics: Statistical modeling with the virtual source MOSFET model (LY, LW, DAA, IME, DSB), pp. 1454–1457.
VLDB-2013-ElmoreCAA #as a service #database #towards: Towards Database Virtualization for Database as a Service (AJE, CC, DA, AEA), pp. 1194–1195.
ITiCSE-2013-Beltran #artificial reality #gender: The importance of the avatar gender in training simulators based on virtual reality (MB), p. 334.
GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance: Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHI-2013-Cottman-FieldsBR: Virtual birding: extending an environmental pastime into the virtual world for citizen science (MCF, MB, PR), pp. 2029–2032.
CHI-2013-Denny #student: The effect of virtual achievements on student engagement (PD), pp. 763–772.
CHI-2013-LeeKYHP #adaptation #video: A preliminary investigation of human adaptations for various virtual eyes in video see-through HMDS (JHL, SYK, HCY, BKH, JHP), pp. 309–312.
CHI-2013-LeithingerFOLHLI #interactive #named #physics: Sublimate: state-changing virtual and physical rendering to augment interaction with shape displays (DL, SF, AO, SL, AH, JL, HI), pp. 1441–1450.
CHI-2013-OdomZFHMCLNLLKRSSM #comprehension: Fragmentation and transition: understanding perceptions of virtual possessions among young adults in Spain, South Korea and the United States (WO, JZ, JF, ALH, MM, JC, YKL, TJN, MHL, YL, DjK, YKR, JS, BS, HM), pp. 1833–1842.
CSCW-2013-NawahdahI #design: Virtually dining together in time-shifted environment: KIZUNA design (MN, TI), pp. 779–788.
CSCW-2013-Robert #analysis #multi: A multi-level analysis of the impact of shared leadership in diverse virtual teams (LPRJ), pp. 363–374.
CSCW-2013-StarbirdP: Working and sustaining the virtual “Disaster Desk” (KS, LP), pp. 491–502.
DHM-HB-2013-ColomboRR #modelling: Markerless Motion Capture Integrated with Human Modeling for Virtual Ergonomics (GC, DR, CR), pp. 314–323.
DHM-HB-2013-KimATBHJ #performance #process #type system: The Effects of Touch Screen Virtual Keyboard Key Sizes on Typing Performance, Typing Biomechanics and Muscle Activity (JHK, LSA, OT, MCB, CAH, PWJ), pp. 239–244.
DUXU-CXC-2013-BamasakBAAAA #artificial reality #social #using: Improving Autistic Children’s Social Skills Using Virtual Reality (OB, RB, HAT, SAH, GAS, MAH), pp. 342–351.
DUXU-CXC-2013-ClaudioCPEL #social: Virtual Environment to Treat Social Anxiety (APC, MBC, TP, FE, EL), pp. 442–451.
DUXU-CXC-2013-WilkosinskaAGJ #framework #implementation #online #towards: Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.
DUXU-NTE-2013-AyanogluRDNT #artificial reality #design #using: Using Virtual Reality to Examine Hazard Perception in Package Design (HA, FR, ED, PN, LT), pp. 30–39.
DUXU-NTE-2013-BarrosSFCC #analysis #artificial reality #people: Virtual Reality Immersion: An Important Tool for Diagnostic Analysis and Rehabilitation of People with Disabilities (HOB, MMS, ELRF, WC, FC), pp. 337–344.
DUXU-NTE-2013-CaladoSCC #artificial reality #bibliography #case study #interactive #perspective: Virtual Reality Applied to the Study of the Interaction between the User and the Built Space: A Literature Review (AVSC, MMS, FC, WC), pp. 345–351.
DUXU-NTE-2013-DinisDNTVR #artificial reality #case study #design #using: Evaluating Emotional Responses to the Interior Design of a Hospital Room: A Study Using Virtual Reality (SD, ED, PN, LT, EV, FR), pp. 475–483.
DUXU-NTE-2013-GaoB #case study #comparative #design #interactive: Designing Ludic Engagement in an Interactive Virtual Dressing Room System — A Comparative Study (YG, EPB), pp. 504–512.
DUXU-NTE-2013-ReisDR #usability #using: Main Usability Issues in Using Virtual Environments for Older Population Warning Studies (LR, ED, FR), pp. 189–198.
DUXU-NTE-2013-TalligHE: Border Crosser — A Robot as Mediator between the Virtual and Real World (AT, WH, ME), pp. 411–418.
DUXU-NTE-2013-TeixeiraVDNRS #artificial reality #development #interface: Strategy for the Development of a Walk-In-Place Interface for Virtual Reality (LT, EV, ED, PN, FR, FMdS), pp. 419–426.
DUXU-PMT-2013-GockelGPPE #approach #evaluation #experience #named #user interface: VMUXE — An Approach to User Experience Evaluation for Virtual Museums (BG, HG, AP, SP, JE), pp. 262–272.
DUXU-PMT-2013-LuBS #usability: Usability of Virtual Worlds (HL, TB, SS), pp. 340–348.
DUXU-WM-2013-FalcaoS #artificial reality #usability: Application of Virtual Reality Technologies in Consumer Product Usability (CSF, MMS), pp. 342–351.
HCI-AS-2013-NouriT #game studies #online: A Cross-Cultural Study of Playing Simple Economic Games Online with Humans and Virtual Humans (EN, DRT), pp. 266–275.
HCI-III-2013-AnKK #development #interface #usability #using: Development of a Virtual Keyboard System Using a Bio-signal Interface and Preliminary Usability Test (KOA, DHK, JK), pp. 3–9.
HCI-III-2013-KimKAPW #analysis #artificial reality #social: Brain Function Connectivity Analysis for Recognizing Different Relation of Social Emotion in Virtual Reality (JK, DK, SA, SP, MCW), pp. 441–447.
HCI-III-2013-Yang-MaoLLZW #evaluation #image #using: Evaluation of Mono/Binocular Depth Perception Using Virtual Image Display (SFYM, YTL, MHL, WJZ, YlW), pp. 483–490.
HCI-IMT-2013-ClamannMK #artificial reality #comparison #simulation #visual notation: Comparison of Enhanced Visual and Haptic Features in a Virtual Reality-Based Haptic Simulation (MPC, WM, DBK), pp. 551–560.
HCI-IMT-2013-CorbettYLHBN #3d #feedback: Influence of Haptic Feedback on a Pointing Task in a Haptically Enhanced 3D Virtual Environment (BC, TY, SL, LH, SB, CSN), pp. 561–567.
HCI-IMT-2013-LeeBN #visual notation: Use of Reference Frame in Haptic Virtual Environments: Implications for Users with Visual Impairments (JYL, SB, CSN), pp. 610–617.
HCI-IMT-2013-LiuBCN #behaviour #visual notation: Behavioral Characteristics of Users with Visual Impairment in Haptically Enhanced Virtual Environments (SL, SB, HC, CSN), pp. 618–625.
HCI-IMT-2013-OblaenderE #3d #concept #interactive: Study of Interaction Concepts in 3D Virtual Environment (VO, ME), pp. 706–711.
HCI-IMT-2013-RabeW #interactive #memory management: Enhancing Human Computer Interaction with Episodic Memory in a Virtual Guide (FR, IW), pp. 117–125.
HCI-IMT-2013-SrivastavaT #analysis #realtime #using: Real Time Mono-vision Based Customizable Virtual Keyboard Using Finger Tip Speed Analysis (SS, RCT), pp. 497–505.
HCI-IMT-2013-TruongNTD #collaboration #predict #word: Collaborative Smart Virtual Keyboard with Word Predicting Function (CTT, DHNH, MTT, ADD), pp. 513–522.
HIMI-HSM-2013-SakamotoT #identification #interactive: Identification of Agency through Virtual Embodied Interaction (TS, YT), pp. 301–307.
HIMI-LCCB-2013-IkeiAMOAH #experience: Virtual Experience System for a Digital Museum (YI, KA, YM, YO, TA, KH), pp. 203–209.
HIMI-LCCB-2013-LindholmBN #interactive: I See, Please Tell Me More — Exploring Virtual Agents as Interactive Storytellers (DL, EPB, TN), pp. 89–98.
OCSC-2013-LuongGGGH #distributed: Supporting Distributed Search in Virtual Worlds (HPL, DG, JMG, SG, JH), pp. 395–404.
OCSC-2013-TokelC #communication #game studies #representation: Communication and Avatar Representation during Role-Playing in Second Life Virtual World (STT, EC), pp. 210–215.
HILT-2013-WardRL #approach #integration #process: An approach to integration of complex systems: the SAVI virtual integration process (DTW, DAR, BAL), pp. 43–46.
ICEIS-v1-2013-ShamsuzzohaAH #adaptation #enterprise #process: Adaptive Virtual Enterprise Process Management — Perspective of Cloud-based Data Storage (AS, SA, PH), pp. 88–94.
ICEIS-v1-2013-SmirnovKTS #architecture #component: Virtual Tourist Hub for Infomobility — Service-Oriented Architecture and Major Components (AVS, AK, NT, NS), pp. 459–466.
RecSys-2013-LiuAYB #generative #using: Generating supplemental content information using virtual profiles (HL, MSA, BY, AB), pp. 295–302.
SEKE-2013-DuttaAKB #approach #distributed: Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S) (AD, SA, AK, SB), pp. 685–688.
ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
ECOOP-2013-CutsemM #invariant: Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.
SAC-PL-J-2010-RodriguesNPM13 #semantics: Preserving the original MPI semantics in a virtualized processor environment (ERR, POAN, JP, CLM), pp. 412–421.
SAC-2013-BrunsKB #safety: Virtualization for safety-critical, deeply-embedded devices (FB, DK, AB), pp. 1485–1492.
SAC-2013-GoncalvesEPSKS #distributed #network #on the: On the load balancing of virtual networks in distributed clouds (GEG, PTE, AVdAP, MAS, JK, DS), pp. 625–631.
SAC-2013-KangCLLKN #clustering: Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
SAC-2013-NguyenSB #consistency: Dynamic virtual arc consistency (HN, TS, CB), pp. 98–103.
SAC-2013-OliveiraBMNBGB #multi #network: DoS-resilient virtual networks through multipath embedding and opportunistic recovery (RRO, LRB, DSM, MCN, LSB, LPG, MPB), pp. 597–602.
SAC-2013-PerazzoWM #framework: A data warehouse as an infrastructure to mine molecular descriptors for virtual screening (GXP, ATW, KSM), pp. 1335–1336.
SAC-2013-SteinbauerKK #community #on-demand: Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
SAC-2013-WassmannVT #energy #estimation #virtual machine: Energy consumption estimation of virtual machines (IW, DV, DT), pp. 1151–1156.
ASPLOS-2013-KangW #approach #hardware: To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach (HK, JLW), pp. 357–368.
ASPLOS-2013-MittalBBS #architecture #embedded #performance: Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
CGO-2013-YanTZYS #algorithm #fine-grained #graph #named #parallel #traversal: Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms (JY, GT, XZ, EY, NS), p. 10.
HPCA-2013-RaoWZX #manycore #optimisation #scheduling #virtual machine: Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
HPCA-2013-SudanBLXMLB #architecture #lightweight #novel #using #web: A novel system architecture for web scale applications using lightweight CPUs and virtualized I/O (KS, SB, SL, MX, DM, GL, RB), pp. 167–178.
HPDC-2013-BuRX #clustering #pipes and filters #scheduling: Interference and locality-aware task scheduling for MapReduce applications in virtual clusters (XB, JR, CZX), pp. 227–238.
HPDC-2013-ClaySM #clustering #interactive #scalability: Building and scaling virtual clusters with residual resources from interactive clouds (RBC, ZS, XM), pp. 119–120.
HPDC-2013-CuiBLD #optimisation #performance: Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.
HPDC-2013-WangQGDSD #flexibility #memory management #named: kMemvisor: flexible system wide memory mirroring in virtual environments (BW, ZQ, HG, HD, WS, YD), pp. 251–262.
HPDC-2013-YuZQYWG #game studies #gpu #named #scheduling: VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming (MY, CZ, ZQ, JY, YW, HG), pp. 203–214.
HPDC-2013-ZhouWSJS #parallel #realtime: Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
SOSP-2013-NikolaevB #kernel #named #operating system: VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
QoSA-2012-HuberBK #modelling: Modeling dynamic virtualized resource landscapes (NH, FB, SK), pp. 81–90.
QoSA-2012-YuHSHV #deployment #enterprise #testing: A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
CASE-2012-HsiehCY: Virtual-metrology-based FDC scheme (YSH, FTC, HCY), pp. 80–85.
CASE-2012-KurzDP #using: Sampling Decision System in semiconductor manufacturing using Virtual Metrology (DK, CDL, JP), pp. 74–79.
CASE-2012-PampuriSSLBN #multi #process: Multistep virtual metrology approaches for semiconductor manufacturing processes (SP, AS, GAS, CDL, AB, GDN), pp. 91–96.
CASE-2012-SustoSPNB #approach: An information-theory and Virtual Metrology-based approach to Run-to-Run semiconductor manufacturing control (GAS, AS, SP, GDN, AB), pp. 358–363.
DAC-2012-BathenD #distributed #hybrid #named: HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories (LADB, ND), pp. 447–452.
DATE-2012-BathenDNG #memory management #named #variability: VaMV: Variability-aware Memory Virtualization (LADB, NDD, AN, PG), pp. 284–287.
DATE-2012-LeupersMPHSKV: Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
DATE-2012-LuMS #abstraction #modelling #prototype #transaction: Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.
DATE-2012-Sadooghi-AlvandiAM #branch #predict #towards: Toward virtualizing branch direction prediction (MSA, KA, AM), pp. 455–460.
DATE-2012-WernerOGHB #configuration management #distributed #manycore: Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems (SW, OO, DG, MH, JB), pp. 280–283.
VLDB-2012-KoubarakisKKNVGSBMKPHMKIPZDSDEMGSPRKG #named: TELEIOS: A Database-Powered Virtual Earth Observatory (MK, KK, MK, CN, SV, GG, MS, KB, DM, CK, IP, TH, SM, MLK, MI, HP, YZ, MD, GS, COD, DEM, KM, UDG, MS, SP, TR, EK, RG), pp. 2010–2013.
ITiCSE-2012-XuHT #framework #named #network: V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (LX, DH, WTT), pp. 256–261.
WCRE-2012-Kinder #obfuscation #static analysis #towards: Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.
PEPM-2012-MoorsRHO #scala: Scala-virtualized (AM, TR, PH, MO), pp. 117–120.
CHI-2012-AndristPMG #design #effectiveness: Designing effective gaze mechanisms for virtual agents (SA, TP, BM, MG), pp. 705–714.
CHI-2012-BaurBF #interactive #multi: Virtual projection: exploring optical projection as a metaphor for multi-device interaction (DB, SB, SF), pp. 1693–1702.
CHI-2012-HenzeRB #behaviour #mobile #type system #using: Observational and experimental investigation of typing behaviour using virtual keyboards for mobile devices (NH, ER, SB), pp. 2659–2668.
CHI-2012-HuhnKLK #evaluation #on the: On the use of virtual environments for the evaluation of location-based applications (AEH, VJK, AL, PK), pp. 2569–2578.
CHI-2012-LeeKK #interactive: Funneling and saltation effects for tactile interaction with virtual objects (JL, YK, GJK), pp. 3141–3148.
CHI-2012-OdomZFCMP #behaviour: Investigating the presence, form and behavior of virtual possessions in the context of a teen bedroom (WO, JZ, JF, HC, SM, AP), pp. 327–336.
CHI-2012-SongGHFL #interactive: A handle bar metaphor for virtual object manipulation with mid-air interaction (PS, WBG, WH, CWF, XL), pp. 1297–1306.
CSCW-2012-BasuRJ #collaboration #process #ubiquitous: Ubiquitous collaborative activity virtual environments (AB, AR, KJ), pp. 647–650.
CSCW-2012-LeshedM #3d #social: Metaphors for social relationships in 3d virtual worlds (GL, PLM), pp. 593–602.
CAiSE-2012-Priego-RocheTFRM #design #modelling #process: Business Process Design from Virtual Organization Intentional Models (LMPR, LHT, AF, DR, JM), pp. 549–564.
ICEIS-v3-2012-CarofiglioGA #adaptation #design #evaluation #realtime: A Pilot Panel Study in User-centered Design and Evaluation of Real-time Adaptable Emotional Virtual Environments (VC, NG, FA), pp. 67–71.
ICPR-2012-VazquezLP #adaptation #detection: Unsupervised domain adaptation of virtual and real worlds for pedestrian detection (DV, AML, DP), pp. 3492–3495.
KEOD-2012-Kavakli #artificial reality #collaboration #information management #ontology: Knowledge Engineering and Ontologies for Object Manipulation in Collaborative Virtual Reality (MK), pp. 284–289.
KMIS-2012-HackerMHHM #collaboration #learning: Management of Collaboration — Impacts of Virtualization to Learning & Knowledge (GH, MM, PH, GH, MM), pp. 235–239.
KMIS-2012-LiLA #chat: Discovering Virtual Interest Groups across Chat Rooms (HL, JL, RA), pp. 152–157.
SEKE-2012-SiCD #community #ontology #web: P2P-based Publication and Location of Web Ontology for Knowledge Sharing in Virtual Communities (HS, ZC, YD), pp. 617–621.
ICMT-2012-WagelaarIRP #co-evolution #emf #semantics #virtual machine: Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.
TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine: Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.
PADL-2012-Winograd-CortLH: Virtualizing Real-World Objects in FRP (DWC, HL, PH), pp. 227–241.
SAC-2012-YaichBJP #adaptation #community #trust: An adaptive and Socially-Compliant Trust Management System for virtual communities (RY, OB, PJ, GP), pp. 2022–2028.
ASPLOS-2012-GordonAHBLST #eli #named #performance: ELI: bare-metal performance for I/O virtualization (AG, NA, NH, MBY, AL, AS, DT), pp. 411–422.
ASPLOS-2012-SzeferL #architecture: Architectural support for hypervisor-secure virtualization (JS, RBL), pp. 437–450.
ASPLOS-2012-VasicNMKB #named #resource management: DejaVu: accelerating resource allocation in virtualized environments (NV, DMN, SM, DK, RB), pp. 423–436.
HPCA-2012-DalyC: Cache restoration for highly partitioned virtualized systems (DD, HWC), pp. 225–234.
HPDC-2012-BaeXDL #adaptation #energy #multi #performance: Dynamic adaptive virtual core mapping to improve power, energy, and performance in multi-socket multicores (CB, LX, PAD, JRL), pp. 247–258.
HPDC-2012-BecchiSGPRC #clustering #memory management #multitenancy #runtime: A virtual memory based runtime to support multi-tenancy in clusters with GPUs (MB, KS, IG, AMP, VTR, STC), pp. 97–108.
HPDC-2012-SharmaK #named: Singleton: system-wide page deduplication in virtual environments (PS, PK), pp. 15–26.
HPDC-2012-XuGRKKX #cpu #named #scheduling #slicing #virtual machine: vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.
ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine: Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
CASE-2011-JuWLBX #framework #simulation: Virtual battery: A simulation framework for batteries in electric vehicles (FJ, JW, JL, SB, GX), pp. 648–653.
CASE-2011-KaoCW #case study: Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.
CASE-2011-PampuriSFN #multi: Multilevel Lasso applied to Virtual Metrology in semiconductor manufacturing (SP, AS, GF, GDN), pp. 244–249.
DAC-2011-AuerbachBCRS #hardware #object-oriented: Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language (JSA, DFB, PC, RMR, SS), pp. 890–894.
DAC-2011-Hazelwood #adaptation #embedded #runtime: Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DAC-2011-Heiser #embedded #question #why: Virtualizing embedded systems: why bother? (GH), pp. 901–905.
DAC-2011-Vitek #embedded #java #realtime: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DATE-2011-AsadiniaMTS #using: Supporting non-contiguous processor allocation in mesh-based CMPs using virtual point-to-point links (MA, MM, AT, HSA), pp. 413–418.
DATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using: Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
DATE-2011-IndrusiakS #performance #transaction: Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration (LSI, OMdS), pp. 1089–1094.
DATE-2011-LeupersEMSTC #manycore #towards: Virtual Manycore platforms: Moving towards 100+ processor cores (RL, LE, GM, FS, NPT, XC), pp. 715–720.
DATE-2011-WinterF #runtime #scheduling: Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
DATE-2011-YehHWL #framework #simulation: Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
CSEET-2011-Meawad #agile #enterprise #re-engineering: The virtual agile enterprise: Making the most of a software engineering course (FM), pp. 324–332.
FM-2011-BartheBCL #verification: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization (GB, GB, JDC, CL), pp. 231–245.
ICFP-2011-SchrijversO #monad #stack: Monads, zippers and views: virtualizing the monad stack (TS, BCdSO), pp. 32–44.
CHI-2011-EricksonSKL #evaluation #interactive: Synchronous interaction among hundreds: an evaluation of a conference in an avatar-based virtual environment (TE, NSS, WAK, DWL), pp. 503–512.
CHI-2011-KinMBDHA #multi #named: Eden: a professional multitouch tool for constructing virtual organic environments (KK, TM, BB, TD, BH, MA), pp. 1343–1352.
CHI-2011-MadathilG #approach #testing #usability: Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CHI-2011-OdomZF #design: Teenagers and their virtual possessions: design opportunities and issues (WO, JZ, JF), pp. 1491–1500.
CHI-2011-RaderEC: Brick by brick: iterating interventions to bridge the achievement gap with virtual peers (ER, ME, JC), pp. 2971–2974.
CSCW-2011-DullemondG #named: Communico: overhearing conversations in a virtual office (KD, BvG), pp. 577–578.
CSCW-2011-NawahdahI #automation #education #learning: Automatic adjustment of a virtual teacher’s model in a learning support system (MN, TI), pp. 693–696.
CSCW-2011-SchwandaBLSVH: Temporal patterns of cohesiveness in virtual groups (VS, KB, JL, GS, AV, JTH), pp. 709–712.
CSCW-2011-YangAA #community #online #social: Virtual gifts and guanxi: supporting social exchange in a chinese online community (JY, MSA, LAA), pp. 45–54.
DHM-2011-HodgesUBHSK #framework: Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
DHM-2011-KaklanisMMT #assessment #automation #framework: A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
DHM-2011-Ng #3d #design: Three-Dimensional Grading of Virtual Garment with Design Signature Curves (RN), pp. 328–336.
HCD-2011-LeeKLSL #clustering #design #effectiveness #monitoring: Designing of an Effective Monitor Partitioning System with Adjustable Virtual Bezel (SSL, HK, YKL, MS, KPL), pp. 537–546.
HCD-2011-LewisW11a #collaboration #community #design #energy: Virtual Office, Community, and Computing (VOCC): Designing an Energy Science Hub Collaboration System (AAL, GGW), pp. 425–434.
HCI-ITE-2011-BarbuceanuADR #analysis #artificial reality #interactive #user interface: Attentive User Interface for Interaction within Virtual Reality Environments Based on Gaze Analysis (FB, CA, MD, ZR), pp. 204–213.
HCI-ITE-2011-CarrinoTMKI #approach #interface #multimodal: Head-Computer Interface: A Multimodal Approach to Navigate through Real and Virtual Worlds (FC, JT, EM, OAK, RI), pp. 222–230.
HCI-ITE-2011-MorieCB #case study #using: Report on a Preliminary Study Using Breath Control and a Virtual Jogging Scenario as Biofeedback for Resilience Training (JFM, EC, JGB), pp. 474–480.
HCI-ITE-2011-NautsDKC: Taking Turns in Flying with a Virtual Wingman (PN, WAvD, EK, AHMC), pp. 575–584.
HCI-ITE-2011-TangTLCLL #gesture #low cost: Virtual Mouse: A Low Cost Proximity-Based Gestural Pointing Device (SKT, WCT, WWL, KCC, STL, YPL), pp. 491–499.
HCI-ITE-2011-UllahLORM #case study #collaboration #distributed #interactive #what: What You Feel Is What I Do: A Study of Dynamic Haptic Interaction in Distributed Collaborative Virtual Environment (SU, XL, SO, PR, MM), pp. 140–147.
HCI-MIIE-2011-HyrkkanenN #functional #how #identification #mobile #physics #question: The Virtual Workplace of a Mobile Employee — How Does Vischer’s Model Function in Identifying Physical, Functional and Psychosocial Fit? (UH, SN), pp. 69–75.
HCI-UA-2011-LiuU #3d: Effects of Presence on Causing Cybersickness in the Elderly within a 3D Virtual Store (CLL, STU), pp. 490–499.
HCI-UA-2011-Loiacono-MelloDTP #case study #generative #why: Why Virtual Job Recruitment Is Not Well Accepted by Generation Y? — A Case Study on Second Life (ETLM, SD, BT, OVP), pp. 245–254.
HCI-UA-2011-OhkuraKKTESIW #using: Restoration Support System for a Historic Textile Market Using Virtual Environment (MO, MK, YK, ST, HE, AS, TI, YW), pp. 413–422.
HIMI-v1-2011-InuiYH #interactive: Virtual Interaction between Human and Fabric (SI, AY, YH), pp. 418–424.
HIMI-v1-2011-TakeuchiN #how #question: How Do Real or Virtual Agent’s Body and Instructions Contribute to Task Achievement? (YT, HN), pp. 142–151.
HIMI-v1-2011-ZenkoyohT #generative: Surprise Generator for Virtual KANSEI Based on Human Surprise Characteristics (MZ, KT), pp. 190–198.
HIMI-v2-2011-SejimaIW #interactive #process: A Virtual Audience System for Enhancing Embodied Interaction Based on Conversational Activity (YS, YI, TW), pp. 180–189.
IDGD-2011-Dai #communication #development #interactive #mobile: New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
IDGD-2011-SuadamaraWH #design: Cross-Cultural Design of a Groupware Application for Global Virtual Team (RS, SW, AH), pp. 104–113.
IDGD-2011-YuZLXW #assembly: Motion Control with Intentions for Virtual Assembly (JY, DZ, CL, SX, ZW), pp. 248–257.
OCSC-2011-HolmL #music #prototype: A Virtual World Prototype for Interacting with a Music Collection (JH, AL), pp. 326–335.
ICEIS-v3-2011-ChenWK #community #development #empirical #framework #information management: Development of an Empirical Knowledge Management Framework for Professional Virtual Community in Knowledge-intensive Service Industries (YJC, MSW, WKK), pp. 5–14.
ICEIS-v4-2011-AlmeidaHRCBM #network #social: Augmenting Accessibility in Social Networks — A Virtual Presenter (LDAA, ECSH, JCdR, PDPC, MCCB, JMDM), pp. 225–234.
ICEIS-v4-2011-BezerraH #community #process: Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
CIKM-2011-BanerjeeC #distributed #feature model #privacy #using: Privacy preserving feature selection for distributed data using virtual dimension (MB, SC), pp. 2281–2284.
SEKE-2011-BozRSTNP #information management #process: A Virtual Catalyst in the Knowledge Acquisition Process (GBJ, MPR, GYS, CAT, JCN, ECP), pp. 149–152.
SEKE-2011-Collazo-MojicaS #distributed #metamodelling: A Metamodel for Distributed Ensembles of Virtual Appliances (XJCM, SMS), pp. 560–565.
ECOOP-2011-ZhangXZZC #estimation #object-oriented #source code: Frequency Estimation of Virtual Call Targets for Object-Oriented Programs (CZ, HX, SZ, JZ, YC), pp. 510–532.
Onward-2011-MistreeCCLG #named: Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.
OOPSLA-2011-AustinDF: Virtual values for language extension (THA, TD, CF), pp. 921–938.
OOPSLA-2011-SeweMSB #analysis #benchmark #design #java #metric #scala #virtual machine: Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
SAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid: Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SAC-2011-FontesNPC #architecture #detection #learning #problem: An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments (LMdOF, FMMN, AÁAP, GALdC), pp. 1175–1180.
SAC-2011-LinXYYZGQCG #anti #hardware #named #using: SPAD: software protection through anti-debugging using hardware virtualization (QL, MX, MY, PY, MZ, SG, ZQ, KC, HG), pp. 623–624.
SAC-2011-Liu #agile #configuration management #using: Rapid application configuration in Amazon cloud using configurable virtual appliances (HL), pp. 147–154.
SAC-2011-MajchrzakH #game studies: Game vendors’ influence on the monetary value of virtual goods (TAM, KFH), pp. 757–764.
SAC-2011-MitakeKCN #embedded #manycore #realtime: Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
SAC-2011-NakajimaLYZGXYDQCG #hybrid #optimisation #using #virtual machine: Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
SAC-2011-NawahdahI #education #learning #physics: Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.
SAC-2011-SchallSPD #community: Bridging socially-enhanced virtual communities (DS, FS, HP, SD), pp. 792–799.
SAC-2011-ShanCW #virtual machine: Virtualizing system and ordinary services in Windows-based OS-level virtual machines (ZS, TcC, XW), pp. 579–583.
SAC-2011-ZhuYXLYGQLCG #monitoring #named #security: VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
CGO-2011-WuHBW #energy #manycore #virtual machine: A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
HPDC-2011-Al-KiswanySSR #named #virtual machine: VMFlock: virtual machine co-migration for the cloud (SAK, DS, PS, MR), pp. 159–170.
HPDC-2011-DeshpandeWG #migration #virtual machine: Live gang migration of virtual machines (UD, XW, KG), pp. 135–146.
HPDC-2011-JuveD #clustering #named: Wrangler: virtual cluster provisioning for the cloud (GJ, ED), pp. 277–278.
HPDC-2011-LiuXJGL #energy #migration #modelling #performance #virtual machine: Performance and energy modeling for live migration of virtual machines (HL, CZX, HJ, JG, XL), pp. 171–182.
HPDC-2011-WengLYL #adaptation #scheduling #virtual machine: Dynamic adaptive scheduling for virtual machines (CW, QL, LY, ML), pp. 239–250.
SOSP-2011-AndrusDHLN #architecture #mobile #named #smarttech: Cells: a virtual mobile smartphone architecture (JA, CD, AVH, OL, JN), pp. 173–187.
SOSP-2011-ZhangCCZ #multitenancy #named #virtual machine: CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization (FZ, JC, HC, BZ), pp. 203–216.
CASE-2010-BarajasBGY #automation #validation: Virtual Launch & Validation of Manufacturing Automation Controls (LGB, SB, FG, CY), pp. 412–419.
CASE-2010-HungHYC #automation #development #framework #industrial: Development of an automatic virtual metrology framework for TFT-LCD industry (MHH, HCH, HCY, FTC), pp. 879–884.
CASE-2010-LeBSK #modelling #realtime #towards #using: Towards virtual instruments for cardiovascular healthcare: Real-time modeling of cardiovascular dynamics using ECG signals (TQL, STSB, AS, RK), pp. 903–910.
CASE-2010-YangCHC: Virtual production control system (HCY, YLC, MHH, FTC), pp. 984–989.
DAC-2010-BertinGB #compilation: Compilation and virtualization in the HiPEAC vision (CB, CG, KDB), pp. 96–101.
DAC-2010-CohenR #compilation #embedded #manycore: Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DAC-2010-DhimanMR #modelling #online #predict #using: A system for online power prediction in virtualized environments using Gaussian mixture models (GD, KM, TR), pp. 807–812.
DAC-2010-LeeSC #data access #fine-grained #mobile: Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices (SML, SBS, JDC), pp. 108–113.
DAC-2010-NalamBMC #design #optimisation #prototype: Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
DAC-2010-YoonCPC #analysis #comparative #multi #network #physics: Virtual channels vs. multiple physical networks: a comparative analysis (YJY, NC, MP, LPC), pp. 162–165.
DAC-2010-ZhangLR: Bayesian virtual probe: minimizing variation characterization cost for nanoscale IC technologies via Bayesian inference (WZ, XL, RAR), pp. 262–267.
DATE-2010-ArtiagaC #metadata #using: Using filesystem virtualization to avoid metadata bottlenecks (EA, TC), pp. 562–567.
DATE-2010-BolteSBNB #using: Non-intrusive virtualization management using libvirt (MB, MS, GB, ON, AB), pp. 574–579.
DATE-2010-HsuYC #architecture #framework #refinement: An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.
DATE-2010-Jara-BerrocalG #architecture #configuration management #embedded #named: VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems (AJB, AGR), pp. 837–842.
DATE-2010-ZhangYDHRL #manycore #symmetry: Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors (LZ, YY, JD, YH, SR, XL), pp. 1566–1571.
VLDB-2010-BenediktG: The Impact of Virtual Views on Containment (MB, GG), pp. 297–308.
VLDB-2010-TerwilligerDMSB #database #evolution: Updatable and Evolvable Transforms for Virtual Databases (JFT, LMLD, DM, JS, SB), pp. 309–319.
ITiCSE-2010-HauptHPGMBHKK #education #product line #research #virtual machine: The SOM family: virtual machines for teaching and research (MH, RH, TP, GG, SM, AB, AH, MK, RK), pp. 18–22.
ITiCSE-2010-HauptPHKKPST #named: PhidgetLab: crossing the border from virtual to real-world objects (MH, MP, RH, LK, TK, SP, FS, PT), pp. 73–77.
FASE-2010-Harman #optimisation #why: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.
CHI-2010-BerkovskyCFBB #game studies #physics #process: Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHI-2010-SjolieBEEJN #3d #process: Effects of interactivity and 3D-motion on mental rotation brain activity in an immersive virtual environment (DS, KB, EE, JE, LEJ, LN), pp. 869–878.
CHI-2010-WilliamsonRSMJB #privacy #social: Social gravity: a virtual elastic tether for casual, privacy-preserving pedestrian rendezvous (JW, SR, CDS, RMS, MJ, SAB), pp. 1485–1494.
CAiSE-2010-KielyBF #case study #coordination #development: Coordinating Global Virtual Teams: Building Theory from a Case Study of Software Development (GK, TB, PF), pp. 281–295.
ICEIS-DISI-2010-CarrollKM #enterprise #information management: Going Virtual — Popular Trend or Real Prospect for Enterprise Information Systems (MC, PK, AvdM), pp. 214–222.
ICEIS-DISI-2010-KasprzakBCO #effectiveness #enterprise #scalability #using: Access Rights in Enterprise Full-text Search — Searching Large Intranets Effectively using Virtual Terms (JK, MB, MC, TO), pp. 32–39.
ICEIS-DISI-2010-KolellG #enterprise #network #workflow: Workflow Management Issues in Virtual Enterprise Networks (AK, JAG), pp. 23–31.
ICEIS-HCI-2010-Cruz-LaraOGBB #chat #communication #interface #multi #standard: Standards for Communication and e-Learning in Virtual Worlds — The Multilingual-assisted Chat Interface (SCL, TO, JG, NB, LB), pp. 45–52.
ICEIS-HCI-2010-DiosERR #collaboration #learning: Virtual and Collaborative Environment for Learning Maths (AQD, AHE, IVR, ÁMdR), pp. 86–90.
ICEIS-J-2010-Cruz-LaraOGBBC #chat #communication #interface #standard #using: A Chat Interface Using Standards for Communication and e-Learning in Virtual Worlds (SCL, TO, JG, NB, LB, JPC), pp. 541–554.
ICEIS-J-2010-DiosERR10a #collaboration #student: A Virtual Collaborative Environment Helps University Students to Learn Maths (AQD, AHE, IVR, ÁMdR), pp. 600–606.
ICEIS-J-2010-KolellG10a #enterprise #network #workflow: Workflow Management Issues in Virtual Enterprise Networks (AK, JAG), pp. 48–59.
ICPR-2010-HuangY #learning #recognition: Learning Virtual HD Model for Bi-model Emotional Speaker Recognition (TH, YY), pp. 1614–1617.
ICPR-2010-WangLR #clustering #graph: Combining Real and Virtual Graphs to Enhance Data Clustering (LW, CL, KR), pp. 790–793.
RecSys-2010-KaragiannidisAZV #framework #named #recommendation: Hydra: an open framework for virtual-fusion of recommendation filters (SK, SA, CZ, AV), pp. 229–232.
OOPSLA-2010-ChafiDMRSHOO #parallel: Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
TOOLS-EUROPE-2010-MadsenE #parametricity: Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.
LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability: Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
PPDP-2010-AsaiK #continuation #functional #virtual machine: Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
SAC-2010-BaiXL #virtual machine: Task-aware based co-scheduling for virtual machine system (YB, CX, ZL), pp. 181–188.
SAC-2010-ClaycombS #analysis #framework #security: A framework for risk analysis in virtual directory security (WC, DS), pp. 1881–1882.
SAC-2010-JiKYC #3d #how #interactive #using: How to manage interactive dialogues of avatar agents by using 3D spatial information of virtual world (SHJ, JWK, TY, HGC), pp. 1181–1187.
SAC-2010-JungCKCGK #interface #multi #network #protocol #stack: Virtual protocol stack interface for multiple wireless sensor network simulators (JJ, YC, YK, YC, BG, JK), pp. 240–241.
SAC-2010-LiuHLW #consistency #migration #network #virtual machine: Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
SAC-2010-MylavarapuSB #approach #capacity #framework #probability: An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
SAC-2010-OkamuraO #virtual machine: Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
SAC-2010-PetrucciLM #clustering #optimisation #performance: Dynamic optimization of power and performance for virtualized server clusters (VP, OL, DM), pp. 263–264.
SAC-2010-WangLZY #algorithm: An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.
ICSE-2010-HuberBRSR #case study #industrial #modelling #performance: Performance modeling in industry: a case study on storage virtualization (NH, SB, CR, JS, RHR), pp. 1–10.
ICSE-2010-Rodrigues #3d #approach #architecture #artificial reality #education #named: VisAr3D: an approach to software architecture teaching based on virtual and augmented reality (CSCR), pp. 351–352.
ASPLOS-2010-YoonE #flexibility #in memory #memory management: Virtualized and flexible ECC for main memory (DHY, ME), pp. 397–408.
HPCA-2010-DongYLLTG #network #performance: High performance network virtualization with SR-IOV (YD, XY, XL, JL, KT, HG), pp. 1–10.
HPCA-2010-KunduRDZ #modelling #performance: Application performance modeling in a virtualized environment (SK, RR, KD, MZ), pp. 1–10.
HPCA-2010-XuZZY #throughput: Simple virtual channel allocation for high throughput and high frequency on-chip routers (YX, BZ, YZ, JY), pp. 1–11.
HPDC-2010-HermenierLM #clustering: Cluster-wide context switch of virtualized jobs (FH, AL, JMM), pp. 658–666.
HPDC-2010-HerzfeldOS #virtual machine: Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
HPDC-2010-HuLZHX #clustering #manycore #scheduling #virtual machine: I/O scheduling model of virtual machine based on multi-core dynamic partitioning (YH, XL, JZ, JH, LX), pp. 142–154.
HPDC-2010-JongCLPS #ad hoc #network: Storage deduplication for Virtual Ad Hoc Network testbed by File-level Block Sharing (CHJ, CYJC, TL, AP, CS), pp. 699–706.
HPDC-2010-RivasAN #architecture #named #realtime: Janus: a cross-layer soft real-time architecture for virtualization (RR, MAA, KN), pp. 676–683.
HPDC-2010-RoderoJQPG #energy #towards: Towards energy-aware autonomic provisioning for virtualized environments (IR, JJ, AQ, MP, FG), pp. 320–323.
HPDC-2010-StoutFMG #clustering #network #scalability #using: Scaling virtual organization clusters over a wide area network using the Kestrel workload management system (LS, MF, MAM, SG), pp. 692–698.
OSDI-2010-Ben-YehudaDDFHGLWY #design #implementation: The Turtles Project: Design and Implementation of Nested Virtualization (MBY, MDD, ZD, MF, NH, AG, AL, OW, BAY), pp. 423–436.
OSDI-2010-BroomheadCRV: Virtualize Everything but Time (TB, LC, JR, DV), pp. 451–464.
OSDI-2010-HaeberlenARD #virtual machine: Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.
ICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards #virtual machine: Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ISSTA-2010-MartignoniPRB #testing #virtual machine: Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.
CASE-2009-WuCLZCH: Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DAC-2009-BorgstromHWADCMCN #hardware #hybrid #prototype #question: System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DATE-2009-LuGUH #approach #development #novel: A novel approach to entirely integrate Virtual Test into test development flow (PL, DG, GU, KH), pp. 797–802.
DATE-2009-SabeghiB #approach #configuration management #runtime #towards: Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
HT-2009-HaouachVG #3d #artificial reality #hypermedia #image: A 3D hypermedia with biomedical stereoscopic images: from creation to exploration in virtual reality (MH, GV, CG), pp. 337–338.
HT-2009-NielsenGPG #named: MediaJourney: capturing and sharing digital media from real-world and virtual journeys (KRN, RG, MGP, KG), pp. 341–342.
HT-2009-RosenC #analysis #network #social: Social network analysis in virtual environments (DR, MC), pp. 317–322.
ICDAR-2009-MiyaoM #adaptation #online #recognition #using: Writer Adaptation for Online Handwriting Recognition System Using Virtual Examples (HM, MM), pp. 1156–1160.
ITiCSE-2009-AndersonJD #distance #education: Xen worlds: leveraging virtualization in distance education (BRA, AKJ, TED), pp. 293–297.
ITiCSE-2009-BuendiaCB #approach #learning: An instructional approach to drive computer science courses through virtual learning environments (FB, JCC, JVB), pp. 6–10.
ITiCSE-2009-Gal-EzerVZ: The professor on your PC: a virtual CS1 course (JGE, TV, EZ), pp. 191–195.
ITiCSE-2009-Malan: Virtualizing office hours in CS 50 (DJM), pp. 303–307.
ITiCSE-2009-Schocken #abstraction #implementation #virtual machine: Virtual machines: abstraction and implementation (SS), pp. 203–207.
ITiCSE-2009-SturgeonAM: 802.11 wireless experiments in a virtual world (TS, CA, AM), pp. 85–89.
ITiCSE-2009-TiradoBMB #interactive #student: Inducing student interaction in a virtual environment (FT, AB, AM, AEDB), p. 378.
PEPM-2009-MoretBV #execution #named #profiling: CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
CHI-2009-BickmorePJ #health: Taking the time to care: empowering low health literacy hospital patients with virtual nurse agents (TWB, LMP, BWJ), pp. 1265–1274.
CHI-2009-DucheneautWYW #case study #personalisation: Body and mind: a study of avatar personalization in three virtual worlds (ND, MHW, NY, GW), pp. 1151–1160.
CHI-2009-NeustaedterF: Capturing and sharing memories in a virtual world (CN, EAF), pp. 1161–1170.
CHI-2009-WeissWJJKHB #physics: SLAP widgets: bridging the gap between virtual and physical controls on tabletops (MW, JW, YJ, RJ, RK, JDH, JOB), pp. 481–490.
DHM-2009-BruggemannS #design: Nautical PSI — Virtual Nautical Officers as Test Drivers in Ship Bridge Design (UB, SS), pp. 355–364.
DHM-2009-ClavelM #approach #modelling #multimodal #named #permutation: PERMUTATION: A Corpus-Based Approach for Modeling Personality and Multimodal Expression of Affects in Virtual Characters (CC, JCM), pp. 211–220.
DHM-2009-HeZFH #artificial reality #multi #visualisation: A Multi-functional Visualization System for Motion Captured Human Body Based on Virtual Reality Technology (QH, LZ, XF, YH), pp. 115–122.
DHM-2009-MarshallCSSGD #design #simulation: Virtual Task Simulation for Inclusive Design (RM, KC, SJS, RES, DG, PD), pp. 700–709.
DHM-2009-PaolisPA #interactive #modelling #visualisation: An Advanced Modality of Visualization and Interaction with Virtual Models of the Human Body (LTDP, MP, GA), pp. 13–18.
DHM-2009-PitarchYA #simulation: Virtual Human Hand: Grasping and Simulation (EPP, JY, KAM), pp. 140–149.
HCD-2009-YousefiSH #design #mobile: Human Centered Design of Mobile Machines by a Virtual Environment (HY, AMS, HH), pp. 1099–1108.
HCI-AUII-2009-FarajMV #mobile #named: BigKey: A Virtual Keyboard for Mobile Devices (KAF, MM, NV), pp. 3–10.
HCI-AUII-2009-HuangTKWLT #interactive #smarttech: Interaction Wearable Computer with Networked Virtual Environment (JyH, MCT, HCK, JJW, KHL, CHT), pp. 741–751.
HCI-AUII-2009-Kratky: Mixed Realities — Virtual Object Lessons (AK), pp. 440–445.
HCI-AUII-2009-WelchLLWSW #artificial reality #interactive #paradigm #social: An Affect-Sensitive Social Interaction Paradigm Utilizing Virtual Reality Environments for Autism Intervention (KCW, UL, CL, RW, NS, ZW), pp. 703–712.
HCI-AUII-2009-ZarraonandiaVDA #learning #protocol: A Virtual Environment for Learning Aiport Emergency Management Protocols (TZ, MRRV, PD, IA), pp. 228–235.
HCI-NIMT-2009-BazarganF #3d #geometry #representation #specification: Specifying the Representation of Non-geometric Information in 3D Virtual Environments (KB, GF), pp. 773–782.
HCI-NIMT-2009-HuangK #gesture #interactive: Interactive Demonstration of Pointing Gestures for Virtual Trainers (YH, MK), pp. 178–187.
HCI-NT-2009-KimBJ #eye tracking #student #visual notation: Students’ Visual Perceptions of Virtual Lectures as Measured by Eye Tracking (YJK, JAB, BHJ), pp. 85–94.
HCI-NT-2009-LiuUC #3d #classification #interface: Goods-Finding and Orientation in the Elderly on 3D Virtual Store Interface: The Impact of Classification and Landmarks (CLL, STU, CHC), pp. 474–483.
HCI-NT-2009-MiyazakiSY #behaviour #distributed #java #runtime #using #virtual machine: Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
HCI-VAD-2009-Ficarra #interactive: Virtual Classroom and Communicability: Empathy and Interaction for All (FVCF), pp. 58–67.
HCI-VAD-2009-FicarraCV #evaluation #learning: Communicability for Virtual Learning: Evaluation (FVCF, MCF, PMV), pp. 68–77.
HCI-VAD-2009-KennyPR #interactive #standard: Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.
HCI-VAD-2009-NielloFGFBV #set: A Set of Rules and Strategies for UNSAM Virtual Campus (JFN, FVCF, MG, RFZ, SB, MV), pp. 101–110.
HIMI-DIE-2009-ShinPC #bound #detection: Virtual Convex Polygon Based Hole Boundary Detection and Time Delay Based Hole Detour Scheme in WSNs (IS, NDP, HC), pp. 619–627.
HIMI-II-2009-LiuZL #collaboration #design #effectiveness #empirical #learning #perspective: An Empirical Investigation on the Effectiveness of Virtual Learning Environment in Supporting Collaborative Learning: A System Design Perspective (NL, YZ, JL), pp. 650–659.
IDGD-2009-ZhongLL #learning #similarity: Exploring the Influences of Individualism-Collectivism on Individual’s Perceived Participation Equality in Virtual Learning Teams (YZ, NL, JL), pp. 207–216.
OCSC-2009-BarberioL #community #network: Weighting Structures: Evolutionary Dynamics of Innovation Networks in Virtual Communities (VB, AL), pp. 295–304.
OCSC-2009-BramanVDJ #learning: Learning Computer Science Fundamentals through Virtual Environments (JB, GV, AMAD, AJ), pp. 423–431.
OCSC-2009-BreitfussPI #automation #behaviour #generative #multimodal: Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
OCSC-2009-HaefligerRJK #behaviour #community #rating: Modding as Rating Behavior in Virtual Communities: The Case of Rooster Teeth Productions (SH, PR, PMJ, GvK), pp. 197–206.
OCSC-2009-HaslerBP #3d #collaboration #framework #research: Collaborative Work in 3D Virtual Environments: A Research Agenda and Operational Framework (BSH, TB, RP), pp. 23–32.
OCSC-2009-PastorRRHH #adaptation #community #distance #enterprise: Virtual Communities Adapted to the EHEA in an Enterprise Distance e-Learning Based Environment (RPV, TR, SR, RH, RH), pp. 488–497.
ICEIS-J-2009-BacarinMM #contract #multi: Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
ICEIS-J-2009-Islam #tool support #user satisfaction: Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization (AKMNI), pp. 975–987.
ICEIS-J-2009-QuimbayaRAV #knowledge base #query #scalability: Knowledge Based Query Processing in Large Scale Virtual Organizations (APQ, CR, JA, MDPV), pp. 208–219.
ICEIS-J-2009-SubercazeEMJKAI #community #towards: Towards Successful Virtual Communities (JS, CEM, PM, AJ, MK, PA, MI), pp. 677–688.
KDIR-2009-GhemtioSDSM #approach #design: A KDD Approach for Designing Filtering Strategies to Improve Virtual Screening (LG, MST, MDD, MS, BM), pp. 146–151.
KEOD-2009-KoppensteinerMLLV #enterprise #framework #semantics: Ontology-oriented Framework for Virtual Enterprises — Accomplished within the Project: Future Network-based Semantic Technologies ((FUNSET-Science) (GK, MM, WL, EL, LV), pp. 300–307.
SEKE-2009-Chang: Virtual Spaces: From the Past to the Future (SKC), p. 2.
SEKE-2009-ChengCSW #composition: Dynamic Service Composition for Virtual UPnP Device Creation (STC, CLC, JS, MW), pp. 364–369.
SEKE-2009-SeidelGFBM: An Agent-based Centralized e-Marketplace in a Virtual Environment (IS, MG, JF, HB, DM), pp. 218–221.
GPCE-2009-KastnerAK #refactoring: A model of refactoring physically and virtually separated features (CK, SA, MK), pp. 157–166.
GPCE-2009-McGacheyHM #java #pervasive: Classifying Java class transformations for pervasive virtualized access (PM, ALH, JEBM), pp. 75–84.
SAC-2009-AneddaGM #approach #virtual machine: A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
SAC-2009-EirakuSPKK #network #performance #virtual machine: Fast networking with socket-outsourcing in hosted virtual machine environments (HE, YS, CP, YK, KK), pp. 310–317.
SAC-2009-HohfeldGBBSS #collaboration #multi #self: Self-organizing collaborative filtering in global-scale massive multi-user virtual environments (AH, PG, AB, JB, HS, IS), pp. 1719–1723.
SAC-2009-LombardiP #kernel #linux #named #security #virtual machine: KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
SAC-2009-OyamaKI #haskell #monitoring #named #virtual machine: Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
ESEC-FSE-2009-Lopes #modelling #simulation: The massification and webification of systems’ modeling and simulation with virtual worlds (CVL), pp. 63–70.
ASPLOS-2009-BurceaM #branch #design #named: Phantom-BTB: a virtualized branch target buffer design (IB, AM), pp. 313–324.
CGO-2009-MaoS #evolution #learning #predict #virtual machine: Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.
HPDC-2009-IbrahimJCCWQ #implementation #named #pipes and filters #towards #virtual machine: CLOUDLET: towards mapreduce implementation on virtual machines (SI, HJ, BC, HC, SW, LQ), pp. 65–66.
HPDC-2009-LiuJLHY #migration #virtual machine: Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.
VMCAI-2009-GallowayLMS #file system #linux #model checking: Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
ECSA-2008-MendezA #architecture #comparison #how: How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training (GM, AdA), pp. 82–97.
WICSA-2008-MendezA #architecture: A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training (GM, AdA), pp. 319–322.
ASE-2008-BertolinoAS #named #performance #testing: VCR: Virtual Capture and Replay for Performance Testing (AB, GDA, AS), pp. 399–402.
CASE-2008-HuangHCLC #automation #design #implementation: Automatic virtual metrology system design and implementation (YTH, HCH, FTC, TSL, FCC), pp. 223–229.
CASE-2008-WuCZLC: Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.
DAC-2008-LaiWGLD #architecture: A dynamically-allocated virtual channel architecture with congestion awareness for on-chip routers (McL, ZW, LG, HL, KD), pp. 630–633.
DAC-2008-NowakCCR #design: Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.
DAC-2008-SenNSC #adaptation #named #power management #process: Pro-VIZOR: process tunable virtually zero margin low power adaptive RF for wireless systems (SS, VN, RS, AC), pp. 492–497.
DATE-2008-FaruqueH #architecture #communication: Minimizing Virtual Channel Buffer for Routers in On-chip Communication Architectures (MAAF, JH), pp. 1238–1243.
DATE-2008-LewickiPTDJ #design #prototype: A Virtual Prototype for Bluetooth over Ultra Wide Band System Level Design (AL, JdPP, JT, ED, GJ), pp. 804–807.
HT-2008-VuillemotR #navigation #on-demand #visualisation: Mapping visualization on-demand onto a virtual globe: an appealing complement to browser-based navigation (RV, BR), pp. 249–250.
SIGMOD-2008-SororMASKK #automation #database #virtual machine: Automatic virtual machine configuration for database workloads (AAS, UFM, AA, KS, PK, SK), pp. 953–966.
ITiCSE-2008-Albin-Clark #chat: Virtual chat in an enquiry-based team project (AAC), pp. 153–157.
ITiCSE-2008-KoppelmanV #case study #distance #education #experience: Experiences with a synchronous virtual classroom in distance education (HK, HPEV), pp. 194–198.
PEPM-2008-FeiginM #hardware: Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
CHI-2008-ElmqvistTT #3d #constraints: Evaluating motion constraints for 3D wayfinding in immersive and desktop virtual environments (NE, MET, PT), pp. 1769–1778.
CHI-2008-McQuigganRL #learning: The effects of empathetic virtual characters on presence in narrative-centered learning environments (SWM, JPR, JCL), pp. 1511–1520.
CHI-2008-WangM #interactive #learning: Human-Currency Interaction: learning from virtual currency use in China (YW, SDM), pp. 25–28.
CSCW-2008-PoonTAL #case study #distributed: Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.
CSCW-2008-SteptoeWMGRSRS #analysis #collaboration: Eye-tracking for avatar eye-gaze and interactional analysis in immersive collaborative virtual environments (WS, RW, AM, EG, JR, PMS, DJR, AS), pp. 197–200.
EDOC-2008-CurryKMSTAW #enterprise #facebook: Facebook Meets the Virtualized Enterprise (RC, CK, NM, RS, TT, MFA, BW), pp. 286–292.
ICEIS-ISAS2-2008-GinerAP #process #ubiquitous: Physical-Virtual Connection in Ubiquitous Business Processes (PG, MA, VP), pp. 266–271.
ICEIS-SAIC-2008-AldeebCS #concept #peer-to-peer #workflow: An Inter-Organizational Peer-to-Peer Workflow Management System — P2P based Virtual Organization Concept (AA, KAC, MJS), pp. 85–92.
ICEIS-SAIC-2008-ThimmTR #network: Partner Selection for Virtual Organization — Supporting the Moderator in Business Networks (HT, KT, KBR), pp. 119–126.
CIKM-2008-StecherNN #integration #lightweight: Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.
ICPR-2008-ChowC #3d: Specularity removal and relighting of 3D object model for virtual exhibition (SKC, KLC), pp. 1–4.
ICPR-2008-SakaueS: Calibration of projector-camera systems from virtual mutual projection (FS, JS), pp. 1–4.
ICPR-2008-SatoOKI #image #realtime: Real-time image-based rendering system for virtual city based on image compression technique and eigen texture method (RS, SO, HK, KI), pp. 1–4.
ICPR-2008-ScherCD #game studies: Making real games virtual: Tracking board game pieces (SS, RC, JD), pp. 1–4.
ICPR-2008-SugimotoO #array #image #synthesis #using: Virtual focusing image synthesis for user-specified image region using camera array (SS, MO), pp. 1–4.
ICPR-2008-YuOWL #3d #approach #estimation #novel: A novel 3-D motion estimation approach to virtual viewpoint control (YKY, SHO, KhW, KKL), pp. 1–4.
KDD-2008-BlockeelCFGPR #database #induction #mining #prototype: An inductive database prototype based on virtual mining views (HB, TC, ÉF, BG, AP, CR), pp. 1061–1064.
SEKE-2008-ZhouZ #distributed #programming #virtual machine: A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
OOPSLA-2008-ProkopskiV #performance #virtual machine: Analyzing the performance of code-copying virtual machines (GBP, CV), pp. 403–422.
TOOLS-EUROPE-2008-PhinkY #aspect-oriented #virtual machine: Virtual Machine Support for Stateful Aspects (YP, AY), pp. 80–99.
QAPL-2008-LambertP #bytecode #framework #independence #java #virtual machine: Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
SAC-2008-NunesC08a #artificial reality #challenge #health #perspective: The virtual reality challenges in the health care area: a panoramic view (FLSN, RMEMdC), pp. 1312–1316.
SAC-2008-OnoueOY #virtual machine: Control of system calls from outside of virtual machines (KO, YO, AY), pp. 2116–1221.
SAC-2008-VieiraVN #generative: A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
ASPLOS-2008-BhargavaSSM #2d: Accelerating two-dimensional page walks for virtualized systems (RB, BS, FS, SM), pp. 26–35.
ASPLOS-2008-BurceaSMF #predict: Predictor virtualization (IB, SS, AM, BF), pp. 157–167.
ASPLOS-2008-ChenGLSWBDP #approach #named #operating system: Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (XC, TG, ECL, PS, CAW, DB, JSD, DRKP), pp. 2–13.
ASPLOS-2008-WegielK #concurrent #memory management #parallel: The mapping collector: virtual memory support for generational, parallel, and concurrent compaction (MW, CK), pp. 91–102.
CC-2008-ProkopskiV #safety #virtual machine: Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
CGO-2008-WimmerM #array #automation #java #virtual machine: Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
CGO-2008-ZhuangKSC #analysis #difference #framework #named #performance #virtual machine: Perfdiff: a framework for performance difference analysis in a virtual machine environment (XZ, SK, MJS, JDC), pp. 4–13.
HPDC-2008-FigueiredoBJW #ad hoc #deployment #network #social: Facilitating the deployment of ad-hoc virtual organizations with integrated social and overlay networks (RJOF, POB, PSJ, DW), pp. 201–204.
HPDC-2008-GangulyBWF: Improving peer connectivity in wide-area overlays of virtual workstations (AG, POB, DW, RJOF), pp. 129–140.
HPDC-2008-NathujiS #virtual machine: Vpm tokens: virtual machine-aware power budgeting in datacenters (RN, KS), pp. 119–128.
HPDC-2008-NurmiWB #named: VARQ: virtual advance reservations for queues (DN, RW, JB), pp. 75–86.
HPDC-2008-SmithSF #grid: Securing stateful grid servers through virtual server rotation (MS, CS, BF), pp. 11–22.
HPDC-2008-SotomayorKF #execution #using #virtual machine: Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
OSDI-2008-GuptaLVSSVVV #difference #memory management #virtual machine: Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.
IJCAR-2008-BartheGP #java #proving #virtual machine: Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
TestCom-FATES-2008-ShuCLLSL #framework #named #network #paradigm #security #testing: VCSTC: Virtual Cyber Security Testing Capability — An Application Oriented Paradigm for Network Infrastructure Protection (GS, DC, ZL, NL, LS, DL), pp. 119–134.
ASE-2007-CaiWHW #array #automation #kernel #testing: Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
CASE-2007-ChengHK #development: Development of a Dual-Phase Virtual Metrology Scheme (FTC, HCH, CAK), pp. 270–275.
CASE-2007-HuangSCJ #development #framework: Development of a Generic Virtual Metrology Framework (HCH, YCS, FTC, JMJ), pp. 282–287.
CASE-2007-RizziBL #3d #artificial reality #automation #image #modelling #simulation: Automating the Extraction of 3D Models from Medical Images for Virtual Reality and Haptic Simulations (SHRR, PPB, CL), pp. 152–157.
CASE-2007-SuLCW #algorithm #implementation: Implementation Considerations of Various Virtual Metrology Algorithms (YCS, THL, FTC, WMW), pp. 276–281.
DAC-2007-Natale #analysis #challenge: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.
DATE-2007-BrandenburgSHEE #algorithm #approach #design #novel #prototype: From algorithm to first 3.5G call in record time: a novel system design approach based on virtual prototyping and its consequences for interdisciplinary system design teams (MB, AS, SH, JE, TE), pp. 828–830.
HT-2007-MoganW #case study #information management #trust: A study into user perceptions of information sharing and trust in virtual teams (SM, WW), pp. 43–44.
SIGMOD-2007-ShivamDGIGYBC #automation #database #on-demand #virtual machine: Automated and on-demand provisioning of virtual machines for database applications (PS, AD, PG, DEI, LEG, ARY, SB, JSC), pp. 1079–1081.
VLDB-2007-LimWW #using: Unifying Data and Domain Knowledge Using Virtual Views (LL, HW, MW), pp. 255–266.
VLDB-2007-ShaoGBBCYS #keyword #performance #xml: Efficient Keyword Search over Virtual XML Views (FS, LG, CB, AB, MC, FY, JS), pp. 1057–1068.
ITiCSE-2007-NorteL #people: A virtual logo keyboard for people with motor disabilities (SN, FGL), pp. 111–115.
CHI-2007-JohnsenRSLL #education #experience: The validity of a virtual human experience for interpersonal skills education (KJ, AR, AOS, DSL, BL), pp. 1049–1058.
CHI-2007-ZanbakaUGH #design #interface #social: Social responses to virtual humans: implications for future interface design (CAZ, ACU, PG, LFH), pp. 1561–1570.
DHM-2007-Abdel-MalekYKMBSFMMRA #development: Development of the Virtual-Human SantosTM (KAM, JY, JHK, TM, SB, CS, LFL, AM, CM, SR, JA), pp. 490–499.
DHM-2007-Heng #roadmap: Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.
DHM-2007-LinP #experience #modelling #user interface: User Experience Modeling and Enhancement for Virtual Environments That Employ Wide-Field Displays (JJWL, DEP), pp. 423–433.
DHM-2007-LiuLC #framework #named #simulation: AIPlayer: A Platform of Intelligent Simulation of Virtual Human in Virtual Environment (JL, YL, JC), pp. 434–442.
DHM-2007-MavrikiosPKKC #assembly #evaluation: Digital Humans for Virtual Assembly Evaluation (DM, MP, MK, VK, GC), pp. 939–948.
DHM-2007-OhS #behaviour #comprehension #nondeterminism: Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty (IO, MS), pp. 443–452.
DHM-2007-Su #detection #performance #precise: Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.
DHM-2007-ThomasCRMM #3d #modelling #navigation: Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment (MDT, DWC, BR, JAM, AM), pp. 205–214.
DHM-2007-TianDM #analysis #design #interactive: Effecting Validity of Ergonomics Analysis During Virtual Interactive Design (RT, VGD, JM), pp. 988–997.
DHM-2007-YangRMAH #predict #validation: Validation of Predicted Posture for the Virtual Human SantosTM (JY, SR, TM, KAM, CH), pp. 500–510.
DHM-2007-ZhangCZZFD: A New Virtual Dynamic Dentomaxillofacial System for Analyzing Mandibular Movement, Occlusal Contact, and TMJ Condition (CZ, LC, FZ, HZ, HF, GD), pp. 747–756.
HCI-AS-2007-KaholFMPS #artificial reality: Augmented Virtual Reality for Laparoscopic Surgical Tool Training (KK, JF, TLM, SP, MS), pp. 459–467.
HCI-AS-2007-YeBRS #artificial reality #design #evaluation: Applications of Virtual Reality in Product Design Evaluation (JY, SB, VR, TS), pp. 1190–1199.
HCI-IDU-2007-HeldalRBW #collaboration: Presence, Creativity and Collaborative Work in Virtual Environments (IH, DJR, LB, RW), pp. 802–811.
HCI-IDU-2007-SoeffnerN #representation: Co-presence in Shared Virtual Environments: Avatars Beyond the Opposition of Presence and Representation (JS, CSN), pp. 949–958.
HCI-IPT-2007-ChenC #using: Using Agent Technology to Study Human Action and Perception Through a Virtual Street Simulator (CHC, MLC), pp. 560–568.
HCI-IPT-2007-Kim: Aspiring for a Virtual Life (HCK), pp. 615–623.
HCI-IPT-2007-LiGR #artificial reality: Resolving Occlusion Between Virtual and Real Scenes for Augmented Reality Applications (LL, TG, BR), pp. 634–642.
HCI-IPT-2007-Ouramdane-DjerrahOM #3d #collaboration #interactive: A New Model of Collaborative 3D Interaction in Shared Virtual Environment (NOD, SO, MM), pp. 663–672.
HCI-IPT-2007-OyarzabalFCMBO #collaboration #interface #multi: Multi-finger Haptic Interface for Collaborative Tasks in Virtual Environments (MO, MF, SC, MM, JB, JO), pp. 673–680.
HCI-IPT-2007-SantosSGPAJBJPWCABPHM #artificial reality #design #effectiveness #interactive #named: IMPROVE: Designing Effective Interaction for Virtual and Mixed Reality Environments (PS, AS, TG, AP, BA, RJ, LCB, JAJ, JMP, MW, GC, RdA, IB, CP, MH, DM), pp. 689–699.
HCI-IPT-2007-WuZHZ #evaluation #interface: Evaluation of Wayfinding Aids Interface in Virtual Environment (AW, WZ, BH, XZ), pp. 700–709.
HCI-MIE-2007-FoursaW #interactive: Movement-Based Interaction and Event Management in Virtual Environments with Optical Tracking Systems (MF, GW), pp. 615–624.
HCI-MIE-2007-GratchWOLMWM #question: Can Virtual Humans Be More Engaging Than Real Ones? (JG, NW, AO, FL, MM, RJvdW, LPM), pp. 286–297.
HCI-MIE-2007-LeePWP #artificial reality #robust: Robust Gaze Tracking Method for Stereoscopic Virtual Reality Systems (ECL, KRP, MCW, JP), pp. 700–709.
HCI-MIE-2007-ParkC #comprehension #social: Understanding the Social Relationship Between Humans and Virtual Humans (SP, RC), pp. 459–464.
HIMI-IIE-2007-IkeiOK #interface #memory management: Spatial Electronic Mnemonics: A Virtual Memory Interface (YI, HO, TK), pp. 30–37.
HIMI-IIE-2007-TaketaHKN #artificial reality: Virtual Pop-Up Book Based on Augmented Reality (NT, KH, HK, SN), pp. 475–484.
HIMI-IIE-2007-ZimolongK #network #workflow: A Workflow Based Management System for Virtual Teams in Production Networks (BZ, BK), pp. 1004–1009.
HIMI-MTT-2007-LehtoPPL #analysis: Text Analysis of Consumer Reviews: The Case of Virtual Travel Firms (XL, JKP, OP, MRL), pp. 490–499.
OCSC-2007-KimQ #community: Presentation Desire of Digital Identity in Virtual Community (HWK, EQ), pp. 96–105.
ICEIS-DISI-2007-WagnerM #adaptation #approach #middleware #reuse: A virtualization approach for reusing middleware adapters (RW, BM), pp. 78–85.
ICEIS-HCI-2007-KirnerSK #requirements: Contribution to the Requirements Engineering of Virtual Environments (TGK, VFMS, CK), pp. 142–147.
ICEIS-J-2007-WagnerM07a #adaptation #middleware: Enhancing Middleware Functionality by Virtualizing Adapters (RW, BM), pp. 108–120.
SEKE-2007-GrunertKW #architecture #distributed #enterprise #multi: A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises (AG, SK, GW), pp. 546–551.
ECOOP-2007-VenstermansEB #java #pointer #virtual machine: Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.
RE-2007-KlassenDD #quality #requirements: Requirements Quality for a Virtual World (MK, SD, HD), pp. 375–376.
SAC-2007-AhamedHSK #pervasive #using: Wellness assistant: a virtual wellness assistant using pervasive computing (SIA, MMH, KS, AJK), pp. 782–787.
SAC-2007-KimCLNM #embedded #framework #reliability #testing: Virtual framework for testing the reliability of system software on embedded systems (SKK, JC, DL, SHN, SLM), pp. 1192–1196.
SAC-2007-NunesVN #animation #flexibility #representation: A flexible representation of controllers for physically-based animation of virtual humans (RFN, CAV, JBCN), pp. 30–36.
SAC-2007-SongP #file system: Providing context-awareness to virtual file system (YS, DP), pp. 1199–1200.
SAC-2007-YanWZ #ad hoc #mobile #network #protocol: Dual agreement virtual subnet protocol for mobile ad-hoc networks (KQY, SCW, GYZ), pp. 953–954.
CGO-2007-CodinaSG #clustering #graph #scheduling: Virtual Cluster Scheduling Through the Scheduling Graph (JMC, FJS, AG), pp. 89–101.
HPCA-2007-ShaferCMRCZW #concurrent #monitoring #network #virtual machine: Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.
HPDC-2007-DemchenkoSGLGK #security: Security and dynamics in customer controlled virtual workspace organisation (YD, FS, LG, CTAMdL, DLG, OK), pp. 231–232.
HPDC-2007-LangeD #network #virtual machine: Transparent network services via a virtual traffic layer for virtual machines (JRL, PAD), pp. 23–32.
HPDC-2007-RajS #performance #scalability #self: High performance and scalable I/O virtualization via self-virtualized devices (HR, KS), pp. 179–188.
LCTES-2007-PermandlaRB #java #type system #virtual machine: A type system for preventing data races and deadlocks in the java virtual machine language: 1 (PP, MR, CB), p. 10.
SOSP-2007-CriswellLDA #architecture #execution #operating system: Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
SOSP-2007-LaadanBPPN #named: DejaView: a personal virtual computer recorder (OL, RAB, DBP, SP, JN), pp. 279–292.
SOSP-2007-NathujiS #coordination #enterprise #named #power management: VirtualPower: coordinated power management in virtualized enterprise systems (RN, KS), pp. 265–278.
CBSE-2006-RoyonFM #multi: Virtualization of Service Gateways in Multi-provider Environments (YR, SF, FLM), pp. 385–392.
CBSE-2006-UfimtsevKM #memory management #performance: Impact of Virtual Memory Managers on Performance of J2EE Applications (AU, AK, LM), pp. 285–293.
CASE-2006-BeghiLPS #black box #modelling #prototype: Black-box modeling of a Two-Stroke Racing Motorcycle Engine for Virtual Prototyping Applications (AB, ML, SP, DS), pp. 280–285.
CASE-2006-NarayanasamyCT #assembly #framework: The Creation of an Information Based Manufacturing Framework for micro devices assembly: A discussion of the path planning and virtual assembly modules (GN, JC, AT), pp. 490–495.
CASE-2006-PengLG: A Model for Virtual Emotional Human System (LP, WL, XG), pp. 310–313.
CASE-2006-Shi0 #detection: Signal Detecting Based on Instantaneous Virtual Power (WS, JL), pp. 270–273.
DAC-2006-InoueIKSE #architecture #mobile #named: VIRTUS: a new processor virtualization architecture for security-oriented next-generation mobile terminals (HI, AI, MK, JS, ME), pp. 484–489.
DATE-2006-KanajanZPS #architecture #distributed #integration #trade-off #using: Exploring trade-off’s between centralized versus decentralized automotive architectures using a virtual integration environment (SK, HZ, CP, ALSV), pp. 548–553.
DATE-2006-KimHG #execution #parallel #using: Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATE-2006-KlingaufGG #architecture #named #transaction: TRAIN: a virtual transaction layer architecture for TLM-based HW/SW codesign of synthesizable MPSoC (WK, HG, RG), pp. 1318–1323.
DATE-2006-KogelB #embedded #multi #prototype: Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATE-DF-2006-RaabeHAZ #detection #prototype: Space-efficient FPGA-accelerated collision detection for virtual prototyping (AR, SH, JKA, GZ), pp. 206–211.
ITiCSE-2006-GiangrandiM #quote: “Numeri e Macchine”: a virtual museum to learn the history of computing (PG, CM), pp. 78–82.
CHI-2006-PlouznikoffPRD #human-computer #interactive #interface #smarttech: Enhancing human-machine interactions: virtual interface alteration through wearable computers (AP, NP, JMR, MD), pp. 373–376.
CHI-2006-ZanbakaGH #gender #persuasion: Can a virtual cat persuade you?: the role of gender and realism in speaker persuasiveness (CAZ, PG, LFH), pp. 1153–1162.
ICEIS-SAIC-2006-WuMLYL: WSRF-Based Virtualization for Manufacturing Resources (LW, XM, SL, CY, XL), pp. 132–137.
ICPR-v3-2006-ParkLL #3d #using: Superimposing 3D Virtual Objects using Markerless Tracking (SCP, SWL, SWL), pp. 897–900.
ICPR-v3-2006-WangHWH #approach #image: A New Approach for Fractal Image Compression on a Virtual Hexagonal Structure (HW, XH, QW, TH), pp. 909–912.
ICPR-v3-2006-Xu #approach #artificial reality #gesture #network #recognition: A Neural Network Approach for Hand Gesture Recognition in Virtual Reality Driving Training System of SPG (DX), pp. 519–522.
SEKE-2006-HungL #data mining #mining #performance #using: Using Data Mining Schemes for Improvement on System Performance in Virtual Environments (SSH, DSML), pp. 61–66.
SEKE-2006-LiC #profiling: User Profiling in the Chronobot/Virtual Classroom System (XL, SKC), pp. 432–439.
OOPSLA-2006-BockischADM #adaptation #virtual machine: Adapting virtual machine techniques for seamless aspect support (CB, MA, TD, MM), pp. 109–124.
OOPSLA-2006-Hutchins #prototype #using: Eliminating distinctions of class: using prototypes to model virtual classes (DH), pp. 1–20.
PADL-2006-GouraudG #functional #java #testing #using #virtual machine: Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
POPL-2006-ErnstOC #calculus: A virtual class calculus (EE, KO, WRC), pp. 270–282.
SAC-2006-SasitornC #java #performance #virtual machine: Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
ASPLOS-2006-AdamsA #comparison #hardware: A comparison of software and hardware techniques for x86 virtualization (KA, OA), pp. 2–13.
ASPLOS-2006-ChungMMSCCKO #memory management #trade-off #transaction: Tradeoffs in transactional memory virtualization (JC, CCM, AM, TS, HC, BDC, CK, KO), pp. 371–381.
ASPLOS-2006-CrandallWOSWC #detection #virtual machine: Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.
ASPLOS-2006-JonesAA #monitoring #named #virtual machine: Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
ASPLOS-2006-Rosenblum #architecture #operating system: Impact of virtualization on computer architecture and operating systems (MR), p. 1.
CGO-2006-VenstermansEB #java: Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing (KV, LE, KDB), pp. 76–86.
CGO-2006-WentzlaffA #architecture: Constructing Virtual Architectures on a Tiled Processor (DW, AA), pp. 173–184.
HPDC-2006-BaiardiRMV #monitoring #policy #virtual machine: Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
HPDC-2006-GangulyABF #named #network #self: WOW: Self-Organizing Wide Area Overlay Networks of Virtual Workstations (AG, AA, POB, RJOF), pp. 30–42.
HPDC-2006-GoscinskiA #named #performance #virtual machine: Motor: A Virtual Machine for High Performance Computing (WG, DA), pp. 171–182.
HPDC-2006-XuRRKG #adaptation #distributed #framework #multi: Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure (DX, PR, JR, RK, SG), pp. 317–320.
ISMM-2006-SomanDK #garbage collection #multi #virtual machine: Task-aware garbage collection in a multi-tasking virtual machine (SS, LD, CK), pp. 64–73.
OSDI-2006-YangBKM #garbage collection #memory management #named: CRAMM: Virtual Memory Support for Garbage-Collected Applications (TY, EDB, SFK, JEBM), pp. 103–116.
ASE-2005-Swartout #lessons learnt #scalability: Virtual humans: lessons learned in integrating a large-scale AI project (WRS), p. 2.
CASE-2005-ChengY #bound #using: Virtual object deformations using attributed boundary model (TMC, CCY), pp. 295–300.
DAC-2005-ChenK #embedded #java #reliability #virtual machine: Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DAC-2005-KimYH #using: Trace-driven HW/SW cosimulation using virtual synchronization technique (DK, YY, SH), pp. 345–348.
DAC-2005-PetrovTO #embedded #energy #memory management: Energy-effcient physically tagged caches for embedded processors with virtual memory (PP, DT, AO), pp. 17–22.
DATE-2005-AmatoCMP #precise: Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
DATE-2005-FummiLMMPP #hardware #prototype: Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation (FF, ML, SM, MM, GP, MP), pp. 798–803.
DATE-2005-Martin #component #design #transaction: Design of a Virtual Component Neutral Network-on-Chip Transaction Layer (PM), pp. 336–337.
DATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine: OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
ICDAR-2005-MiyaoMNH #online #recognition: Off-Line Handwritten Character Recognition by SVM on the Virtual Examples Synthesized from On-Line Characters (HM, MM, YN, TH), pp. 494–498.
ICDAR-2005-TerashimaSKW #3d #representation: Method for Representing 3-D Virtual Origami (TT, HS, JK, TW), pp. 1211–1215.
ITiCSE-2005-DavoliG #education: Virtual square (V2) in computer science education (RD, MG), pp. 301–305.
ITiCSE-2005-GooldC #education: Teaching ethics in a virtual classroom (AG, JC), pp. 232–236.
ITiCSE-2005-GooldPLBC #challenge #student: Virtual student teams: opportunities and challenges (AG, AP, MZL, CB, SCC), pp. 340–341.
ITiCSE-2005-SilvestrePCCCC #framework #generative: A platform for the generation of virtual environments inhabited by intelligent virtual humans (MS, MPA, MBC, APC, JDC, HC), p. 402.
ICSM-2005-Demeyer #morphism #performance #polymorphism #question #what: Refactor Conditionals into Polymorphism: What’s the Performance Cost of Introducing Virtual Calls? (SD), pp. 627–630.
ICALP-2005-EisenbrandGOS #design #network: New Approaches for Virtual Private Network Design (FE, FG, GO, MS), pp. 1151–1162.
CHI-2005-AyatsukaR #named: tranSticks: physically manipulatable virtual connections (YA, JR), pp. 251–260.
EDOC-2005-VitolinsK #diagrams #modelling #process #semantics #uml #virtual machine: Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine (VV, AK), pp. 181–194.
ICEIS-v3-2005-NasserBLGB #data access #grid: Access Control Model for Grid Virtual Organizations (BN, AB, RL, FG, FB), pp. 152–158.
ICEIS-v4-2005-ShankarSKGO #ad hoc #grid: Dynamic Coalition in Agent Aware Adhoc Virtual P2P Interconnect Grid Computing System — A3PVIGRID (AS, CS, AK, AKG, PO), pp. 170–175.
SEKE-2005-ChenSH #collaboration: Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.
SEKE-2005-Shen #interactive #protocol: The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System (MS), pp. 16–18.
OOPSLA-2005-ArnoldWR #performance #repository #using #virtual machine: Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.
GPCE-2005-PintoJF #adaptation: Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application (MP, DJ, LF), pp. 438–441.
SAC-2005-DebbabiMT #compilation #embedded #java #virtual machine: Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
SAC-2005-Heinlein #c++: Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.
SAC-2005-LuHVL #automation #generative #named #web #web service: Pollock: automatic generation of virtual web services from web sites (YHL, YH, JV, DL), pp. 1650–1655.
SAC-2005-ZuoP #component #trust: Component based trust management in the context of a virtual organization (YZ, BP), pp. 1582–1588.
SAC-OOPS-J-2005-Heinlein #c++: Global and Local Virtual Functions in C++ (CH), pp. 71–93.
ICSE-2005-PankratiusS #case study #development #experience #information management: Information systems development at the virtual global university: an experience report (VP, WS), pp. 639–640.
CGO-2005-ArnoldG #graph #virtual machine: Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines (MA, DG), pp. 51–62.
CGO-2005-BerndlVZB #flexibility #performance #thread #virtual machine: Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.
CGO-2005-Hind #architecture #machine learning #virtual machine: Virtual Machine Learning: Thinking like a Computer Architect (MH), p. 11.
HPCA-2005-JaleelJ #memory management #using: Using Virtual Load/Store Queues (VLSQs) to Reduce the Negative Effects of Reordered Memory Instructions (AJ, BLJ), pp. 191–200.
HPDC-2005-AgrawalGBF #grid #network #towards #virtual machine: Towards P2P-routed IF overlay networks for grid virtual machines (AA, AG, POB, RJOF), pp. 293–294.
HPDC-2005-SundararajGD #adaptation #performance #runtime: Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
HPDC-2005-TsugawaMZSLFF #automation #deployment #network: In-VIGO virtual networks and virtual application services: automated grid-enabling and deployment of applications (MOT, AMM, LZ, VS, HL, RJOF, JABF), pp. 312–313.
LCTES-2005-Oi #design #hardware #java #on the #virtual machine: On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
SOSP-2005-BarattoKN #architecture #named: THINC: a virtual display architecture for thin-client computing (RAB, LNK, JN), pp. 277–290.
SOSP-2005-VrableMCMVSVS #scalability: Scalability, fidelity, and containment in the potemkin virtual honeyfarm (MV, JM, JC, DM, EV, ACS, GMV, SS), pp. 148–162.
DAC-2004-VuleticPI #configuration management #memory management: Virtual memory window for application-specific reconfigurable coprocessors (MV, LP, PI), pp. 948–953.
DocEng-2004-ZhangBMO #documentation #hypermedia: Supporting virtual documents in just-in-time hypermedia systems (LZ, MPB, DEM, VO), pp. 35–44.
HT-2004-FalquetNZ #library #towards: Towards digital libraries of virtual hyperbooks (GF, LN, JCZ), pp. 24–25.
ITiCSE-2004-Harms #artificial reality: A virtual reality simulator of the ENIAC (DEH), p. 239.
IFL-2004-AntoyHLT #functional #logic #virtual machine: A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
IFL-2004-Trancon-y-Widemann #evaluation #recursion #strict #virtual machine: V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.
CHI-2004-LinAL #effectiveness: Virtual guiding avatar: an effective procedure to reduce simulator sickness in virtual environments (JJWL, HAR, ML), pp. 719–726.
CHI-2004-TanGSP #3d #integration #navigation #scalability: Physically large displays improve path integration in 3D virtual navigation tasks (DST, DG, PS, RP), pp. 439–446.
CSCW-2004-BrownB #collaboration #game studies: CSCW at play: “there” as a collaborative virtual environment (BB, MB), pp. 350–359.
ICEIS-v2-2004-MendezHA: Intelligent Virtual Environments for Training in Nuclear Power Plants (GM, PH, AdA), pp. 204–209.
ICEIS-v3-2004-KaletasAH: A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
ICEIS-v4-2004-BalatosPIJL #concept #design #e-commerce #framework: Introducing an Operational and Techonological E-Commerce Framework for European SMEs: Designing Regional and Interegional E-Commerce Zones for SMEs in Four Less Favoured European Regions (LFRS) Based on Request Based Virtual Organisation (RBVO) Concept (AB, KP, II, VJ, ML), pp. 309–315.
ICEIS-v4-2004-BoppHE #weaving: Connecting Virtual Spaces: Shadow Objects as Key Elements for Weaving the Cooperative Space (TB, TH, BE), pp. 475–479.
ICEIS-v4-2004-EbaraGSYWM #communication #network: The Project of Virtual Laboratory for Informal Communication on Gigabit Network (YE, YG, TS, SY, KW, YM), pp. 176–181.
ICEIS-v4-2004-KarduckS #constraints #named: Teambroker: Constraint Based Brokerage of Virtual Teams (AK, AS), pp. 146–153.
ICEIS-v4-2004-PenseriniSP #framework: A P2P-Based Infrastructure for Virtual-Enterprise’s Supply-Chain Management (LP, LS, MP), pp. 316–321.
ICEIS-v4-2004-PuentesC #collaboration: Virtual Active IP Node for Collaborative Environments (FP, VC), pp. 49–54.
ICEIS-v5-2004-KitamuraNKM #process: Real World Sensorization and Virtualization for Observing Human Activities (KK, YN, MK, HM), pp. 15–20.
ICEIS-v5-2004-RaouzaiouKK #synthesis: Emotion Synthesis in Virtual Environments (AR, KK, SDK), pp. 44–52.
ICEIS-v5-2004-SantosVRG #adaptation #collaboration #multi #workflow: A Multimedia Workflow-Based Collaborative Engineering Environment: Integrating an Adaptative Workflow with a Multimedia Collaboration System and a Collaborative Virtual Environment for Petroleum Engeneering (IHFdS, CV, AR, MG), pp. 259–262.
CIKM-2004-YangFSRB #xml: Virtual cursors for XML joins (BY, MF, EJS, SR, KSB), pp. 523–532.
ICPR-v2-2004-PressigoutM #artificial reality #visual notation: Model-Free Augmented Reality by Virtual Visual Servoing (MP, ÉM), pp. 887–890.
ICPR-v2-2004-RennaCMAD: Color Correction for the Virtual Recomposition of Fragmented Frescos (FR, GC, NM, GA, AD), pp. 907–910.
ICPR-v2-2004-TakiS #3d #re-engineering #symmetry: 3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.
ICPR-v3-2004-CuiG #recognition: Support Vector Machines for Face Recognition with Two-layer Generated Virtual Data (GC, WG), pp. 570–573.
ICPR-v3-2004-KuhlKWK #classification #using: Training of Classifiers Using Virtual Samples Only (AK, LK, CW, UK), pp. 418–421.
ICPR-v4-2004-RennaCMAD04a: Virtual Recomposition of Frescos: Separating Fragments from the Background (FR, GC, NM, GA, AD), pp. 819–822.
SAC-2004-DemetrescuF #debugging #virtual machine: A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
SAC-2004-LiKSW #named #virtual machine #xml: XVM: XML Virtual Machine (QL, MYK, ES, SW), pp. 1732–1733.
SAC-2004-TarauF #knowledge-based: Knowledge-based conversational agents and virtual storytelling (PT, EF), pp. 39–44.
ASPLOS-2004-LowellSS #maintenance #online #virtual machine: Devirtualizable virtual machines enabling general, single-node, online maintenance (DEL, YS, EJS), pp. 211–223.
ASPLOS-2004-WangCWKGCYSMS #framework #multi #thread: Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform (PHW, JDC, HW, DK, BG, KMC, ABY, TS, SFM, JPS), pp. 144–155.
HPDC-2004-WengACKNS #approach #automation: An Approach for Automatic Data Virtualization (LW, GA, ÜVÇ, TMK, SN, JHS), pp. 24–33.
HPDC-2004-ZhaoZF #distributed #file system #grid #virtual machine: Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
OSDI-2004-LevasseurUSG #dependence #reuse #virtual machine: Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
DAC-2003-SehgalIKC #multi #reduction #using: Test cost reduction for SOCs using virtual TAMs and lagrange multipliers (AS, VI, MDK, KC), pp. 738–743.
DATE-2003-BriniBC #architecture #communication #flexibility #framework: A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems (SB, DB, FC), pp. 20164–20169.
DATE-2003-LangeK #configuration management #design #embedded #framework #hardware: Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems (SL, UK), pp. 10302–10309.
DATE-2003-RaoO #design: Virtual Compression through Test Vector Stitching for Scan Based Designs (WR, AO), pp. 10104–10109.
VLDB-2003-ChenL #named #web: VIPAS: Virtual Link Powered Authority Search in the Web (CCL, MSC), pp. 381–392.
ICSM-2003-Kajko-Mattsson #enterprise: Infrastructures of Virtual IT Enterprises (MKM), pp. 199–208.
ICSM-2003-KojuTD #testing #virtual machine: Regression Test Selection based on Intermediate Code for Virtual Machines (TK, ST, ND), p. 420–?.
PLDI-2003-ErtlG #branch #optimisation #predict #virtual machine: Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.
CHI-2003-EverittKLL #collaboration #design #distributed #physics: Two worlds apart: bridging the gap between physical and virtual media for distributed design collaboration (KE, SRK, RL, JAL), pp. 553–560.
CHI-2003-GarauSVBSS #communication #quality: The impact of avatar realism and eye gaze control on perceived quality of communication in a shared immersive virtual environment (MG, MS, VV, AB, AS, MAS), pp. 529–536.
CAiSE-2003-AntonellisMPP #strict: A Methodology for e -Service Substitutability in a Virtual District Environment (VDA, MM, BP, PP), pp. 552–567.
EDOC-2003-DimitrakosDMJP #assessment #contract #performance: Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.
ICEIS-v1-2003-MontesiT #query: Imprecision Based Queries Over Materialized and Virtual Integrated Views (DM, AT), pp. 407–413.
ICEIS-v2-2003-OkuharaSMIN: Application of Group Method of Data Handling to Virtual Environment Simulator (KO, WS, YM, HI, TN), pp. 545–548.
ICEIS-v3-2003-Kulakov: Augmentation of Virtual Object to Real Environment (FK), pp. 609–614.
ICEIS-v4-2003-Skaf-MolliMOGRR #enterprise #framework: Toxic Farm: A Cooperative Management Platform for Virtual Teams and Enterprises (HSM, PM, GO, CG, PR, FAR), pp. 348–356.
OOPSLA-2003-EeckhoutGB #architecture #how #java #source code #virtual machine: How java programs interact with virtual machines at the microarchitectural level (LE, AG, KDB), pp. 169–186.
GPCE-2003-Danvy #compilation #virtual machine: A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
SAC-2003-FrumentoBG #community #design #web: Echo-Cardiography on the Web: Design and Set-Up of a Virtual Community of Experts (EF, EB, LG), pp. 240–245.
HPDC-2003-ChaseIGMS #clustering #grid: Dynamic Virtual Clusters in a Grid Site Manager (JSC, DEI, LEG, JDM, SS), pp. 90–103.
LCTES-2003-ShaylorSB #architecture #java #virtual machine: A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
SOSP-2003-BarhamDFHHHN: Xen and the art of virtualization (PB, BD, KF, SH, TLH, AH, RN, IP, AW), pp. 164–177.
SOSP-2003-GarfinkelPCRB #framework #named #virtual machine: Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
DATE-2002-PaulT #approach #modelling #virtual machine: A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems (JMP, DET), pp. 522–528.
ITiCSE-2002-Chalk #aspect-oriented #education #human-computer #learning: Evaluating the use of a virtual learning environment for teaching aspects of HCI (PC), pp. 125–129.
ITiCSE-2002-ClearF #3d #java: Avatars in cyberspace: a Java 3D application to support formation of virtual groups (TC, GF), p. 222.
ITiCSE-2002-FabregaMJM #learning #network: A virtual network laboratory for learning IP networking (LF, JM, TJ, DM), pp. 161–164.
ITiCSE-2002-HoldfeldtKLOPSV #algorithm #distributed #education #named #visualisation: EnViDiA: an educational environment for visualization of distributed algorithms in virtual environments (PH, BK, CL, TO, WP, JS, LV), p. 226.
ITiCSE-2002-MalmiKS #assessment #automation #case study #design #experience: Experiences in automatic assessment on mass courses and issues for designing virtual courses (LM, AK, RS), pp. 55–59.
WCRE-2002-TrogerC #analysis: Analysis of Virtual Method Invocation for Binary Translation (JT, CC), p. 65–?.
FME-2002-MarinovK #named #relational: VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
FME-2002-OheimbN #hoare #logic #revisited: Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.
CHI-2002-CockburnM #2d #3d #effectiveness #memory management #physics: Evaluating the effectiveness of spatial memory in 2D and 3D physical and virtual environments (AC, BJM), pp. 203–210.
CHI-2002-PierceP #feedback: Comparing voodoo dolls and HOMER: exploring the importance of feedback in virtual environments (JSP, RFP), pp. 105–112.
CHI-2002-ZhaiSA #learning: Movement model, hits distribution and learning in virtual keyboarding (SZ, AES, JA), pp. 17–24.
CSCW-2002-KrautGF #development #visual notation: The use of visual information in shared visual spaces: informing the development of virtual co-presence (REK, DG, SRF), pp. 31–40.
AdaEurope-2002-Ferscha #named #physics: Contextware: Bridging Physical and Virtual Worlds (AF), pp. 51–64.
ICEIS-2002-AminP #enterprise #workflow: Inter-Organizational Workflow Management in Virtual Healthcare Enterprises (TA, HKP), pp. 799–802.
ICEIS-2002-ChenS #e-commerce #web: Virtual Mall of E-Commerce Web Sites (MFC, MKS), pp. 908–914.
ICEIS-2002-GusikhinKRACM #artificial reality #assembly: Virtual Reality Web-Based Environment for Workcell Planning in an Automotive Assembly (OYG, EK, GR, CA, GC, TM), pp. 263–268.
ICEIS-2002-XiaoouP #enterprise #xml: An XML-Based Virtual Patient Records System for Healthcare Enterprises (ZX, HKP), pp. 203–209.
ICPR-v1-2002-KubotaA #generative #image #linear: Virtual View Generation by Linear Processing of Two Differently Focused Images (AK, KA), pp. 504–507.
ICPR-v2-2002-AlhichriK #image #using: Image Registration Using Virtual Circles and Edge Direction (HSA, MK), pp. 969–972.
ICPR-v3-2002-BernierPLS #approach #interactive #modelling: Interaction-Centric Modelling for Interactive Virtual Worlds: The APIA Approach (FB, DP, DL, MS), pp. 1007–1010.
ICPR-v3-2002-MizunoOTY: Improvement of the Virtual Printing Scheme for Synthesizing Ukiyo-e (SM, MO, JiT, SY), p. 1043–?.
ICPR-v3-2002-ZotkinDDMR #parametricity #using #visual notation: Virtual Audio System Customization Using Visual Matching of Ear Parameters (DNZ, RD, LSD, AM, VCR), pp. 1003–1006.
SEKE-2002-BalzarottiGM #configuration management #peer-to-peer: Supporting configuration management for virtual workgroups ini a peer-to-peer setting (DB, CG, MM), pp. 507–511.
ECOOP-2002-CzajkowskiDN #virtual machine: Code Sharing among Virtual Machines (GC, LD, NN), pp. 155–177.
SAC-2002-KomuraKS #named: NiceMeetVR: facing professional baseball pitchers in the virtual batting cage (TK, AK, YS), pp. 1060–1065.
SAC-2002-MartinezDF #documentation #evolution #generative: A method for the dynamic generation of virtual versions of evolving documents (MMM, JCD, PdlF), pp. 476–482.
ASPLOS-2002-LevisC #named #network #virtual machine: Maté: a tiny virtual machine for sensor networks (PL, DEC), pp. 85–95.
HPCA-2002-JamiesonB #clustering #concurrent #memory management #named #thread: CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.
HPDC-2002-DeelmanKMMPBELWK #grid: GriPhyN and LIGO, Building a Virtual Data Grid for Gravitational Wave Scientists (ED, CK, GM, LM, LP, KB, PE, AL, RW, SK), p. 225–?.
HPDC-2002-JagatheesanMRZ: Virtual Services in Data Grids (AJ, RM, AR, BZ), p. 420.
OSDI-2002-DunlapKCBC #analysis #named: ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (GWD, STK, SC, MAB, PMC), pp. 211–224.
OSDI-2002-SapuntzakisCPCLR #migration #optimisation: Optimizing the Migration of Virtual Computers (CPS, RC, BP, JC, MSL, MR), pp. 377–390.
VMCAI-2002-BartheDJS #virtual machine: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
DAC-2001-Qu #component #detection: Publicly Detectable Techniques for the Protection of Virtual Components (GQ), pp. 474–479.
DATE-2001-RonaK #modelling #using: Modelling SoC devices for virtual test using VHDL (MR, GK), pp. 770–771.
ICDAR-2001-EtoS #network #recognition #using: Mathematical Formula Recognition Using Virtual Link Network (YE, MS), pp. 762–767.
VLDB-2001-BrownG #image #prototype #retrieval: A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space (LB, LG), pp. 693–694.
VLDB-2001-TanSHCR #realtime #scalability: Walking Through a Very Large Virtual Environment in Real-time (LS, JC, ZH, YR, KLT), pp. 401–410.
ITiCSE-2001-Chalk #learning: Scaffolding learning in virtual environments (PC), pp. 85–88.
ITiCSE-2001-ClearD #effectiveness #question: A cyber-icebreaker for an effective virtual group? (TC, MD), pp. 121–124.
ITiCSE-2001-Impagliazzo: Real and virtual computing museums (JI), p. 185.
IWPC-2001-MaleticMDL #artificial reality #object-oriented #visualisation: Visualizing Object-Oriented Software in Virtual Reality (JIM, AM, GD, JL), pp. 26–35.
PASTE-2001-KadayifCKVIS #energy #named: vEC: virtual energy counters (IK, TC, MTK, NV, MJI, AS), pp. 28–31.
PASTE-2001-MaessenSG #java #program analysis #safety #virtual machine: Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.
STOC-2001-GuptaKKRY #design #multi #network #problem: Provisioning a virtual private network: a network design problem for multicommodity flow (AG, JMK, AK, RR, BY), pp. 389–398.
FLOPS-2001-ChoiLH #compilation #functional #java #lazy evaluation #source code #virtual machine: Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.
CHI-2001-BersGD #community: Identity construction environments: supporting a virtual therapeutic community of pediatric patients undergoing dialysis (MUB, JGH, DRD), pp. 380–387.
CHI-2001-CravenTDPGBFBJLH: Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds (MPC, IT, AD, JP, CG, SB, MF, JB, KMJA, BL, MH), pp. 30–37.
CHI-2001-MasonWLM: Reaching movements to augmented and graphic objects in virtual environments (AHM, MAW, EJL, CLM), pp. 426–433.
ICEIS-v1-2001-Smirnov #concept #constraints #information management #network: Ontology-Drive Virtual Production Network Configuration: A Concept and Constraint-Object-Oriented Knowledge Management (AVS), pp. 345–352.
ICEIS-v1-2001-ThorntonR #artificial reality #data mining #mining #network #using: Using Virtual Reality Data Mining for Network Management (KEBT, CR), pp. 340–344.
ICEIS-v2-2001-MolliSGRSV #network: Integrating Network Services for Virtual Teams (PM, HSM, CG, PR, RS, VV), pp. 1034–1039.
ICEIS-v2-2001-Rak #design #development #tool support: Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
LSO-2001-VossRMJ #collaboration #data mining #enterprise #mining: Collaboration Support for Virtual Data Mining Enterprises (AV, GR, SM, AJ), pp. 83–95.
SEKE-2001-SeguraAIMA #design #development: Design Task in Virtual Environments Development (MISS, AdA, RI, GM, AdAS), pp. 317–320.
OOPSLA-2001-CzajkowskiD #evolution #multi #virtual machine: Multitasking without Compromise: A Virtual Machine Evolution (GC, LD), pp. 125–138.
OOPSLA-2001-RiehleFBO #architecture #uml #virtual machine: The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
TOOLS-USA-2001-KimovskiTD #resource management: Virtual Laboratory-Agent-Based Resource Sharing System (GK, VT, DD), pp. 89–99.
PPDP-2001-NassenCS #prolog #virtual machine: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
RE-2001-WinterDC #modelling #requirements #validation: Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.
SAC-2001-Jeng #framework #towards: Towards a universal service-computing platform via virtual service machine (JJJ), pp. 663–667.
SAC-2001-OkadaTY #collaboration #distributed #education: Distributed virtual environment realizing collaborative environment education (MO, HT, TY), pp. 83–88.
SAC-2001-XiangFY #approach #behaviour #component #fuzzy #network #prototype: A fuzzy neural network approach to model component behavior for virtual prototyping of hydraulic system (WX, SCF, FFY), pp. 482–483.
ICSE-2001-LoCPC #component #documentation #named #xml: XAS: A System for Accessing Componentized, Virtual XML Documents (MLL, SKC, SP, JYC), pp. 493–502.
CC-2001-Madsen #implementation: Virtual Classes and Their Implementation (OLM), pp. 1–2.
HPCA-2001-QiuD #memory management #towards: Towards Virtually-Addressed Memory Hierarchies (XQ, MD), pp. 51–62.
HPDC-2001-FigueiredoKF #distributed #file system #grid: The PUNCH Virtual File System: Seamless Access to Decentralized Storage Services in a Computational Grid (RJOF, NHK, JABF), p. 334–?.
DAC-2000-PaulPT #hardware #modelling #virtual machine: A codesign virtual machine for hierarchical, balanced hardware/software system modeling (JMP, SNP, DET), pp. 390–395.
DATE-2000-DalpassoBBF #design #distributed #fault #simulation: Virtual Fault Simulation of Distributed IP-Based Designs (MD, AB, LB, MF), pp. 99–103.
HT-2000-MogensenG #3d #hypermedia #towards: Hypermedia in the virtual project room — toward open 3D spatial hypermedia (PM, KG), pp. 113–122.
CSEET-2000-DrummondB #development #re-engineering #student: The Development and Trial of SEGWorld: A Virtual Environment for Software Engineering Student Group Work (SD, CB), p. 87–?.
CHI-2000-IsbisterNIN #design #interactive: Helper agent: designing an assistant for human-human interaction in a virtual meeting space (KI, HN, TI, CN), pp. 57–64.
CHI-2000-KolevaSBG #interface: Traversable interfaces between real and virtual worlds (BK, HS, SB, CG), pp. 233–240.
CHI-2000-PatrickCSRVC #artificial reality #scalability #using: Using a large projection screen as an alternative to head-mounted displays for virtual environments (EP, DC, AS, JAR, TV, GC), pp. 478–485.
CHI-2000-TanriverdiJ #eye tracking: Interacting with eye movements in virtual environments (VT, RJKJ), pp. 265–272.
CHI-2000-WangM #constraints #visual notation: The role of contextual haptic and visual constraints on object manipulation in virtual environments (YW, CLM), pp. 532–539.
ICEIS-2000-BritoNN: Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organisations (LB, PN, JN), pp. 395–401.
ICEIS-2000-HeathC #communication #mobile #multi: Application of a Virtual Connection Tree over Multiple Access Techniques for 3G Mobile Communication Systems (AH, RAC), pp. 531–532.
ICEIS-2000-KreplinRS #enterprise: Real Supply Chains and Virtual Enterprises (KDK, DMR, HS), pp. 455–460.
ICPR-v1-2000-HaindlHZ #automation #modelling: Automatic Acquisition of Planar-Faced Virtual Models (MH, VH, PZ), pp. 1987–1990.
ICPR-v1-2000-LaoWLO: Creating Virtual Walkthrough Environment from Vertical Panoramic Mosaic (TkL, KhW, KsL, SHO), pp. 1575–1578.
ICPR-v1-2000-SegenKG #interface #visual notation: Visual Interface for Conducting Virtual Orchestra (JS, SK, JG), pp. 1276–1279.
ICPR-v1-2000-TerazonoMI #representation: Shadow Representation of Image-Based Objects in Virtual Space (KT, YM, SI), pp. 5003–5006.
ICPR-v1-2000-YiW #3d #recognition: 3D Artificial Objects Recognition under Virtual Environment (MY, PSPW), pp. 1995–1998.
ICPR-v3-2000-DrosopoulosXD: Optical Camera Tracking in Virtual Studios: Degenerate Cases (AID, YX, AD), pp. 7126–7129.
ICPR-v3-2000-HoshinoSY #automation #image #sequence: Automatic Registration of Virtual Objects onto Human Image Sequences (JH, HS, MY), pp. 3175–3177.
ICPR-v4-2000-MizunoKYOT #automation #generative: Automatic Generation of Woodblocks for Virtual Printing (SM, TK, SY, MO, JiT), pp. 4459–4462.
ICPR-v4-2000-OhbaOTRDTKK #artificial reality #realtime: Real-Time Micro Environmental Observation with Virtual Reality (KO, JCPO, KT, GR, RD, YT, TK, NK), pp. 4487–4490.
ICPR-v4-2000-PingaliOJ: Ball Tracking and Virtual Replays for Innovative Tennis Broadcasts (GSP, AO, YJ), pp. 4152–4156.
ICPR-v4-2000-SekiguchiE #generative #performance: Generating the Human Piano Performance in Virtual Space (HS, SE), pp. 4477–4481.
ICPR-v4-2000-ShimamuraTYY #image #modelling #using: Construction and Presentation of a Virtual Environment Using Panoramic Stereo Images of a Real Scene and Computer Graphics Models (JS, HT, NY, KY), pp. 4463–4467.
ICPR-v4-2000-TakahashiKIS #image #using: Expanding Possible View Points of Virtual Environment Using Panoramic Images (TT, HK, KI, MS), pp. 4468–4472.
OOPSLA-2000-Czajkowski #java #virtual machine: Application isolation in the Java^TM Virtual Machine (GC), pp. 354–366.
OOPSLA-2000-SundaresanHRVLGG #java: Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
TOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #java #virtual machine: A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
TOOLS-EUROPE-2000-GerodolleTG #approach #middleware #scalability: A Middleware Approach for Building Large-Scale Open Shared Virtual Worlds (AG, FDT, LGB), pp. 169–180.
TOOLS-USA-2000-TrajkovicDKP: Web-Based Virtual Classroom (VT, DD, GK, ZP), p. 137–?.
SAC-2000-BonfigliCG: Nu.M.E.: a WWW Virtual Historic Museum of the City of Bologna (MEB, LC, AG), pp. 956–961.
SAC-2000-DenehyJ #c++ #java #parallel #virtual machine: Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SAC-2000-Ionescu #memory management #multi #realtime: Application-Level Virtual Memory Management in Real-Time Multiprocessor Systems (FI), pp. 610–614.
SAC-2000-KirnerM #artificial reality #development #using #visualisation: Development of an Information Visualization Tool Using Virtual Reality (TGK, VFMS), pp. 604–606.
SAC-2000-KrishnamoorthyS #transaction #workflow: Virtual Transaction Model to Support Workflow Applications (VK, MCS), pp. 876–881.
SAC-2000-LiSBH #network #process: Capturing and Indexing Computer-based Activities With Virtual Network Computing (SFL, MDS, JB, AH), pp. 601–603.
CC-2000-HoogerbruggeA #java #pipes and filters #virtual machine: Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
HPDC-2000-RenambotBGS #artificial reality #framework #named: CAVEStudy: An Infrastructure for Computational Steering in Virtual Reality Environments (LR, HEB, DG, HJWS), pp. 239–246.
LICS-2000-EmersonHT #reduction #symmetry: Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
DAC-1999-DalpassoBB #design #distributed #simulation: Virtual Simulation of Distributed IP-based Designs (MD, AB, LB), pp. 50–55.
DATE-1999-AgaesseL #component: Virtual Components Application and Customization (JFA, BL), pp. 726–727.
DATE-1999-Seepold #component #reuse: Reuse of IP and virtual components (RS).
ITiCSE-1999-Faltin #algorithm #design #game studies #learning: Designing courseware on algorithms for active learning with virtual board games (NF), pp. 135–138.
ITiCSE-1999-SkrzypekW #empirical #named: KOMBIZ97 — virtual lab experiment (JS, TW), p. 204.
IWPC-1999-KnightM #comprehension #visualisation: Comprehension with[in] Virtual Environment Visualisations (CK, MM), pp. 4–11.
CHI-1999-LindemanSH #empirical #towards #user interface: Towards Usable VR: An Empirical Study of User Interfaces for Immersive Virtual Environments (RWL, JLS, JKH), pp. 64–71.
CHI-1999-Vinson #design #guidelines #navigation: Design Guidelines for Landmarks to Support Navigation in Virtual Environments (NGV), pp. 278–285.
CHI-1999-WangM #matter: Object Manipulation in Virtual Environments: Relative Size Matters (YW, CLM), pp. 48–55.
CHI-1999-WantFGH #physics: Bridging Physical and Virtual Worlds with Electronic Tags (RW, KPF, AG, BLH), pp. 370–377.
HCI-CCAD-1999-AttreeRB #artificial reality #assessment #memory management: Virtual reality in assessment and rehabilitation of impaired memory following brain damage (EAA, FDR, BMB), pp. 1100–1104.
HCI-CCAD-1999-BoschianLDMJ #artificial reality #how #people #question: How can people with disabilities navigate in virtual reality with an input device they can use? (KB, AL, RCD, UM, GJ), pp. 1111–1115.
HCI-CCAD-1999-BoyerVKW #internet: Virtual clubs: timeout on the internet (DGB, MV, AK, SW), pp. 452–456.
HCI-CCAD-1999-BrownS #development #education #learning #people: An illustrated methodology for the development of virtual learning environments for use by people in special needs education (DJB, DSS), pp. 1105–1110.
HCI-CCAD-1999-BussMR #3d #chat #communication #distributed: Advantages and disadvantages of a 3D virtual environment for supporting informal communication in distributed workgroups compared with a text-chat and a chat/cam system (RB, LM, DR), pp. 512–516.
HCI-CCAD-1999-Chen #design #navigation #social: The StarWalker virtual environment — an integrative design for social navigation (CC), pp. 207–211.
HCI-CCAD-1999-ElzerK #visualisation: Visualization of scientific information in a virtual information space (PFE, UK), pp. 122–126.
HCI-CCAD-1999-GermannBO #artificial reality: Assisting individuals with disabilities through the use of virtual reality technologies (CG, JKB, POJ), pp. 952–956.
HCI-CCAD-1999-HafH #community #named #online: VR-shopland: online shopping in a virtual world as community event (AH, AH), pp. 1167–1171.
HCI-CCAD-1999-HickeyKA #distributed #mobile #using: Mobile virtual participation in a distributed meeting using an omni-directional camera system (SH, KK, SA), pp. 533–537.
HCI-CCAD-1999-HirotaK: Virtual elasticity (KH, TK), pp. 1040–1043.
HCI-CCAD-1999-HorneckerR: Vocational training with combined real/virtual environments (EH, BR), pp. 730–734.
HCI-CCAD-1999-IacucciSW: Building the premise of a virtual organization: obstacles and enabling conditions (GI, OS, VW), pp. 487–491.
HCI-CCAD-1999-IshiiTY #design #interface: User-interface design of the support system for constructing virtual environment (HI, TT, HY), pp. 1182–1186.
HCI-CCAD-1999-KernB #case study #experience #interface: Experiences with interfaces for virtual environments in the field of engineering (PK, RB), pp. 696–700.
HCI-CCAD-1999-Kim: Cooperative tele-operation in virtual environment (SJK), pp. 598–603.
HCI-CCAD-1999-Loftin #human-computer #interactive: Human-Computer Interactions in shared virtual environments (RBL), pp. 1120–1123.
HCI-CCAD-1999-MaidaNM #using: Effects on training using illumination in virtual environments (JM, JN, KM), pp. 1124–1128.
HCI-CCAD-1999-MasoodianC #design #people: User-centred design of a virtual meeting environment for ordinary people (MM, BC), pp. 528–532.
HCI-CCAD-1999-MatsuuraSM #communication #named #visual notation: HiQIS: a networked virtual environment for visual communication (NM, SS, SM), pp. 588–592.
HCI-CCAD-1999-MocciaB #artificial reality #flexibility: A flexible environment for virtual reality applications (VM, AB), pp. 1085–1089.
HCI-CCAD-1999-MoriKSO #behaviour: A computer-augmented office environment: integrating virtual and real world objects and behavior (HM, TK, ES, YO), pp. 1065–1069.
HCI-CCAD-1999-Nishida #community #evolution: Facilitating community knowledge evolution by talking virtualized egos (TN), pp. 437–441.
HCI-CCAD-1999-NisslerMH #3d #classification #design #how: How to get the right outfit for my agent? Classification — and design methodology for a virtual shopping assistant in a 3D world (JN, JM, AH), pp. 162–166.
HCI-CCAD-1999-Pederson #design #information management #physics: Physical-virtual instead of physical or virtual — designing artefacts for future knowledge work environments (TP), pp. 1070–1074.
HCI-CCAD-1999-RizzoBNCRLKKTH #bibliography #process: Virtual environments for targeting cognitive processes: an overview of projects at the University of Southern California (AAR, JGB, UN, CC, AvR, PL, KK, CK, MT, LH), pp. 1095–1099.
HCI-CCAD-1999-SuterKP #enterprise #towards: Towards an intelligent marketspace for virtual enterprises (BS, GK, ARP), pp. 1157–1161.
HCI-CCAD-1999-ThomaHH #3d #navigation #usability: Usability and navigation in virtual 3D worlds (VT, AH, AH), pp. 1049–1054.
HCI-CCAD-1999-WagnerBMS #architecture #collaboration #design: Spaces for creating context & awareness — designing a collaborative virtual work space for (landscape) architects (IW, MB, PM, DS), pp. 283–287.
HCI-CCAD-1999-WainwrightL #integration: Virtual vertical integration as a strategy for agility (CEW, PGL), pp. 1245–1249.
HCI-CCAD-1999-WatanabeO #analysis #communication #interactive #synthesis: Virtual face-to-face communication system for human interaction analysis by synthesis (TW, MO), pp. 182–186.
HCI-CCAD-1999-WoolfordMCPAW #artificial reality #comparison #multi #self: Comparison of multimedia and virtual reality for self-training (BW, JM, CC, AP, JAA, MW), pp. 1116–1119.
HCI-CCAD-1999-YuCK #approximate #multi #using: Dynamic event filtering technique using multi-level path approximation in a shared virtual environment (SJY, YCC, KK), pp. 583–587.
HCI-EI-1999-HowarthH #maintenance #simulation: The Maintenance of Habituation to Virtual Simulation Sickness (PAH, KJH), pp. 137–141.
HCI-EI-1999-MaggioniR #case study #experience #novel #user interface: Virtual Touchscreen — a novel User Interface made of Light — Principles, metaphors and experiences (CM, HR), pp. 301–305.
HCI-EI-1999-RamseyNC #artificial reality: Virtual Reality Induced Symptoms and Effects (VRISE) in Four Different Virtual Reality Display Conditions (AR, SN, SC), pp. 142–146.
HCI-EI-1999-SchneiderS: Virtual Tactile Maps (JS, TS), pp. 531–535.
HCI-EI-1999-Zerweck #multi: Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.
EDOC-1999-AndreoliAPRVW #framework #named: CLF/Mekano: a framework for building virtual-enterprise applications (JMA, DA, FP, MR, JYVD, JW), pp. 183–192.
EDOC-1999-OldevikA #architecture #enterprise: ODP-modelling of virtual enterprises with supporting engineering architecture (JO, JØA), pp. 172–182.
ICEIS-1999-CarvalhoPJ #java #logic programming #prolog #virtual machine: NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
ICEIS-1999-CharltonGLN #automation #generative #process: Maximising the Benefits of Electronic Commerce: Automating the Process of Virtual Store Generation & Marketing for SMEs (CCC, JG, JL, IN), pp. 599–605.
ICEIS-1999-Fox #challenge #enterprise #perspective: The Challenge of Making Enterprises Virtual: An AI Perspective (MSF), p. IV.
ACIR-1999-DoanB #concept #documentation: Virtual WWW Documents: a Concept to Explicit the Structure of WWW Sites (BLD, MB).
ECOOP-1999-DetlefsA: Inlining of Virtual Methods (DD, OA), pp. 258–278.
ECOOP-1999-IgarashiP: Foundations for Virtual Types (AI, BCP), pp. 161–185.
ECOOP-1999-ThorupT: Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.
OOPSLA-1999-Madsen #analysis #semantics: Semantic Analysis of Virtual Classes and Tested Classes (OLM), pp. 114–131.
TOOLS-EUROPE-1999-MensWD #architecture #classification #using: Declaratively Codifying Software Architectures Using Virtual Software Classifications (KM, RW, TD), pp. 33–45.
TOOLS-USA-1999-Ramakrishnan #community #distributed #education #learning #testing #visualisation: Visualizing O-O Testing in Virtual Communities — Distributed Teaching and Learning (SR), p. 300–?.
PPDP-1999-LopesSV #calculus #process #virtual machine: A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
POPL-1999-Yelland #composition #java #virtual machine: A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
SAC-1999-HuizingaA #file system #mobile: Mobile File System Support with Virtual Device Drivers (DMH, CA), pp. 373–381.
SAC-1999-JacksonTW #artificial reality #collaboration #education #multi: Peer Collaboration and Virtual Environments: A Preliminary Investigation of Multi-Participant Virtual Reality Applied in Science Education (RLJ, WT, WW), pp. 121–125.
CC-1999-RubinBR #data type #recursion: Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures (SR, DB, MR), pp. 259–273.
OSDI-1999-WangAP #file system #programmable: Virtual Log Based File Systems for a Programmable Disk (RYW, TEA, DAP), pp. 29–43.
PPoPP-1999-MainwaringC #challenge #communication #design #network #performance: Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.
SOSP-1999-DudaC #scheduling #thread: Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
SOSP-1999-GovilTHR #clustering #multi #resource management #using: Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors (KG, DT, YH, MR), pp. 154–169.
SOSP-1999-SirerGGB #design #distributed #implementation #virtual machine: Design and implementation of a distributed virtual machine for networked computers (EGS, RG, AJG, BNB), pp. 202–216.
DAC-1998-KimCLLPK #functional #modelling: Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
ITiCSE-1998-Carswell #internet #paradigm #question #towards: The “Virtual University”: toward an Internet paradigm? (LC), pp. 46–50.
ITiCSE-1998-FullerST: Virtual seminars — real networked results? (poster) (UF, JS, GT), p. 281.
ITiCSE-1998-Goldberg #artificial reality: Building a system in virtual reality with LearningWorks (AG), pp. 5–9.
ITiCSE-1998-JohnsonLHSFDM #collaboration #using: Virtual office hours using TechTalk, a Web-based mathematical collaboration tool (JRJ, YNL, TTH, TS, TF, SD, PM), pp. 130–133.
IWPC-1998-YoungM #artificial reality #visualisation: Visualizing Software in Virtual Reality (PY, MM), pp. 19–26.
PLDI-1998-AgesenDM #garbage collection #java #liveness #virtual machine: Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
CHI-1998-ReynardBGH #collaboration #quality #video: Awareness Driven Video Quality of Service in Collaborative Virtual Environments (GR, SB, CG, CH), pp. 464–471.
CHI-1998-Roberts #community #question: Are Newsgroups Virtual Communities? (TLR), pp. 360–367.
CSCW-1998-HindmarshFHBG #interactive: Fragmented Interaction: Establishing Mutual Orientation in Virtual Environments (JH, MF, CH, SB, CG), pp. 217–226.
CSCW-1998-ObataS #named: OfficeWalker: A Virtual Visiting System Based on Proxemics (AO, KS), pp. 1–10.
AdaEurope-1998-MilletB #java #migration #runtime #virtual machine: Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
EDOC-1998-BarryADHKWGLR #deployment #development #distributed #enterprise #named: NIIIP-SMART: an investigation of distributed object approaches to support MES development and deployment in a virtual enterprise (JB, MAI, TD, PH, JK, CW, CG, HL, RR), pp. 366–377.
EDOC-1998-GoldschmidtHL #enterprise #java: Exploiting Enterprise JavaBeans in the NIIIP virtual enterprise (AG, PH, JL), pp. 124–135.
ICPR-1998-GiacconeGJ #estimation #using: Creating virtual scenes using active contours and global motion estimation (PRG, DG, GAJ), pp. 1505–1507.
ICPR-1998-MasakiYKK #interactive #using #video: Interactive manipulation through augmented virtuality using processed video contents (TM, TY, YK, FK), pp. 1219–1222.
ICPR-1998-YouBH #image #parallel #realtime #recognition #virtual machine: Real-time object recognition: hierarchical image matching in a parallel virtual machine environment (JY, PB, SH), pp. 275–277.
ECOOP-1998-BruceOW #static typing: A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
ECOOP-1998-CordsenS #case study #experience #memory management #paradigm #using: Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms (JC, JN, WSP), pp. 285–306.
OOPSLA-1998-LiangB #java #virtual machine: Dynamics Class Loading in the Java Virtual Machine (SL, GB), pp. 36–44.
TOOLS-USA-1998-AldermanCJR #web: Web Based Virtual Oscilloscope for Underwater Acoustic Signals (DA, NC, TAJ, GER), pp. 182–193.
TOOLS-USA-1998-GavrilovskaTD #component #object-oriented #reuse: A Virtual Classroom Based on Reusable Object Oriented Components (AG, VT, DD), pp. 194–202.
TOOLS-USA-1998-Li #java #virtual machine: Java Virtual Machine — Present and Near Future (QL), p. 480.
ALP-PLILP-1998-Wakeling #compilation #functional #haskell #java #lazy evaluation #mobile #source code #virtual machine: Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
SAC-1998-LazanoM #query #using: Querying virtual videos using path and temporal expressions (RL, HM), pp. 248–252.
SAC-1998-Reitzner: Virtual synchronization: uncoupling synchronization annotations from synchronization code (SR), pp. 655–659.
ICSE-1998-MascarenhasKBK #analysis #artificial reality #modelling #petri net: Modeling and Analysis of a Virtual Reality System with Time Petri Nets (RM, DK, UAB, RVK), pp. 33–42.
ASPLOS-1998-MeterFH #adaptation #internet #named: VISA: Netstation’s Virtual Internet SCSI Adapter (RVM, GGF, SH), pp. 71–80.
HPCA-1998-GonzalezGV: Virtual-Physical Registers (AG, JG, MV), pp. 175–184.
HPDC-1998-RosuS #communication #coordination #distributed: Sender Coordination in the Distributed Virtual Communication Machine (MCR, KS), pp. 322–329.
HPDC-1998-ZhangSL #message passing #source code #using: Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
DAC-1997-HeinPK #prototype: RASSP Virtual Prototyping of DSP Systems (CH, JP, WK), pp. 492–497.
DAC-1997-PasseroneLCS #analysis #hardware #performance #prototype #trade-off: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis (CP, LL, MC, ALSV), pp. 389–394.
CSEET-1997-Mayr #education #enterprise #re-engineering: Teaching Software Engineering by Means of a “Virtual Enterprise” (HM), pp. 176–184.
ITiCSE-1997-Houle #programming: Ethics, programming, and virtual environments (MEH), pp. 91–93.
ITiCSE-1997-TheotokisGGP #data type #education #interactive #named: VIBDaST: a virtual interactive book as a data structures teaching aid (DT, GG, PG, GP), pp. 111–113.
ITiCSE-WGR-1997-DankelH97a: Virtual office hours (demonstration) (DDDI, JH), p. 147.
ITiCSE-WGR-1997-KukukaOT #education: Virtual school project for professional IT teachers in Latvia (poster) (AK, IO, DT), p. 151.
PEPM-1997-BeshersF #compilation #generative #partial evaluation #performance #using #visualisation: Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation (CB, SF), pp. 107–115.
IFL-1997-Wakeling #compilation #haskell #java #virtual machine: A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
CHI-1997-BenfordGL #collaboration: Crowded Collaborative Virtual Environments (SB, CG, DL), pp. 59–66.
HCI-CC-1997-FoxBBBB #design: Human Factors Techniques for Designing the Virtual Mission Operations Center (JAF, JB, RB, PB, MB), pp. 737–740.
HCI-CC-1997-ItohSY #using #visual notation: A Drawing Support System for the Visually Impaired Computer User Using a Virtual Sound Screen (KI, MS, YY), pp. 401–404.
HCI-SEC-1997-BaconS #3d #representation: Hybridization of Classical Documentary Techniques and Techniques of Three Dimensional Representation in Space: Dynamical Constitution of Virtual Scenes (JB, XS), pp. 925–928.
HCI-SEC-1997-DeisingerCRS #comparison #monitoring: The Effect of Different Viewing Devices for the Sense of Presence of Immersion in Virtual Environments: A Comparison of Stereoprojections Based on Monitors, HMDs and Screens (JD, CCN, OR, JS), pp. 881–884.
HCI-SEC-1997-DiZioL: Circumventing Side Effects of Immersive Virtual Environments (PD, JRL), pp. 893–896.
HCI-SEC-1997-Duffy97b: Issues for Integrating Virtual Teaming into the Organization (VGD), pp. 993–996.
HCI-SEC-1997-HirotaK #implementation: Implementation of Elastic Object in Virtual Environment (KH, TK), pp. 969–972.
HCI-SEC-1997-HondaKTOOM: A Virtual Office Environment for Supporting Informal Communications and Securing Personal Space (SH, TK, HT, TO, KiO, YM), pp. 909–912.
HCI-SEC-1997-KennedyS: Aftereffects of Virtual Environment Exposure: Psychometric Issues (RSK, KMS), pp. 897–900.
HCI-SEC-1997-KiyokawaTY #3d #design: Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.
HCI-SEC-1997-LaneA #artificial reality: Stereopsis and Motion Parallax Cues in Virtual Reality Control Applications (JCL, DLA), pp. 917–920.
HCI-SEC-1997-LawsonRGGM #challenge #human-computer #interface #using: The Human-Machine Interface Challenges of Using Virtual Environment (VE) Displays Aboard Centrifuge Devices (BDL, AHR, FEG, JDG, AMM), pp. 945–948.
HCI-SEC-1997-So #bibliography #image #industrial #predict: Lag Compensation by Image Deflection and Prediction: A Review on the Potential Benefits to Virtual Training Applications for Manufacturing Industry (RHYS), pp. 997–1000.
HCI-SEC-1997-SuLYFD #artificial reality #industrial #using: Industrial Training Using Virtual Reality (CJS, FL, LY, CMF, VGD), pp. 989–992.
HCI-SEC-1997-Sun #artificial reality: Data Input Devices and Application in Virtual Reality (HS), pp. 1001–1004.
HCI-SEC-1997-TanoNSTA #architecture #concept #design #user interface: Design Concept Based on Real-Virtual-Intelligent User Interface and its Software Architecture (ST, YN, HS, TT, HA), pp. 901–904.
HCI-SEC-1997-UchiyamaYKT #3d #geometry #interactive: Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.
HCI-SEC-1997-Wilson #industrial: Barriers to Industrial Application of Virtual Environments (JRW), pp. 985–988.
TRI-Ada-1997-ComarDG #java #virtual machine: Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
EDOC-1997-PreussSK #resource management: Virtual Private Resources (TP, JHS, HK), pp. 216–226.
ECOOP-1997-Thorup #java: Genericity in Java with Virtual Types (KKT), pp. 444–471.
OOPSLA-1997-ZendraCC #compilation #performance: Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
TOOLS-ASIA-1997-Diehl #modelling #object-oriented: VRML++: A Language for Object-Oriented Virtual-Reality Models (SD), pp. 141–150.
SAC-1997-Goldberg #learning: Virtual teams virtual projects = real learning (abstract only) (AG), p. 1.
SAC-1997-GudivadaBA #artificial reality #database #retrieval: A retrieval technique for virtual reality databases (VNG, JNB, RA), pp. 328–333.
HPDC-1997-TopcuogluHFVRKKBY #architecture #distributed: The Software Architecture of a Virtual Distributed Computing Environment (HT, SH, WF, JV, IR, DK, YK, XB, BY), pp. 40–49.
PPoPP-1997-JiangSS #memory management #multi #performance: Application Restructuring and Performance Portability on Shared Virtual Memory and Hardware-Coherent Multiprocessors (DJ, HS, JPS), pp. 217–229.
HT-1996-Dieberger #framework: Browsing the WWW by Interacting with a Textual Virtual Environment — A Framework for Experimenting with Navigational Metaphors (AD), pp. 170–179.
SIGMOD-1996-HullZ #framework #integration #using: A Framework for Supporting Data Integration Using the Materialized and Virtual Approaches (RH, GZ), pp. 481–492.
SAS-1996-PandeR #data flow: Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.
CHI-1996-BowersPO #collaboration: Talk and Embodiment in Collaborative Virtual Environments (JB, JP, JO), pp. 58–65.
CHI-1996-DarkenS #behaviour #scalability: Wayfinding Strategies and Behaviors in Large Virtual Worlds (RPD, JLS), pp. 142–149.
CHI-1996-GrahamM #physics: Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.
CHI-1996-RansonPKRMCSS #agile #physics: Rapid Scout: Bridging the Gulf Between Physical and Virtual Environments (DSR, ESP, DLK, GAR, MLM, JMC, ES, CSS), pp. 442–449.
CSCW-1996-Bharwani #bibliography #design #video: The MIT Design Studio of the Future: Virtual Design Review (Video Program) (SB), p. 10.
CSCW-1996-BowersOP: Practically Accomplishing Immersion: Cooperation in and for Virtual Environments (JB, JO, JP), pp. 380–389.
CSCW-1996-FitzpatrickKM #case study #physics #social: Physical Spaces, Virtual Places and Social Worlds: a Study of Work in the Virtual (GF, SMK, TM), pp. 334–343.
CSCW-1996-OlsonT #lessons learnt: Groupware in the Wild: Lessons Learned from a Year of Virtual Collocation (JSO, SDT), pp. 419–427.
CSCW-1996-SatoGS #concept #framework #named #video: Prairie: A Conceptual Framework for a Virtual Organization (Video Program) (SHS, AG, KSS), p. 8.
CSCW-1996-Smith #2d #lessons learnt #multi #user interface: Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces (GS), pp. 390–398.
ICPR-1996-MaseN: Computing the field-of-view of a stitched panorama to create for sensitive virtual environments (KM, HN), pp. 151–155.
ICPR-1996-MoriHTAK #3d #image #recognition: Recognition of bronchus in three-dimensional X-ray CT images with applications to virtualized bronchoscopy system (KM, JiH, JiT, HA, KK), pp. 528–532.
ECOOP-1996-AignerH #c++ #source code: Eliminating Virtual Function Calls in C++ Programs (GA, UH), pp. 142–166.
ECOOP-1996-KonoKM #distributed #implementation #memory management #using: An Implementation Method of Migratable Distributed Objects Using an RPC Technique Integrated with Virtual Memory Management (KK, KK, TM), pp. 295–315.
OOPSLA-1996-BaconS #c++ #performance #static analysis: Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
OOPSLA-1996-DriesenH #c++: The Direct Cost of Virtual Function Calls in C++ (KD, UH), pp. 306–323.
SAC-1996-KuhnB #c++ #optimisation: An enabling optimization for C++ virtual functions (BMK, DB), pp. 420–428.
ASPLOS-1996-ErlichsonNCH #clustering #distributed #memory management #named #performance: SoftFLASH: Analyzing the Performance of Clustered Distributed Virtual Shared Memory (AE, NN, GC, JLH), pp. 210–220.
ASPLOS-1996-LeeT #distributed #named: Petal: Distributed Virtual Disks (EKL, CAT), pp. 84–92.
HPCA-1996-IftodeDFL #automation #memory management #using: Improving Release-Consistent Shared Virtual Memory Using Automatic Update (LI, CD, EWF, KL), pp. 14–25.
HPCA-1996-Libeskind-HadasWH #fault tolerance #multi: Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels (RLH, KW, TH), pp. 180–190.
HPCA-1996-MullerSW #memory management #multi #thread: Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory (HLM, PWAS, DHDW), pp. 212–221.
HPDC-1996-FoxF #distributed #evolution #performance #towards #virtual machine #web: Towards Web/Java-Based High Performance Distributed Computing-an Evolving Virtual Machine (GF, WF), pp. 308–317.
HPDC-1996-HarrisonCGB #collaboration #development #process #simulation: Virtual Collaborative Simulation Environment for Integrated Product and Process Development (JPH, BC, MG, JB), pp. 19–22.
HPDC-1996-PapkaS #artificial reality #design #named: UbiWorld: An Environment Integrating Virtual Reality, Supercomputing and Design (MEP, RLS), pp. 306–307.
CSL-1996-DanosPR #reduction: Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
FPCA-1995-MiraniH: First-Class Schedules and Virtual Maps (RM, PH), pp. 78–85.
CHI-1995-BenfordBFGS #collaboration: User Embodiment in Collaborative Virtual Environments (SB, JB, LEF, CG, DS), pp. 242–249.
CHI-1995-GaverSO: A Virtual Window on Media Space (WWG, GS, KO), pp. 257–264.
CHI-1995-HillSRF #community #recommendation: Recommending and Evaluating Choices in a Virtual Community of Use (WCH, LS, MR, GWF), pp. 194–201.
CHI-1995-MastaglioW #development #scalability: User-Centered Development of a Large-Scale Complex Networked Virtual Environment (TWM, JW), pp. 546–552.
CHI-1995-StoakleyCP #artificial reality #interactive: Virtual Reality on a WIM: Interactive Worlds in Miniature (RS, MC, RFP), pp. 265–272.
ICML-1995-MaassW #learning #performance: Efficient Learning with Virtual Threshold Gates (WM, MKW), pp. 378–386.
HPCA-1995-BouraD #modelling: Modeling Virtual Channel Flow Control in Hypercubes (YMB, CRD), pp. 166–175.
SOSP-1995-CheritonD #memory management: Logged Virtual Memory (DRC, KJD), pp. 26–39.
HT-ECHT-1994-KaplanM #design #ontology: Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
CHI-1994-Strommen94a #interface: Children’s use of mouse-based interfaces to control virtual travel (ES), pp. 405–410.
CSCW-1994-FowlerBDKGLPG #abstraction #experience #hypermedia: Experience with the Virtual Notebook System: Abstraction in Hypertext (JF, DGB, RD, VK, HG, KBL, CP, GAG), pp. 133–143.
CSCW-1994-OkadaMIM #design #distance #multi #social: Multiparty Videoconferencing at Virtual Social Distance: MAJIC Design (KiO, FM, YI, YM), pp. 385–393.
CSCW-1994-SohlenkampC #communication: Integrating Communication, Cooperation, and Awareness: The DIVA Virtual Office Environment (MS, GC), pp. 331–343.
OOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language #virtual machine: Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
OOPSLA-1994-Vion-DuryS #distributed #image #interactive #object-oriented #visualisation: Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems (JYVD, MS), pp. 65–84.
SAC-1994-HughesWK #learning: Virtual space learning: creating text-based learning environments (BH, JW, BK), pp. 578–582.
HPDC-1994-RousselleTHF: The Virtual Computing Environment (PR, PT, SH, GF), pp. 7–14.
HPDC-1994-Stevens #multi: Multimedia Supercomputing: The Use of Supercomputers to Drive High-Performance Multimedia Systems and Virtual Environments (RS), p. 3.
ICDAR-1993-HochK #clustering #on the #recognition #scalability: On virtual partitioning of large dictionaries for contextual post-processing to improve character recognition (RH, TK), pp. 226–231.
PODS-1993-Gelder #estimation #multi: Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.
SIGMOD-1993-ShatdalN #memory management #parallel #using: Using Shared Virtual Memory for Parallel Join Processing (AS, JFN), pp. 119–128.
STOC-1993-AspnesAFPW #online #scheduling: On-line load balancing with applications to machine scheduling and virtual circuit routing (JA, YA, AF, SAP, OW), pp. 623–631.
FME-1993-Barrett #model checking: Model Checking in Practice — The T9000 Virtual Channel Processor (GB), pp. 129–147.
HCI-ACS-1993-WarneckeFW #artificial reality #human-computer #interactive: Virtual Reality for Improved Human-Computer Interaction in Robotics and Medicine (HJW, TF, MW), pp. 207–212.
HCI-SHI-1993-BarfieldW #concept #framework: The Sense of Presence within Virtual Environments: A Conceptual Framework (WB, SW), pp. 699–704.
HCI-SHI-1993-BauerR #development #interactive: New Techniques for Interaction in Virtual Worlds — Contents of Development and Examples (WB, OR), pp. 687–692.
HCI-SHI-1993-BenfordF #interactive: Awareness, Focus, and Aura: A Spatial Model of Interaction in Virtual Worlds (SB, LEF), pp. 693–698.
HCI-SHI-1993-EnomotoNNS #using: Virtual Kitchen System using Kansei Engineering (NE, MN, JN, KS), pp. 657–662.
HCI-SHI-1993-FujitaITFNW: Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.
HCI-SHI-1993-KamijoK #artificial reality #using: A Virtual Reality System Using Physiological Data — Application to Virtual Sports CAI (KK, AK), pp. 675–680.
HCI-SHI-1993-KatoDO: The Basic Study of Natural Operation in Virtual Space (NK, MD, AO), pp. 681–686.
HCI-SHI-1993-KishinoOTT #3d #detection #image #realtime: Virtual Space Teleconferencing System — Real Time Detection and Reproduction of 3-D Human Images (FK, JO, HT, NT), pp. 669–674.
INTERCHI-1993-CarlssonF #3d #tool support: Integrated CSCW tools within a shared 3D virtual environment (abstract) (CC, LEF), p. 513.
INTERCHI-1993-Staples #representation #user interface #visual notation: Representation in virtual space: visual convention in the graphical user interface (LS), pp. 348–354.
INTERCHI-1993-WareAB #artificial reality: Fish tank virtual reality (CW, KA, KSB), pp. 37–42.
AdaEurope-1993-MancusiTRSPB #architecture: Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures (RM, JLT, MR, ENS, MP, CLB), pp. 314–329.
TRI-Ada-1993-KermarrecP #ada #distributed #memory management: A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.
SEKE-1993-ZhangC #community #distributed #information management #paradigm: Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems (WRZ, MYC), pp. 207–214.
OOPSLA-1993-KruegerLVA #development #memory management #tool support: Tools for the Development of Application-Specific Virtual Memory Management (KK, DL, AV, TEA), pp. 48–64.
HPDC-1993-CrutcherLFZ #3d #network #using: Management of Broadband Networks Using a 3D Virtual World (LAC, AAL, SF, MXZ), pp. 306–315.
SOSP-1993-SatyanarayananMKSK #lightweight #memory management: Lightweight Recoverable Virtual Memory (MS, HHM, PK, DCS, JJK), pp. 146–160.
HT-ECHT-1992-Bolter #artificial reality #future of #hypermedia: Virtual Reality and the Future of Hypertext (JDB), p. 2.
HT-ECHT-1992-MuzzolonB #artificial reality: Virtual Reality: Present and Future (Demonstration) (PM, PB), p. 294.
LFP-1992-CooperNS #garbage collection #memory management #performance #using: Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management (EC, SN, IS), pp. 43–52.
CHI-1992-CodellaJKLLLRWNST #interactive #multi #simulation: Interactive simulation in a multi-person virtual world (CFC, RJ, LK, JBL, DTL, JSL, DAR, CPW, AN, PS, GT), pp. 329–334.
CHI-1992-ShawLGS #artificial reality #simulation: The decoupled simulation model for virtual reality systems (CDS, JL, MG, YS), pp. 321–328.
CSCW-1992-TakemuraK #using: Cooperative Work Environment Using Virtual Workspace (HT, FK), pp. 226–232.
SOSP-WIP-1991-Neumann92: The Virtual System Project (Abstract) (BCN), p. 17.
ASPLOS-1992-WheelerB #consistency: Consistency Management for Virtually Indexed Caches (BW, BNB), pp. 124–136.
IWMM-1992-SergentB #architecture #concurrent #garbage collection #incremental #memory management #multi #thread: Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures (TLS, BB), pp. 179–199.
HT-1991-BurgerMJL: The Virtual Notebook System (AMB, BDM, CPJ, KBL), pp. 395–401.
HT-1991-LongG #architecture #collaboration: The Virtual Notebook System: An Architecture for Collaborative Work (KBL, GAG), pp. 417–418.
CHI-1991-LewisKL: Dialogue structures for virtual worlds (JBL, LK, DTL), pp. 131–136.
CHI-1991-Pausch #artificial reality: Virtual reality on five dollars a day (RP), pp. 265–270.
CHI-1991-WenzelWK #locality: Localization with non-individualized virtual acoustic display cues (EMW, FLW, DJK), pp. 351–359.
ASPLOS-1991-AppelL #memory management #source code: Virtual Memory Primitives for User Programs (AWA, KL), pp. 96–107.
PODS-1990-SoparkarS #clustering: Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.
LFP-1990-FeeleyM #compilation #parallel #performance #virtual machine: A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
HT-1989-ShipmanCG #collaboration #distributed #hypermedia #research: Distributed Hypertext for Collaborative Research: The Virtual Notebook System (FMSI, RJC, GAG), pp. 129–135.
SIGMOD-1989-IoannidisS: Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.
OOPSLA-1989-MadsenM #object-oriented #programming: Virtual Classes: A Powerful Mechanism in Object-Oriented Programming (OLM, BMP), pp. 397–406.
OOPSLA-1989-RussoC #design #memory management #multi #object-oriented #operating system #using: Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques (VFR, RHC), pp. 267–278.
SOSP-1989-AbrossimovR #kernel #memory management #operating system: Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
STOC-1988-AggarwalC #algorithm #memory management: Virtual Memory Algorithms (Preliminary Version) (AA, AKC), pp. 173–185.
CSCW-1988-Hiltz #collaboration #learning: Collaborative Learning in a Virtual Classroom: Highlights of Findings (SRH), pp. 282–290.
DAC-1987-NylandDR: Improving Virtual-Grid Compaction Through Grouping (LSN, SWD, CDR), pp. 305–310.
ECOOP-1987-WilliamsWH #memory management #object-oriented: Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy (IW, MW, TH), pp. 79–88.
OOPSLA-1987-Lucco #parallel #programming: Parallel Programming in a Virtual Object Space (SL), pp. 26–34.
ASPLOS-1987-Goodman #multi: Coherency for Multiprocessor Virtual Address Caches (JRG), pp. 72–81.
ASPLOS-1987-RashidTYGBBBC #architecture #independence #memory management #multi: Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures (RFR, AT, MY, DBG, RVB, DLB, WJB, JC), pp. 31–39.
SOSP-1987-BirmanJ #distributed: Exploiting Virtual Synchrony in Distributed Systems (KPB, TAJ), pp. 123–138.
OOPSLA-1986-BhaskarPB #object-oriented #synthesis: Virtual Instruments: Object-Oriented Program Synthesis (KSB, JKP, JLB), pp. 303–314.
OOPSLA-1986-Kaehler #memory management #object-oriented: Virtual Memory on a Narrow Machine for an Object-Oriented Language (TK), pp. 87–106.
OOPSLA-1986-MittalBK #bound: Virtual Copies — At the Boundary Between Classes and Instances (SM, DGB, KMK), pp. 159–166.
SLP-1986-RossR86 #memory management #prolog: Paging Strategy for Prolog Based Dynamic Virtual Memory (MLR, KR), pp. 46–57.
DAC-1985-HillFL #effectiveness #generative #grid: Effective use of virtual grid compaction in macro-module generators (DDH, JPF, MDPL), pp. 777–780.
FPCA-1985-AbramskyS85 #named #programming #virtual machine: Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
SOSP-1985-FitzgeraldR #communication #integration #memory management: The Integration of Virtual Memory Management and Interprocess Communication in Accent (Abstract) (RPF, RFR), pp. 13–14.
DAC-1981-Weste #grid #layout: Virtual grid symbolic layout (NW), pp. 225–233.
SOSP-1981-CarrH #algorithm #effectiveness #memory management #named: WSClock — A Simple and Effective Algorithm for Virtual Memory Management (RWC, JLH), pp. 87–95.
SOSP-1981-LudererCHKM #distributed: A Distributed UNIX System Based on a Virtual Circuit Switch (GWRL, HC, JPH, PAK, WTM), pp. 160–168.
SOSP-1981-MeyrowitzM #adaptation #design #named: BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems (NKM, MM), pp. 180–189.
TFDA-1980-Dommergaard #ada #design #virtual machine: The Design of a Virtual Machine for Ada (OD), pp. 435–606.
SOSP-J-1979-CanonFHHMR80 #evaluation #performance #virtual machine: A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.
SOSP-1979-CanonFHHMR #evaluation #performance #summary #virtual machine: A Virtual Machine Emulator for Performance Evaluation (Summary) (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
SOSP-1979-LantzR #multi #process: Virtual Terminal Management in a Multiple Process Environment (KAL, RFR), pp. 86–97.
VLDB-1978-Litwin: Virtual Hashing: A Dynamically Changing Hashing (WL), pp. 517–523.
SIGMOD-1976-ShermanB #database #memory management #performance: Performance of a Data Base Manager in a Virtual Memory System (Abstract) (SWS, RSB), p. 31.
SOSP-1975-BagleyFHW #virtual machine: Sharing Data and Services in a Virtual Machine System (JDB, ERF, SCH, VW), pp. 82–88.
SOSP-1975-BelpaireN #architecture #recursion #virtual machine: Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
SOSP-1975-PopekK #architecture #case study #virtual machine: The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.
SOSP-1973-ChamberlinFL #memory management #multi: A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory (DDC, SHF, LYL), pp. 66–72.
SIGFIDET-1971-Bayer #memory management: Binary B-Trees for Virtual Memory (RB), pp. 219–235.
SOSP-1971-WinogradMH #memory management #operating system #simulation: Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.
SOSP-1969-BensoussanCD #memory management #multi: The multics virtual memory (AB, CTC, RCD), pp. 30–42.
SOSP-1967-DaleyD68 #memory management #multi #process: Virtual Memory, Processes, and Sharing in MULTICS (RCD, JBD), pp. 306–312.