BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
environ (178)
machin (149)
system (147)
use (114)
base (107)

Stem virtual$ (all stems)

1107 papers:

CASECASE-2015-HaufMPF #energy #modelling
Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASECASE-2015-TiengYC #precise #tool support
Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
DACDAC-2015-Engblom #integration #using
Virtual to the (near) end: using virtual platforms for continuous integration (JE), p. 6.
DACDAC-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.
DACDAC-2015-YangCK #design
Virtual flash chips: rethinking the layer design of flash devices to improve data recoverability (MCY, YHC, TWK), p. 6.
DATEDATE-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.
DATEDATE-2015-MirhosseiniSFMS #energy #network
An energy-efficient virtual channel power-gating mechanism for on-chip networks (AM, MS, AF, MM, HSA), pp. 1527–1532.
DATEDATE-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.
DATEDATE-2015-OhYM #android #compilation #virtual machine
Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
DATEDATE-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.
DATEDATE-2015-RamboE #analysis #communication #worst-case
Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.
DATEDATE-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.
VLDBVLDB-2015-DyresonBG #dependence #query
Virtual eXist-db: Liberating Hierarchical Queries from the Shackles of Access Path Dependence (CED, SSB, RG), pp. 1932–1943.
ITiCSEITiCSE-2015-Tudor #learning #optimisation #query #xml
Virtual Learning Laboratory about Query Optimization against XML Data (LNT), p. 348.
FMFM-2015-Lecomte #modelling #verification
Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
CHICHI-2015-GromalaTCKS #artificial reality
The Virtual Meditative Walk: Virtual Reality Therapy for Chronic Pain Management (DG, XT, AC, MK, CDS), pp. 521–524.
CHICHI-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.
CHICHI-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.
CHICHI-2015-TrinhRB #named
DynamicDuo: Co-presenting with Virtual Agents (HT, LR, TWB), pp. 1739–1748.
CSCWCSCW-2015-RinglandWDH
Making “Safe”: Community-Centered Practices in a Virtual World Dedicated to Children with Autism (KER, CTW, LD, GRH), pp. 1788–1800.
HCIDHM-EH-2015-PerestreloTNS #framework #modelling #simulation
Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
HCIDHM-EH-2015-RegazzoniRC #simulation
The Role of Virtual Ergonomic Simulation to Develop Innovative Human Centered Products (DR, CR, GC), pp. 74–83.
HCIDHM-EH-2015-ZhouYLXZ #analysis
Moment Analysis of Virtual Human Joint Based on JACK (QXZ, QY, ZQL, FX, SZ), pp. 100–109.
HCIDUXU-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.
HCIDUXU-UI-2015-AlacamAH #comprehension
Haptic Exploration Patterns in Virtual Line-Graph Comprehension (ÖA, CA, CH), pp. 403–414.
HCIDUXU-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.
HCIDUXU-UI-2015-BoonbrahmKSKB #3d #realtime #women
3D Real Time Virtual Fitting Room for Women (SB, CK, LS, PK, PB), pp. 162–171.
HCIDUXU-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.
HCIDUXU-UI-2015-LaiH #mobile
Virtual Touchpad for Cursor Control of Touchscreen Thumb Operation in the Mobile Context (YRL, TKPH), pp. 563–574.
HCIHCI-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.
HCIHCI-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.
HCIHCI-UC-2015-DarzentasBC #feedback #multimodal
Designed to Thrill: Exploring the Effects of Multimodal Feedback on Virtual World Immersion (DPD, MAB, NC), pp. 384–395.
HCIHCI-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.
HCIHIMI-IKC-2015-BanKNTH #interactive
Virtual Jizai-Ryu: Hi-Fidelity Interactive Virtual Exhibit with Digital Display Case (YB, TK, TN, TT, MH), pp. 397–408.
HCIHIMI-IKC-2015-KajitaTMI #3d #design #using
Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.
HCIHIMI-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.
HCIHIMI-IKC-2015-TanikawaOKNH
Virtual Bogie: Exhibition System to Understand Mechanism of Bogie with Digital Display Case (TT, HO, RK, TN, MH), pp. 634–645.
HCILCT-2015-HoffmannPLSMJ #learning #student
Enhancing the Learning Success of Engineering Students by Virtual Experiments (MH, LP, LL, KS, TM, SJ), pp. 394–405.
HCILCT-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.
HCILCT-2015-PhamNT #education #music #recognition
Virtual Music Teacher for New Music Learners with Optical Music Recognition (VKP, HDN, MTT), pp. 415–426.
HCISCSM-2015-BramanD #framework #personalisation
Utilizing Virtual Worlds for Personalized Search: Developing the PAsSIVE Framework (JB, CD), pp. 3–11.
HCISCSM-2015-Flor #3d #process
3D Virtual Worlds: An Ethnography of Key Artifacts and Processes (NVF), pp. 20–29.
CAiSECAiSE-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.
RecSysRecSys-2015-MarinhoTP #algorithm #question #recommendation
Are Real-World Place Recommender Algorithms Useful in Virtual World Environments? (LBM, CT, DP), pp. 245–248.
OnwardOnward-2015-PolitoDBFM #library
Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-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.
SACSAC-2015-BogoniPS #artificial reality #evaluation
Evaluation of a haptic virtual reality simulator for endodontics training (TNB, MSP, RS), pp. 267–269.
SACSAC-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.
SACSAC-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.
SACSAC-2015-KatsalisSPKT #network
Content placement in heterogeneous end-to-end virtual networks (KK, VS, TP, TK, LT), pp. 602–608.
SACSAC-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.
SACSAC-2015-PaakkonenP
The implications of disk-based RAID and virtualization for write-intensive services (PP, DP), pp. 2288–2291.
SACSAC-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.
ICSEICSE-v2-2015-ElliottPP #artificial reality #challenge #re-engineering
Virtual Reality in Software Engineering: Affordances, Applications, and Challenges (AE, BP, CP), pp. 547–550.
HPCAHPCA-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.
SOSPSOSP-2015-AmitTSAS #cpu #validation
Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.
ICSTICST-2015-KunzleW #development #testing
A Virtual Bank for Development and Testing (DK, CW), pp. 1–2.
CASECASE-2014-BiswasBN #design
Mechanism design for sustainable virtual power plant formation (SB, DB, YN), pp. 67–72.
CASECASE-2014-HuiM #assessment #performance #reduction
Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASECASE-2014-HungLHTC #development
Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASECASE-2014-LeeMXW #architecture #in the cloud #virtual machine
Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CASECASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-2014-RaoJDBDM #named #performance
VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
DACDAC-2014-RenMRZ #fault tolerance #network #using
Fault-tolerant Routing for On-chip Network Without Using Virtual Channels (PR, QM, XR, NZ), p. 6.
DATEDATE-2014-CongLYX #evaluation #prototype #testing #validation
Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-Thanner #lifecycle #prototype
Virtual prototype life cycle in automotive applications (MT), p. 1.
DATEDATE-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.
DATEDATE-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.
DocEngDocEng-2014-SarkisCD #multi #refactoring #web
The virtual splitter: refactoring web applications for themultiscreen environment (MS, CC, JCD), pp. 139–142.
HTHT-2014-TursiDR #artificial reality #named
AIRCacher: virtual geocaching powered with augmented reality (GT, MD, GR), pp. 330–332.
SIGMODSIGMOD-2014-DyresonBG #query #using
Querying virtual hierarchies using virtual prefix-based numbers (CED, SSB, RG), pp. 791–802.
SANERCSMR-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.
PLDIPLDI-2014-TorlakB #lightweight #virtual machine
A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
CHICHI-2014-AlzayatHN #metric #physics
Quantitative measurement of virtual vs. physical object embodiment through kinesthetic figural after effects (AA, MSH, MAN), pp. 2903–2912.
CHICHI-2014-MullerGDS #interactive
The boomRoom: mid-air direct interaction with virtual sound sources (JM, MG, CD, SS), pp. 247–256.
CHICHI-2014-SiriarayaA #case study #experience #people
Recreating living experiences from past memories through virtual worlds for people with dementia (PS, CSA), pp. 3977–3986.
CHICHI-2014-Wohn #game studies #online #social
Spending real money: purchasing patterns of virtual goods in an online social game (DYW), pp. 3359–3368.
CSCWCSCW-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.
CSCWCSCW-2014-RatanH #design #game studies
Playing well with virtual classmates: relating avatar design to group satisfaction (RR, BSH), pp. 564–573.
HCIDHM-2014-MamessierDO #artificial reality #assessment #online #using
Calibration of Online Situation Awareness Assessment Systems Using Virtual Reality (SM, DD, MO), pp. 124–135.
HCIDHM-2014-RasoolSPK #image #using
Virtual Knee Arthroscopy Using Haptic Devices and Real Surgical Images (SR, AS, VP, FK), pp. 436–447.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-ELAS-2014-ThalenV #case study #design
Virtual Personas: A Case Study on Truck Cabin Design (JPT, MCvdV), pp. 357–368.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AIMT-2014-FahnSW #tablet
A Virtual Handwriting Tablet Based on Pen Shadow Cues (CSF, BYS, MLW), pp. 224–233.
HCIHCI-AIMT-2014-MikamiM #3d #effectiveness #learning
Effectiveness of Virtual Hands in 3D Learning Material (TM, SM), pp. 93–101.
HCIHCI-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.
HCIHIMI-AS-2014-KojimaHMH #physics
Training Archived Physical Skill through Immersive Virtual Environment (TK, AH, TM, MH), pp. 51–58.
HCIHIMI-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.
HCIHIMI-DE-2014-HarbaouiSGG #community #information retrieval #personalisation
Personalized Information Retrieval: Application to Virtual Communities (AH, SS, MG, HHBG), pp. 431–438.
HCILCT-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.
HCILCT-TRE-2014-BosseP #towards
Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
HCILCT-TRE-2014-EradzeL #design #interactive #learning
Interrelation between Pedagogical Design and Learning Interaction Patterns in different Virtual Learning Environments (ME, ML), pp. 23–32.
HCILCT-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.
HCISCSM-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.
HCISCSM-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.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-Monte-AltoH #information management
Capturing Context Information in a Context Aware Virtual Environment (HHLCMA, EHMH), pp. 605–612.
ICEISICEIS-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.
ICEISICEIS-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.
RecSysRecSys-2014-LiuGWB #power of #using
Improving the discriminative power of inferred content information using segmented virtual profile (HL, AG, TW, AB), pp. 97–104.
SIGIRSIGIR-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.
ECOOPECOOP-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.
OOPSLAOOPSLA-2014-AdamsEMOPSSY #virtual machine
The hiphop virtual machine (KA, JE, BM, GO, AP, BS, ES, OY), pp. 777–790.
PPDPPPDP-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.
SACSAC-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.
SACSAC-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.
SACSAC-2014-GomesBM #network #similarity
A similarity model for virtual networks negotiation (RLG, LFB, ERMM), pp. 489–494.
SACSAC-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.
SACSAC-2014-KuoT #in the cloud #incremental #virtual machine
Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SACSAC-2014-NunesNR #contest #game studies #people
Motivating people to perform better in exergames: competition in virtual environments (MBN, LPN, VR), pp. 970–975.
SACSAC-2014-SuzakiYTOS #protocol #testing #virtual machine
Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
ICSEICSE-2014-BellK #testing
Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ASPLOSASPLOS-2014-AmitTS #memory management #named
VSwapper: a memory swapper for virtualized environments (NA, DT, AS), pp. 349–366.
ASPLOSASPLOS-2014-CriswellDA #operating system
Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
HPCAHPCA-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.
HPDCHPDC-2014-ChenWDZXJS #clustering #scheduling
Communication-driven scheduling for virtual clusters in cloud (HC, SW, SD, BBZ, ZX, HJ, XS), pp. 125–128.
OSDIOSDI-2014-AngelBKOT #performance
End-to-end Performance Isolation Through Virtual Datacenters (SA, HB, TK, GO, ET), pp. 233–248.
PPoPPPPoPP-2014-RaoZ #performance #scheduling #towards #virtual machine
Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
ISSTAISSTA-2014-ZouCZZG #effectiveness #testing #web
Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
SMTSMT-2014-KorovinKS #learning #towards
Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.
CASECASE-2013-CecilRRPP #collaboration
Collaborative virtual environments for orthopedic surgery (JC, PR, VR, AP, MPC), pp. 133–137.
CASECASE-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.
CASECASE-2013-KurzDP #monitoring #reliability
Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASECASE-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.
DACDAC-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.
DACDAC-2013-LeeH #mobile
An optimized page translation for mobile virtualization (YCL, CwH), p. 6.
DACDAC-2013-LeiXC #consistency #prototype
Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.
DATEDATE-2013-KimRAL #energy #virtual machine
Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
DATEDATE-2013-MockCRB #interactive #scalability
Interactions of large scale EV mobility and virtual power plants (RM, TSC, JR, LB), pp. 1725–1729.
DATEDATE-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.
DATEDATE-2013-YuWAEB #modelling #statistics
Statistical modeling with the virtual source MOSFET model (LY, LW, DAA, IME, DSB), pp. 1454–1457.
VLDBVLDB-2013-ElmoreCAA #as a service #database #towards
Towards Database Virtualization for Database as a Service (AJE, CC, DA, AEA), pp. 1194–1195.
ITiCSEITiCSE-2013-Beltran #artificial reality #gender
The importance of the avatar gender in training simulators based on virtual reality (MB), p. 334.
GCMGCM-J-2012-SmolenovaKC #graph grammar #parallel #performance
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHICHI-2013-Cottman-FieldsBR
Virtual birding: extending an environmental pastime into the virtual world for citizen science (MCF, MB, PR), pp. 2029–2032.
CHICHI-2013-Denny #student
The effect of virtual achievements on student engagement (PD), pp. 763–772.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2013-NawahdahI #design
Virtually dining together in time-shifted environment: KIZUNA design (MN, TI), pp. 779–788.
CSCWCSCW-2013-Robert #analysis #multi
A multi-level analysis of the impact of shared leadership in diverse virtual teams (LPRJ), pp. 363–374.
CSCWCSCW-2013-StarbirdP
Working and sustaining the virtual “Disaster Desk” (KS, LP), pp. 491–502.
HCIDHM-HB-2013-ColomboRR #modelling
Markerless Motion Capture Integrated with Human Modeling for Virtual Ergonomics (GC, DR, CR), pp. 314–323.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-CXC-2013-ClaudioCPEL #social
Virtual Environment to Treat Social Anxiety (APC, MBC, TP, FE, EL), pp. 442–451.
HCIDUXU-CXC-2013-WilkosinskaAGJ #framework #implementation #online #towards
Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-NTE-2013-ReisDR #usability #using
Main Usability Issues in Using Virtual Environments for Older Population Warning Studies (LR, ED, FR), pp. 189–198.
HCIDUXU-NTE-2013-TalligHE
Border Crosser — A Robot as Mediator between the Virtual and Real World (AT, WH, ME), pp. 411–418.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-PMT-2013-LuBS #usability
Usability of Virtual Worlds (HL, TB, SS), pp. 340–348.
HCIDUXU-WM-2013-FalcaoS #artificial reality #usability
Application of Virtual Reality Technologies in Consumer Product Usability (CSF, MMS), pp. 342–351.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IMT-2013-OblaenderE #3d #concept #interactive
Study of Interaction Concepts in 3D Virtual Environment (VO, ME), pp. 706–711.
HCIHCI-IMT-2013-RabeW #interactive #memory management
Enhancing Human Computer Interaction with Episodic Memory in a Virtual Guide (FR, IW), pp. 117–125.
HCIHCI-IMT-2013-SrivastavaT #analysis #realtime #using
Real Time Mono-vision Based Customizable Virtual Keyboard Using Finger Tip Speed Analysis (SS, RCT), pp. 497–505.
HCIHCI-IMT-2013-TruongNTD #collaboration #predict #word
Collaborative Smart Virtual Keyboard with Word Predicting Function (CTT, DHNH, MTT, ADD), pp. 513–522.
HCIHIMI-HSM-2013-SakamotoT #identification #interactive
Identification of Agency through Virtual Embodied Interaction (TS, YT), pp. 301–307.
HCIHIMI-LCCB-2013-IkeiAMOAH #experience
Virtual Experience System for a Digital Museum (YI, KA, YM, YO, TA, KH), pp. 203–209.
HCIHIMI-LCCB-2013-LindholmBN #interactive
I See, Please Tell Me More — Exploring Virtual Agents as Interactive Storytellers (DL, EPB, TN), pp. 89–98.
HCIOCSC-2013-LuongGGGH #distributed
Supporting Distributed Search in Virtual Worlds (HPL, DG, JMG, SG, JH), pp. 395–404.
HCIOCSC-2013-TokelC #communication #game studies #representation
Communication and Avatar Representation during Role-Playing in Second Life Virtual World (STT, EC), pp. 210–215.
HILTHILT-2013-WardRL #approach #integration #process
An approach to integration of complex systems: the SAVI virtual integration process (DTW, DAR, BAL), pp. 43–46.
ICEISICEIS-v1-2013-ShamsuzzohaAH #adaptation #enterprise #process
Adaptive Virtual Enterprise Process Management — Perspective of Cloud-based Data Storage (AS, SA, PH), pp. 88–94.
ICEISICEIS-v1-2013-SmirnovKTS #architecture #component
Virtual Tourist Hub for Infomobility — Service-Oriented Architecture and Major Components (AVS, AK, NT, NS), pp. 459–466.
RecSysRecSys-2013-LiuAYB #generative #using
Generating supplemental content information using virtual profiles (HL, MSA, BY, AB), pp. 295–302.
SEKESEKE-2013-DuttaAKB #approach #distributed
Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S) (AD, SA, AK, SB), pp. 685–688.
ECOOPECOOP-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.
ECOOPECOOP-2013-CutsemM #invariant
Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.
SACSAC-PL-J-2010-RodriguesNPM13 #semantics
Preserving the original MPI semantics in a virtualized processor environment (ERR, POAN, JP, CLM), pp. 412–421.
SACSAC-2013-BrunsKB #safety
Virtualization for safety-critical, deeply-embedded devices (FB, DK, AB), pp. 1485–1492.
SACSAC-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.
SACSAC-2013-KangCLLKN #clustering
Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
SACSAC-2013-NguyenSB #consistency
Dynamic virtual arc consistency (HN, TS, CB), pp. 98–103.
SACSAC-2013-OliveiraBMNBGB #multi #network
DoS-resilient virtual networks through multipath embedding and opportunistic recovery (RRO, LRB, DSM, MCN, LSB, LPG, MPB), pp. 597–602.
SACSAC-2013-PerazzoWM #framework
A data warehouse as an infrastructure to mine molecular descriptors for virtual screening (GXP, ATW, KSM), pp. 1335–1336.
SACSAC-2013-SteinbauerKK #community #on-demand
Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
SACSAC-2013-WassmannVT #energy #estimation #virtual machine
Energy consumption estimation of virtual machines (IW, DV, DT), pp. 1151–1156.
ASPLOSASPLOS-2013-KangW #approach #hardware
To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach (HK, JLW), pp. 357–368.
ASPLOSASPLOS-2013-MittalBBS #architecture #embedded #performance
Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
CGOCGO-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.
HPCAHPCA-2013-RaoWZX #manycore #optimisation #scheduling #virtual machine
Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
HPCAHPCA-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.
HPDCHPDC-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.
HPDCHPDC-2013-ClaySM #clustering #interactive #scalability
Building and scaling virtual clusters with residual resources from interactive clouds (RBC, ZS, XM), pp. 119–120.
HPDCHPDC-2013-CuiBLD #optimisation #performance
Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.
HPDCHPDC-2013-WangQGDSD #flexibility #memory management #named
kMemvisor: flexible system wide memory mirroring in virtual environments (BW, ZQ, HG, HD, WS, YD), pp. 251–262.
HPDCHPDC-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.
HPDCHPDC-2013-ZhouWSJS #parallel #realtime
Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
SOSPSOSP-2013-NikolaevB #kernel #named #operating system
VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
QoSAQoSA-2012-HuberBK #modelling
Modeling dynamic virtualized resource landscapes (NH, FB, SK), pp. 81–90.
QoSAQoSA-2012-YuHSHV #deployment #enterprise #testing
A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
CASECASE-2012-HsiehCY
Virtual-metrology-based FDC scheme (YSH, FTC, HCY), pp. 80–85.
CASECASE-2012-KurzDP #using
Sampling Decision System in semiconductor manufacturing using Virtual Metrology (DK, CDL, JP), pp. 74–79.
CASECASE-2012-PampuriSSLBN #multi #process
Multistep virtual metrology approaches for semiconductor manufacturing processes (SP, AS, GAS, CDL, AB, GDN), pp. 91–96.
CASECASE-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.
DACDAC-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.
DATEDATE-2012-BathenDNG #memory management #named #variability
VaMV: Variability-aware Memory Virtualization (LADB, NDD, AN, PG), pp. 284–287.
DATEDATE-2012-LeupersMPHSKV
Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
DATEDATE-2012-LuMS #abstraction #modelling #prototype #transaction
Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.
DATEDATE-2012-Sadooghi-AlvandiAM #branch #predict #towards
Toward virtualizing branch direction prediction (MSA, KA, AM), pp. 455–460.
DATEDATE-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.
VLDBVLDB-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.
ITiCSEITiCSE-2012-XuHT #framework #named #network
V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (LX, DH, WTT), pp. 256–261.
WCREWCRE-2012-Kinder #obfuscation #static analysis #towards
Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.
PEPMPEPM-2012-MoorsRHO #scala
Scala-virtualized (AM, TR, PH, MO), pp. 117–120.
CHICHI-2012-AndristPMG #design #effectiveness
Designing effective gaze mechanisms for virtual agents (SA, TP, BM, MG), pp. 705–714.
CHICHI-2012-BaurBF #interactive #multi
Virtual projection: exploring optical projection as a metaphor for multi-device interaction (DB, SB, SF), pp. 1693–1702.
CHICHI-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.
CHICHI-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.
CHICHI-2012-LeeKK #interactive
Funneling and saltation effects for tactile interaction with virtual objects (JL, YK, GJK), pp. 3141–3148.
CHICHI-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.
CHICHI-2012-SongGHFL #interactive
A handle bar metaphor for virtual object manipulation with mid-air interaction (PS, WBG, WH, CWF, XL), pp. 1297–1306.
CSCWCSCW-2012-BasuRJ #collaboration #process #ubiquitous
Ubiquitous collaborative activity virtual environments (AB, AR, KJ), pp. 647–650.
CSCWCSCW-2012-LeshedM #3d #social
Metaphors for social relationships in 3d virtual worlds (GL, PLM), pp. 593–602.
CAiSECAiSE-2012-Priego-RocheTFRM #design #modelling #process
Business Process Design from Virtual Organization Intentional Models (LMPR, LHT, AF, DR, JM), pp. 549–564.
ICEISICEIS-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.
ICPRICPR-2012-VazquezLP #adaptation #detection
Unsupervised domain adaptation of virtual and real worlds for pedestrian detection (DV, AML, DP), pp. 3492–3495.
KEODKEOD-2012-Kavakli #artificial reality #collaboration #information management #ontology
Knowledge Engineering and Ontologies for Object Manipulation in Collaborative Virtual Reality (MK), pp. 284–289.
KMISKMIS-2012-HackerMHHM #collaboration #learning
Management of Collaboration — Impacts of Virtualization to Learning & Knowledge (GH, MM, PH, GH, MM), pp. 235–239.
KMISKMIS-2012-LiLA #chat
Discovering Virtual Interest Groups across Chat Rooms (HL, JL, RA), pp. 152–157.
SEKESEKE-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.
ICMTICMT-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.
TOOLSTOOLS-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.
PADLPADL-2012-Winograd-CortLH
Virtualizing Real-World Objects in FRP (DWC, HL, PH), pp. 227–241.
SACSAC-2012-YaichBJP #adaptation #community #trust
An adaptive and Socially-Compliant Trust Management System for virtual communities (RY, OB, PJ, GP), pp. 2022–2028.
ASPLOSASPLOS-2012-GordonAHBLST #eli #named #performance
ELI: bare-metal performance for I/O virtualization (AG, NA, NH, MBY, AL, AS, DT), pp. 411–422.
ASPLOSASPLOS-2012-SzeferL #architecture
Architectural support for hypervisor-secure virtualization (JS, RBL), pp. 437–450.
ASPLOSASPLOS-2012-VasicNMKB #named #resource management
DejaVu: accelerating resource allocation in virtualized environments (NV, DMN, SM, DK, RB), pp. 423–436.
HPCAHPCA-2012-DalyC
Cache restoration for highly partitioned virtualized systems (DD, HWC), pp. 225–234.
HPDCHPDC-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.
HPDCHPDC-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.
HPDCHPDC-2012-SharmaK #named
Singleton: system-wide page deduplication in virtual environments (PS, PK), pp. 15–26.
HPDCHPDC-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.
ICSTICST-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.
CASECASE-2011-JuWLBX #framework #simulation
Virtual battery: A simulation framework for batteries in electric vehicles (FJ, JW, JL, SB, GX), pp. 648–653.
CASECASE-2011-KaoCW #case study
Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.
CASECASE-2011-PampuriSFN #multi
Multilevel Lasso applied to Virtual Metrology in semiconductor manufacturing (SP, AS, GF, GDN), pp. 244–249.
DACDAC-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.
DACDAC-2011-Hazelwood #adaptation #embedded #runtime
Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DACDAC-2011-Heiser #embedded #question #why
Virtualizing embedded systems: why bother? (GH), pp. 901–905.
DACDAC-2011-Vitek #embedded #java #realtime
Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-LeupersEMSTC #manycore #towards
Virtual Manycore platforms: Moving towards 100+ processor cores (RL, LE, GM, FS, NPT, XC), pp. 715–720.
DATEDATE-2011-WinterF #runtime #scheduling
Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
DATEDATE-2011-YehHWL #framework #simulation
Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
CSEETCSEET-2011-Meawad #agile #enterprise #re-engineering
The virtual agile enterprise: Making the most of a software engineering course (FM), pp. 324–332.
FMFM-2011-BartheBCL #verification
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization (GB, GB, JDC, CL), pp. 231–245.
ICFPICFP-2011-SchrijversO #monad #stack
Monads, zippers and views: virtualizing the monad stack (TS, BCdSO), pp. 32–44.
CHICHI-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.
CHICHI-2011-KinMBDHA #multi #named
Eden: a professional multitouch tool for constructing virtual organic environments (KK, TM, BB, TD, BH, MA), pp. 1343–1352.
CHICHI-2011-MadathilG #approach #testing #usability
Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CHICHI-2011-OdomZF #design
Teenagers and their virtual possessions: design opportunities and issues (WO, JZ, JF), pp. 1491–1500.
CHICHI-2011-RaderEC
Brick by brick: iterating interventions to bridge the achievement gap with virtual peers (ER, ME, JC), pp. 2971–2974.
CSCWCSCW-2011-DullemondG #named
Communico: overhearing conversations in a virtual office (KD, BvG), pp. 577–578.
CSCWCSCW-2011-NawahdahI #automation #education #learning
Automatic adjustment of a virtual teacher’s model in a learning support system (MN, TI), pp. 693–696.
CSCWCSCW-2011-SchwandaBLSVH
Temporal patterns of cohesiveness in virtual groups (VS, KB, JL, GS, AV, JTH), pp. 709–712.
CSCWCSCW-2011-YangAA #community #online #social
Virtual gifts and guanxi: supporting social exchange in a chinese online community (JY, MSA, LAA), pp. 45–54.
HCIDHM-2011-HodgesUBHSK #framework
Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
HCIDHM-2011-KaklanisMMT #assessment #automation #framework
A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
HCIDHM-2011-Ng #3d #design
Three-Dimensional Grading of Virtual Garment with Design Signature Curves (RN), pp. 328–336.
HCIHCD-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.
HCIHCD-2011-LewisW11a #collaboration #community #design #energy
Virtual Office, Community, and Computing (VOCC): Designing an Energy Science Hub Collaboration System (AAL, GGW), pp. 425–434.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-ITE-2011-NautsDKC
Taking Turns in Flying with a Virtual Wingman (PN, WAvD, EK, AHMC), pp. 575–584.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-UA-2011-LiuU #3d
Effects of Presence on Causing Cybersickness in the Elderly within a 3D Virtual Store (CLL, STU), pp. 490–499.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-v1-2011-InuiYH #interactive
Virtual Interaction between Human and Fabric (SI, AY, YH), pp. 418–424.
HCIHIMI-v1-2011-TakeuchiN #how #question
How Do Real or Virtual Agent’s Body and Instructions Contribute to Task Achievement? (YT, HN), pp. 142–151.
HCIHIMI-v1-2011-ZenkoyohT #generative
Surprise Generator for Virtual KANSEI Based on Human Surprise Characteristics (MZ, KT), pp. 190–198.
HCIHIMI-v2-2011-SejimaIW #interactive #process
A Virtual Audience System for Enhancing Embodied Interaction Based on Conversational Activity (YS, YI, TW), pp. 180–189.
HCIIDGD-2011-Dai #communication #development #interactive #mobile
New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
HCIIDGD-2011-SuadamaraWH #design
Cross-Cultural Design of a Groupware Application for Global Virtual Team (RS, SW, AH), pp. 104–113.
HCIIDGD-2011-YuZLXW #assembly
Motion Control with Intentions for Virtual Assembly (JY, DZ, CL, SX, ZW), pp. 248–257.
HCIOCSC-2011-HolmL #music #prototype
A Virtual World Prototype for Interacting with a Music Collection (JH, AL), pp. 326–335.
ICEISICEIS-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.
ICEISICEIS-v4-2011-AlmeidaHRCBM #network #social
Augmenting Accessibility in Social Networks — A Virtual Presenter (LDAA, ECSH, JCdR, PDPC, MCCB, JMDM), pp. 225–234.
ICEISICEIS-v4-2011-BezerraH #community #process
Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
CIKMCIKM-2011-BanerjeeC #distributed #feature model #privacy #using
Privacy preserving feature selection for distributed data using virtual dimension (MB, SC), pp. 2281–2284.
SEKESEKE-2011-BozRSTNP #information management #process
A Virtual Catalyst in the Knowledge Acquisition Process (GBJ, MPR, GYS, CAT, JCN, ECP), pp. 149–152.
SEKESEKE-2011-Collazo-MojicaS #distributed #metamodelling
A Metamodel for Distributed Ensembles of Virtual Appliances (XJCM, SMS), pp. 560–565.
ECOOPECOOP-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.
OnwardOnward-2011-MistreeCCLG #named
Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.
OOPSLAOOPSLA-2011-AustinDF
Virtual values for language extension (THA, TD, CF), pp. 921–938.
OOPSLAOOPSLA-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.
SACSAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid
Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SACSAC-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.
SACSAC-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.
SACSAC-2011-Liu #agile #configuration management #using
Rapid application configuration in Amazon cloud using configurable virtual appliances (HL), pp. 147–154.
SACSAC-2011-MajchrzakH #game studies
Game vendors’ influence on the monetary value of virtual goods (TAM, KFH), pp. 757–764.
SACSAC-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.
SACSAC-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.
SACSAC-2011-NawahdahI #education #learning #physics
Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.
SACSAC-2011-SchallSPD #community
Bridging socially-enhanced virtual communities (DS, FS, HP, SD), pp. 792–799.
SACSAC-2011-ShanCW #virtual machine
Virtualizing system and ordinary services in Windows-based OS-level virtual machines (ZS, TcC, XW), pp. 579–583.
SACSAC-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.
CGOCGO-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.
HPDCHPDC-2011-Al-KiswanySSR #named #virtual machine
VMFlock: virtual machine co-migration for the cloud (SAK, DS, PS, MR), pp. 159–170.
HPDCHPDC-2011-DeshpandeWG #migration #virtual machine
Live gang migration of virtual machines (UD, XW, KG), pp. 135–146.
HPDCHPDC-2011-JuveD #clustering #named
Wrangler: virtual cluster provisioning for the cloud (GJ, ED), pp. 277–278.
HPDCHPDC-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.
HPDCHPDC-2011-WengLYL #adaptation #scheduling #virtual machine
Dynamic adaptive scheduling for virtual machines (CW, QL, LY, ML), pp. 239–250.
SOSPSOSP-2011-AndrusDHLN #architecture #mobile #named #smarttech
Cells: a virtual mobile smartphone architecture (JA, CD, AVH, OL, JN), pp. 173–187.
SOSPSOSP-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.
CASECASE-2010-BarajasBGY #automation #validation
Virtual Launch & Validation of Manufacturing Automation Controls (LGB, SB, FG, CY), pp. 412–419.
CASECASE-2010-HungHYC #automation #development #framework #industrial
Development of an automatic virtual metrology framework for TFT-LCD industry (MHH, HCH, HCY, FTC), pp. 879–884.
CASECASE-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.
CASECASE-2010-YangCHC
Virtual production control system (HCY, YLC, MHH, FTC), pp. 984–989.
DACDAC-2010-BertinGB #compilation
Compilation and virtualization in the HiPEAC vision (CB, CG, KDB), pp. 96–101.
DACDAC-2010-CohenR #compilation #embedded #manycore
Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2010-YoonCPC #analysis #comparative #multi #network #physics
Virtual channels vs. multiple physical networks: a comparative analysis (YJY, NC, MP, LPC), pp. 162–165.
DACDAC-2010-ZhangLR
Bayesian virtual probe: minimizing variation characterization cost for nanoscale IC technologies via Bayesian inference (WZ, XL, RAR), pp. 262–267.
DATEDATE-2010-ArtiagaC #metadata #using
Using filesystem virtualization to avoid metadata bottlenecks (EA, TC), pp. 562–567.
DATEDATE-2010-BolteSBNB #using
Non-intrusive virtualization management using libvirt (MB, MS, GB, ON, AB), pp. 574–579.
DATEDATE-2010-HsuYC #architecture #framework #refinement
An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.
DATEDATE-2010-Jara-BerrocalG #architecture #configuration management #embedded #named
VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems (AJB, AGR), pp. 837–842.
DATEDATE-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.
VLDBVLDB-2010-BenediktG
The Impact of Virtual Views on Containment (MB, GG), pp. 297–308.
VLDBVLDB-2010-TerwilligerDMSB #database #evolution
Updatable and Evolvable Transforms for Virtual Databases (JFT, LMLD, DM, JS, SB), pp. 309–319.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2010-HauptPHKKPST #named
PhidgetLab: crossing the border from virtual to real-world objects (MH, MP, RH, LK, TK, SP, FS, PT), pp. 73–77.
FASEFASE-2010-Harman #optimisation #why
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.
CHICHI-2010-BerkovskyCFBB #game studies #physics #process
Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHICHI-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.
CHICHI-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.
CAiSECAiSE-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.
ICEISICEIS-DISI-2010-CarrollKM #enterprise #information management
Going Virtual — Popular Trend or Real Prospect for Enterprise Information Systems (MC, PK, AvdM), pp. 214–222.
ICEISICEIS-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.
ICEISICEIS-DISI-2010-KolellG #enterprise #network #workflow
Workflow Management Issues in Virtual Enterprise Networks (AK, JAG), pp. 23–31.
ICEISICEIS-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.
ICEISICEIS-HCI-2010-DiosERR #collaboration #learning
Virtual and Collaborative Environment for Learning Maths (AQD, AHE, IVR, ÁMdR), pp. 86–90.
ICEISICEIS-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.
ICEISICEIS-J-2010-DiosERR10a #collaboration #student
A Virtual Collaborative Environment Helps University Students to Learn Maths (AQD, AHE, IVR, ÁMdR), pp. 600–606.
ICEISICEIS-J-2010-KolellG10a #enterprise #network #workflow
Workflow Management Issues in Virtual Enterprise Networks (AK, JAG), pp. 48–59.
ICPRICPR-2010-HuangY #learning #recognition
Learning Virtual HD Model for Bi-model Emotional Speaker Recognition (TH, YY), pp. 1614–1617.
ICPRICPR-2010-WangLR #clustering #graph
Combining Real and Virtual Graphs to Enhance Data Clustering (LW, CL, KR), pp. 790–793.
RecSysRecSys-2010-KaragiannidisAZV #framework #named #recommendation
Hydra: an open framework for virtual-fusion of recommendation filters (SK, SA, CZ, AV), pp. 229–232.
OOPSLAOOPSLA-2010-ChafiDMRSHOO #parallel
Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
TOOLSTOOLS-EUROPE-2010-MadsenE #parametricity
Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.
LOPSTRLOPSTR-2010-InsaS #algorithm #debugging #execution #scalability
Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
PPDPPPDP-2010-AsaiK #continuation #functional #virtual machine
Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
SACSAC-2010-BaiXL #virtual machine
Task-aware based co-scheduling for virtual machine system (YB, CX, ZL), pp. 181–188.
SACSAC-2010-ClaycombS #analysis #framework #security
A framework for risk analysis in virtual directory security (WC, DS), pp. 1881–1882.
SACSAC-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.
SACSAC-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.
SACSAC-2010-LiuHLW #consistency #migration #network #virtual machine
Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
SACSAC-2010-MylavarapuSB #approach #capacity #framework #probability
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
SACSAC-2010-OkamuraO #virtual machine
Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
SACSAC-2010-PetrucciLM #clustering #optimisation #performance
Dynamic optimization of power and performance for virtualized server clusters (VP, OL, DM), pp. 263–264.
SACSAC-2010-WangLZY #algorithm
An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.
ICSEICSE-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.
ICSEICSE-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.
ASPLOSASPLOS-2010-YoonE #flexibility #in memory #memory management
Virtualized and flexible ECC for main memory (DHY, ME), pp. 397–408.
HPCAHPCA-2010-DongYLLTG #network #performance
High performance network virtualization with SR-IOV (YD, XY, XL, JL, KT, HG), pp. 1–10.
HPCAHPCA-2010-KunduRDZ #modelling #performance
Application performance modeling in a virtualized environment (SK, RR, KD, MZ), pp. 1–10.
HPCAHPCA-2010-XuZZY #throughput
Simple virtual channel allocation for high throughput and high frequency on-chip routers (YX, BZ, YZ, JY), pp. 1–11.
HPDCHPDC-2010-HermenierLM #clustering
Cluster-wide context switch of virtualized jobs (FH, AL, JMM), pp. 658–666.
HPDCHPDC-2010-HerzfeldOS #virtual machine
Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
HPDCHPDC-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.
HPDCHPDC-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.
HPDCHPDC-2010-RivasAN #architecture #named #realtime
Janus: a cross-layer soft real-time architecture for virtualization (RR, MAA, KN), pp. 676–683.
HPDCHPDC-2010-RoderoJQPG #energy #towards
Towards energy-aware autonomic provisioning for virtualized environments (IR, JJ, AQ, MP, FG), pp. 320–323.
HPDCHPDC-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.
OSDIOSDI-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.
OSDIOSDI-2010-BroomheadCRV
Virtualize Everything but Time (TB, LC, JR, DV), pp. 451–464.
OSDIOSDI-2010-HaeberlenARD #virtual machine
Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.
ICLPICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards #virtual machine
Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ISSTAISSTA-2010-MartignoniPRB #testing #virtual machine
Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.
CASECASE-2009-WuCLZCH
Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DACDAC-2009-BorgstromHWADCMCN #hardware #hybrid #prototype #question
System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DATEDATE-2009-LuGUH #approach #development #novel
A novel approach to entirely integrate Virtual Test into test development flow (PL, DG, GU, KH), pp. 797–802.
DATEDATE-2009-SabeghiB #approach #configuration management #runtime #towards
Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
HTHT-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.
HTHT-2009-NielsenGPG #named
MediaJourney: capturing and sharing digital media from real-world and virtual journeys (KRN, RG, MGP, KG), pp. 341–342.
HTHT-2009-RosenC #analysis #network #social
Social network analysis in virtual environments (DR, MC), pp. 317–322.
ICDARICDAR-2009-MiyaoM #adaptation #online #recognition #using
Writer Adaptation for Online Handwriting Recognition System Using Virtual Examples (HM, MM), pp. 1156–1160.
ITiCSEITiCSE-2009-AndersonJD #distance #education
Xen worlds: leveraging virtualization in distance education (BRA, AKJ, TED), pp. 293–297.
ITiCSEITiCSE-2009-BuendiaCB #approach #learning
An instructional approach to drive computer science courses through virtual learning environments (FB, JCC, JVB), pp. 6–10.
ITiCSEITiCSE-2009-Gal-EzerVZ
The professor on your PC: a virtual CS1 course (JGE, TV, EZ), pp. 191–195.
ITiCSEITiCSE-2009-Malan
Virtualizing office hours in CS 50 (DJM), pp. 303–307.
ITiCSEITiCSE-2009-Schocken #abstraction #implementation #virtual machine
Virtual machines: abstraction and implementation (SS), pp. 203–207.
ITiCSEITiCSE-2009-SturgeonAM
802.11 wireless experiments in a virtual world (TS, CA, AM), pp. 85–89.
ITiCSEITiCSE-2009-TiradoBMB #interactive #student
Inducing student interaction in a virtual environment (FT, AB, AM, AEDB), p. 378.
PEPMPEPM-2009-MoretBV #execution #named #profiling
CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
CHICHI-2009-BickmorePJ #health
Taking the time to care: empowering low health literacy hospital patients with virtual nurse agents (TWB, LMP, BWJ), pp. 1265–1274.
CHICHI-2009-DucheneautWYW #case study #personalisation
Body and mind: a study of avatar personalization in three virtual worlds (ND, MHW, NY, GW), pp. 1151–1160.
CHICHI-2009-NeustaedterF
Capturing and sharing memories in a virtual world (CN, EAF), pp. 1161–1170.
CHICHI-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.
HCIDHM-2009-BruggemannS #design
Nautical PSI — Virtual Nautical Officers as Test Drivers in Ship Bridge Design (UB, SS), pp. 355–364.
HCIDHM-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.
HCIDHM-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.
HCIDHM-2009-MarshallCSSGD #design #simulation
Virtual Task Simulation for Inclusive Design (RM, KC, SJS, RES, DG, PD), pp. 700–709.
HCIDHM-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.
HCIDHM-2009-PitarchYA #simulation
Virtual Human Hand: Grasping and Simulation (EPP, JY, KAM), pp. 140–149.
HCIHCD-2009-YousefiSH #design #mobile
Human Centered Design of Mobile Machines by a Virtual Environment (HY, AMS, HH), pp. 1099–1108.
HCIHCI-AUII-2009-FarajMV #mobile #named
BigKey: A Virtual Keyboard for Mobile Devices (KAF, MM, NV), pp. 3–10.
HCIHCI-AUII-2009-HuangTKWLT #interactive #smarttech
Interaction Wearable Computer with Networked Virtual Environment (JyH, MCT, HCK, JJW, KHL, CHT), pp. 741–751.
HCIHCI-AUII-2009-Kratky
Mixed Realities — Virtual Object Lessons (AK), pp. 440–445.
HCIHCI-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.
HCIHCI-AUII-2009-ZarraonandiaVDA #learning #protocol
A Virtual Environment for Learning Aiport Emergency Management Protocols (TZ, MRRV, PD, IA), pp. 228–235.
HCIHCI-NIMT-2009-BazarganF #3d #geometry #representation #specification
Specifying the Representation of Non-geometric Information in 3D Virtual Environments (KB, GF), pp. 773–782.
HCIHCI-NIMT-2009-HuangK #gesture #interactive
Interactive Demonstration of Pointing Gestures for Virtual Trainers (YH, MK), pp. 178–187.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-VAD-2009-Ficarra #interactive
Virtual Classroom and Communicability: Empathy and Interaction for All (FVCF), pp. 58–67.
HCIHCI-VAD-2009-FicarraCV #evaluation #learning
Communicability for Virtual Learning: Evaluation (FVCF, MCF, PMV), pp. 68–77.
HCIHCI-VAD-2009-KennyPR #interactive #standard
Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.
HCIHCI-VAD-2009-NielloFGFBV #set
A Set of Rules and Strategies for UNSAM Virtual Campus (JFN, FVCF, MG, RFZ, SB, MV), pp. 101–110.
HCIHIMI-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.
HCIHIMI-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.
HCIIDGD-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.
HCIOCSC-2009-BarberioL #community #network
Weighting Structures: Evolutionary Dynamics of Innovation Networks in Virtual Communities (VB, AL), pp. 295–304.
HCIOCSC-2009-BramanVDJ #learning
Learning Computer Science Fundamentals through Virtual Environments (JB, GV, AMAD, AJ), pp. 423–431.
HCIOCSC-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.
HCIOCSC-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.
HCIOCSC-2009-HaslerBP #3d #collaboration #framework #research
Collaborative Work in 3D Virtual Environments: A Research Agenda and Operational Framework (BSH, TB, RP), pp. 23–32.
HCIOCSC-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.
ICEISICEIS-J-2009-BacarinMM #contract #multi
Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
ICEISICEIS-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.
ICEISICEIS-J-2009-QuimbayaRAV #knowledge base #query #scalability
Knowledge Based Query Processing in Large Scale Virtual Organizations (APQ, CR, JA, MDPV), pp. 208–219.
ICEISICEIS-J-2009-SubercazeEMJKAI #community #towards
Towards Successful Virtual Communities (JS, CEM, PM, AJ, MK, PA, MI), pp. 677–688.
KDIRKDIR-2009-GhemtioSDSM #approach #design
A KDD Approach for Designing Filtering Strategies to Improve Virtual Screening (LG, MST, MDD, MS, BM), pp. 146–151.
KEODKEOD-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.
SEKESEKE-2009-Chang
Virtual Spaces: From the Past to the Future (SKC), p. 2.
SEKESEKE-2009-ChengCSW #composition
Dynamic Service Composition for Virtual UPnP Device Creation (STC, CLC, JS, MW), pp. 364–369.
SEKESEKE-2009-SeidelGFBM
An Agent-based Centralized e-Marketplace in a Virtual Environment (IS, MG, JF, HB, DM), pp. 218–221.
GPCEGPCE-2009-KastnerAK #refactoring
A model of refactoring physically and virtually separated features (CK, SA, MK), pp. 157–166.
GPCEGPCE-2009-McGacheyHM #java #pervasive
Classifying Java class transformations for pervasive virtualized access (PM, ALH, JEBM), pp. 75–84.
SACSAC-2009-AneddaGM #approach #virtual machine
A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
SACSAC-2009-EirakuSPKK #network #performance #virtual machine
Fast networking with socket-outsourcing in hosted virtual machine environments (HE, YS, CP, YK, KK), pp. 310–317.
SACSAC-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.
SACSAC-2009-LombardiP #kernel #linux #named #security #virtual machine
KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
SACSAC-2009-OyamaKI #haskell #monitoring #named #virtual machine
Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
ESEC-FSEESEC-FSE-2009-Lopes #modelling #simulation
The massification and webification of systems’ modeling and simulation with virtual worlds (CVL), pp. 63–70.
ASPLOSASPLOS-2009-BurceaM #branch #design #named
Phantom-BTB: a virtualized branch target buffer design (IB, AM), pp. 313–324.
CGOCGO-2009-MaoS #evolution #learning #predict #virtual machine
Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.
HPDCHPDC-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.
HPDCHPDC-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.
VMCAIVMCAI-2009-GallowayLMS #file system #linux #model checking
Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
ECSAECSA-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.
WICSAWICSA-2008-MendezA #architecture
A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training (GM, AdA), pp. 319–322.
ASEASE-2008-BertolinoAS #named #performance #testing
VCR: Virtual Capture and Replay for Performance Testing (AB, GDA, AS), pp. 399–402.
CASECASE-2008-HuangHCLC #automation #design #implementation
Automatic virtual metrology system design and implementation (YTH, HCH, FTC, TSL, FCC), pp. 223–229.
CASECASE-2008-WuCZLC
Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.
DACDAC-2008-LaiWGLD #architecture
A dynamically-allocated virtual channel architecture with congestion awareness for on-chip routers (McL, ZW, LG, HL, KD), pp. 630–633.
DACDAC-2008-NowakCCR #design
Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.
DACDAC-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.
DATEDATE-2008-FaruqueH #architecture #communication
Minimizing Virtual Channel Buffer for Routers in On-chip Communication Architectures (MAAF, JH), pp. 1238–1243.
DATEDATE-2008-LewickiPTDJ #design #prototype
A Virtual Prototype for Bluetooth over Ultra Wide Band System Level Design (AL, JdPP, JT, ED, GJ), pp. 804–807.
HTHT-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.
SIGMODSIGMOD-2008-SororMASKK #automation #database #virtual machine
Automatic virtual machine configuration for database workloads (AAS, UFM, AA, KS, PK, SK), pp. 953–966.
ITiCSEITiCSE-2008-Albin-Clark #chat
Virtual chat in an enquiry-based team project (AAC), pp. 153–157.
ITiCSEITiCSE-2008-KoppelmanV #case study #distance #education #experience
Experiences with a synchronous virtual classroom in distance education (HK, HPEV), pp. 194–198.
PEPMPEPM-2008-FeiginM #hardware
Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
CHICHI-2008-ElmqvistTT #3d #constraints
Evaluating motion constraints for 3D wayfinding in immersive and desktop virtual environments (NE, MET, PT), pp. 1769–1778.
CHICHI-2008-McQuigganRL #learning
The effects of empathetic virtual characters on presence in narrative-centered learning environments (SWM, JPR, JCL), pp. 1511–1520.
CHICHI-2008-WangM #interactive #learning
Human-Currency Interaction: learning from virtual currency use in China (YW, SDM), pp. 25–28.
CSCWCSCW-2008-PoonTAL #case study #distributed
Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.
CSCWCSCW-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.
EDOCEDOC-2008-CurryKMSTAW #enterprise #facebook
Facebook Meets the Virtualized Enterprise (RC, CK, NM, RS, TT, MFA, BW), pp. 286–292.
ICEISICEIS-ISAS2-2008-GinerAP #process #ubiquitous
Physical-Virtual Connection in Ubiquitous Business Processes (PG, MA, VP), pp. 266–271.
ICEISICEIS-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.
ICEISICEIS-SAIC-2008-ThimmTR #network
Partner Selection for Virtual Organization — Supporting the Moderator in Business Networks (HT, KT, KBR), pp. 119–126.
CIKMCIKM-2008-StecherNN #integration #lightweight
Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.
ICPRICPR-2008-ChowC #3d
Specularity removal and relighting of 3D object model for virtual exhibition (SKC, KLC), pp. 1–4.
ICPRICPR-2008-SakaueS
Calibration of projector-camera systems from virtual mutual projection (FS, JS), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-ScherCD #game studies
Making real games virtual: Tracking board game pieces (SS, RC, JD), pp. 1–4.
ICPRICPR-2008-SugimotoO #array #image #synthesis #using
Virtual focusing image synthesis for user-specified image region using camera array (SS, MO), pp. 1–4.
ICPRICPR-2008-YuOWL #3d #approach #estimation #novel
A novel 3-D motion estimation approach to virtual viewpoint control (YKY, SHO, KhW, KKL), pp. 1–4.
KDDKDD-2008-BlockeelCFGPR #database #induction #mining #prototype
An inductive database prototype based on virtual mining views (HB, TC, ÉF, BG, AP, CR), pp. 1061–1064.
SEKESEKE-2008-ZhouZ #distributed #programming #virtual machine
A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
OOPSLAOOPSLA-2008-ProkopskiV #performance #virtual machine
Analyzing the performance of code-copying virtual machines (GBP, CV), pp. 403–422.
TOOLSTOOLS-EUROPE-2008-PhinkY #aspect-oriented #virtual machine
Virtual Machine Support for Stateful Aspects (YP, AY), pp. 80–99.
QAPLQAPL-2008-LambertP #bytecode #framework #independence #java #virtual machine
Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
SACSAC-2008-NunesC08a #artificial reality #challenge #health #perspective
The virtual reality challenges in the health care area: a panoramic view (FLSN, RMEMdC), pp. 1312–1316.
SACSAC-2008-OnoueOY #virtual machine
Control of system calls from outside of virtual machines (KO, YO, AY), pp. 2116–1221.
SACSAC-2008-VieiraVN #generative
A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
ASPLOSASPLOS-2008-BhargavaSSM #2d
Accelerating two-dimensional page walks for virtualized systems (RB, BS, FS, SM), pp. 26–35.
ASPLOSASPLOS-2008-BurceaSMF #predict
Predictor virtualization (IB, SS, AM, BF), pp. 157–167.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2008-WegielK #concurrent #memory management #parallel
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction (MW, CK), pp. 91–102.
CCCC-2008-ProkopskiV #safety #virtual machine
Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
CGOCGO-2008-WimmerM #array #automation #java #virtual machine
Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
CGOCGO-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.
HPDCHPDC-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.
HPDCHPDC-2008-GangulyBWF
Improving peer connectivity in wide-area overlays of virtual workstations (AG, POB, DW, RJOF), pp. 129–140.
HPDCHPDC-2008-NathujiS #virtual machine
Vpm tokens: virtual machine-aware power budgeting in datacenters (RN, KS), pp. 119–128.
HPDCHPDC-2008-NurmiWB #named
VARQ: virtual advance reservations for queues (DN, RW, JB), pp. 75–86.
HPDCHPDC-2008-SmithSF #grid
Securing stateful grid servers through virtual server rotation (MS, CS, BF), pp. 11–22.
HPDCHPDC-2008-SotomayorKF #execution #using #virtual machine
Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
OSDIOSDI-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.
IJCARIJCAR-2008-BartheGP #java #proving #virtual machine
Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
FATESTestCom-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.
ASEASE-2007-CaiWHW #array #automation #kernel #testing
Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
CASECASE-2007-ChengHK #development
Development of a Dual-Phase Virtual Metrology Scheme (FTC, HCH, CAK), pp. 270–275.
CASECASE-2007-HuangSCJ #development #framework
Development of a Generic Virtual Metrology Framework (HCH, YCS, FTC, JMJ), pp. 282–287.
CASECASE-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.
CASECASE-2007-SuLCW #algorithm #implementation
Implementation Considerations of Various Virtual Metrology Algorithms (YCS, THL, FTC, WMW), pp. 276–281.
DACDAC-2007-Natale #analysis #challenge
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.
DATEDATE-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.
HTHT-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.
SIGMODSIGMOD-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.
VLDBVLDB-2007-LimWW #using
Unifying Data and Domain Knowledge Using Virtual Views (LL, HW, MW), pp. 255–266.
VLDBVLDB-2007-ShaoGBBCYS #keyword #performance #xml
Efficient Keyword Search over Virtual XML Views (FS, LG, CB, AB, MC, FY, JS), pp. 1057–1068.
ITiCSEITiCSE-2007-NorteL #people
A virtual logo keyboard for people with motor disabilities (SN, FGL), pp. 111–115.
CHICHI-2007-JohnsenRSLL #education #experience
The validity of a virtual human experience for interpersonal skills education (KJ, AR, AOS, DSL, BL), pp. 1049–1058.
CHICHI-2007-ZanbakaUGH #design #interface #social
Social responses to virtual humans: implications for future interface design (CAZ, ACU, PG, LFH), pp. 1561–1570.
HCIDHM-2007-Abdel-MalekYKMBSFMMRA #development
Development of the Virtual-Human SantosTM (KAM, JY, JHK, TM, SB, CS, LFL, AM, CM, SR, JA), pp. 490–499.
HCIDHM-2007-Heng #roadmap
Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.
HCIDHM-2007-LinP #experience #modelling #user interface
User Experience Modeling and Enhancement for Virtual Environments That Employ Wide-Field Displays (JJWL, DEP), pp. 423–433.
HCIDHM-2007-LiuLC #framework #named #simulation
AIPlayer: A Platform of Intelligent Simulation of Virtual Human in Virtual Environment (JL, YL, JC), pp. 434–442.
HCIDHM-2007-MavrikiosPKKC #assembly #evaluation
Digital Humans for Virtual Assembly Evaluation (DM, MP, MK, VK, GC), pp. 939–948.
HCIDHM-2007-OhS #behaviour #comprehension #nondeterminism
Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty (IO, MS), pp. 443–452.
HCIDHM-2007-Su #detection #performance #precise
Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.
HCIDHM-2007-ThomasCRMM #3d #modelling #navigation
Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment (MDT, DWC, BR, JAM, AM), pp. 205–214.
HCIDHM-2007-TianDM #analysis #design #interactive
Effecting Validity of Ergonomics Analysis During Virtual Interactive Design (RT, VGD, JM), pp. 988–997.
HCIDHM-2007-YangRMAH #predict #validation
Validation of Predicted Posture for the Virtual Human SantosTM (JY, SR, TM, KAM, CH), pp. 500–510.
HCIDHM-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.
HCIHCI-AS-2007-KaholFMPS #artificial reality
Augmented Virtual Reality for Laparoscopic Surgical Tool Training (KK, JF, TLM, SP, MS), pp. 459–467.
HCIHCI-AS-2007-YeBRS #artificial reality #design #evaluation
Applications of Virtual Reality in Product Design Evaluation (JY, SB, VR, TS), pp. 1190–1199.
HCIHCI-IDU-2007-HeldalRBW #collaboration
Presence, Creativity and Collaborative Work in Virtual Environments (IH, DJR, LB, RW), pp. 802–811.
HCIHCI-IDU-2007-SoeffnerN #representation
Co-presence in Shared Virtual Environments: Avatars Beyond the Opposition of Presence and Representation (JS, CSN), pp. 949–958.
HCIHCI-IPT-2007-ChenC #using
Using Agent Technology to Study Human Action and Perception Through a Virtual Street Simulator (CHC, MLC), pp. 560–568.
HCIHCI-IPT-2007-Kim
Aspiring for a Virtual Life (HCK), pp. 615–623.
HCIHCI-IPT-2007-LiGR #artificial reality
Resolving Occlusion Between Virtual and Real Scenes for Augmented Reality Applications (LL, TG, BR), pp. 634–642.
HCIHCI-IPT-2007-Ouramdane-DjerrahOM #3d #collaboration #interactive
A New Model of Collaborative 3D Interaction in Shared Virtual Environment (NOD, SO, MM), pp. 663–672.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IPT-2007-WuZHZ #evaluation #interface
Evaluation of Wayfinding Aids Interface in Virtual Environment (AW, WZ, BH, XZ), pp. 700–709.
HCIHCI-MIE-2007-FoursaW #interactive
Movement-Based Interaction and Event Management in Virtual Environments with Optical Tracking Systems (MF, GW), pp. 615–624.
HCIHCI-MIE-2007-GratchWOLMWM #question
Can Virtual Humans Be More Engaging Than Real Ones? (JG, NW, AO, FL, MM, RJvdW, LPM), pp. 286–297.
HCIHCI-MIE-2007-LeePWP #artificial reality #robust
Robust Gaze Tracking Method for Stereoscopic Virtual Reality Systems (ECL, KRP, MCW, JP), pp. 700–709.
HCIHCI-MIE-2007-ParkC #comprehension #social
Understanding the Social Relationship Between Humans and Virtual Humans (SP, RC), pp. 459–464.
HCIHIMI-IIE-2007-IkeiOK #interface #memory management
Spatial Electronic Mnemonics: A Virtual Memory Interface (YI, HO, TK), pp. 30–37.
HCIHIMI-IIE-2007-TaketaHKN #artificial reality
Virtual Pop-Up Book Based on Augmented Reality (NT, KH, HK, SN), pp. 475–484.
HCIHIMI-IIE-2007-ZimolongK #network #workflow
A Workflow Based Management System for Virtual Teams in Production Networks (BZ, BK), pp. 1004–1009.
HCIHIMI-MTT-2007-LehtoPPL #analysis
Text Analysis of Consumer Reviews: The Case of Virtual Travel Firms (XL, JKP, OP, MRL), pp. 490–499.
HCIOCSC-2007-KimQ #community
Presentation Desire of Digital Identity in Virtual Community (HWK, EQ), pp. 96–105.
ICEISICEIS-DISI-2007-WagnerM #adaptation #approach #middleware #reuse
A virtualization approach for reusing middleware adapters (RW, BM), pp. 78–85.
ICEISICEIS-HCI-2007-KirnerSK #requirements
Contribution to the Requirements Engineering of Virtual Environments (TGK, VFMS, CK), pp. 142–147.
ICEISICEIS-J-2007-WagnerM07a #adaptation #middleware
Enhancing Middleware Functionality by Virtualizing Adapters (RW, BM), pp. 108–120.
SEKESEKE-2007-GrunertKW #architecture #distributed #enterprise #multi
A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises (AG, SK, GW), pp. 546–551.
ECOOPECOOP-2007-VenstermansEB #java #pointer #virtual machine
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.
RERE-2007-KlassenDD #quality #requirements
Requirements Quality for a Virtual World (MK, SD, HD), pp. 375–376.
SACSAC-2007-AhamedHSK #pervasive #using
Wellness assistant: a virtual wellness assistant using pervasive computing (SIA, MMH, KS, AJK), pp. 782–787.
SACSAC-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.
SACSAC-2007-NunesVN #animation #flexibility #representation
A flexible representation of controllers for physically-based animation of virtual humans (RFN, CAV, JBCN), pp. 30–36.
SACSAC-2007-SongP #file system
Providing context-awareness to virtual file system (YS, DP), pp. 1199–1200.
SACSAC-2007-YanWZ #ad hoc #mobile #network #protocol
Dual agreement virtual subnet protocol for mobile ad-hoc networks (KQY, SCW, GYZ), pp. 953–954.
CGOCGO-2007-CodinaSG #clustering #graph #scheduling
Virtual Cluster Scheduling Through the Scheduling Graph (JMC, FJS, AG), pp. 89–101.
HPCAHPCA-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.
HPDCHPDC-2007-DemchenkoSGLGK #security
Security and dynamics in customer controlled virtual workspace organisation (YD, FS, LG, CTAMdL, DLG, OK), pp. 231–232.
HPDCHPDC-2007-LangeD #network #virtual machine
Transparent network services via a virtual traffic layer for virtual machines (JRL, PAD), pp. 23–32.
HPDCHPDC-2007-RajS #performance #scalability #self
High performance and scalable I/O virtualization via self-virtualized devices (HR, KS), pp. 179–188.
LCTESLCTES-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.
SOSPSOSP-2007-CriswellLDA #architecture #execution #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
SOSPSOSP-2007-LaadanBPPN #named
DejaView: a personal virtual computer recorder (OL, RAB, DBP, SP, JN), pp. 279–292.
SOSPSOSP-2007-NathujiS #coordination #enterprise #named #power management
VirtualPower: coordinated power management in virtualized enterprise systems (RN, KS), pp. 265–278.
CBSECBSE-2006-RoyonFM #multi
Virtualization of Service Gateways in Multi-provider Environments (YR, SF, FLM), pp. 385–392.
CBSECBSE-2006-UfimtsevKM #memory management #performance
Impact of Virtual Memory Managers on Performance of J2EE Applications (AU, AK, LM), pp. 285–293.
CASECASE-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.
CASECASE-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.
CASECASE-2006-PengLG
A Model for Virtual Emotional Human System (LP, WL, XG), pp. 310–313.
CASECASE-2006-Shi0 #detection
Signal Detecting Based on Instantaneous Virtual Power (WS, JL), pp. 270–273.
DACDAC-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.
DATEDATE-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.
DATEDATE-2006-KimHG #execution #parallel #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATEDATE-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.
DATEDATE-2006-KogelB #embedded #multi #prototype
Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATEDATE-DF-2006-RaabeHAZ #detection #prototype
Space-efficient FPGA-accelerated collision detection for virtual prototyping (AR, SH, JKA, GZ), pp. 206–211.
ITiCSEITiCSE-2006-GiangrandiM #quote
“Numeri e Macchine”: a virtual museum to learn the history of computing (PG, CM), pp. 78–82.
CHICHI-2006-PlouznikoffPRD #human-computer #interactive #interface #smarttech
Enhancing human-machine interactions: virtual interface alteration through wearable computers (AP, NP, JMR, MD), pp. 373–376.
CHICHI-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.
ICEISICEIS-SAIC-2006-WuMLYL
WSRF-Based Virtualization for Manufacturing Resources (LW, XM, SL, CY, XL), pp. 132–137.
ICPRICPR-v3-2006-ParkLL #3d #using
Superimposing 3D Virtual Objects using Markerless Tracking (SCP, SWL, SWL), pp. 897–900.
ICPRICPR-v3-2006-WangHWH #approach #image
A New Approach for Fractal Image Compression on a Virtual Hexagonal Structure (HW, XH, QW, TH), pp. 909–912.
ICPRICPR-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.
SEKESEKE-2006-HungL #data mining #mining #performance #using
Using Data Mining Schemes for Improvement on System Performance in Virtual Environments (SSH, DSML), pp. 61–66.
SEKESEKE-2006-LiC #profiling
User Profiling in the Chronobot/Virtual Classroom System (XL, SKC), pp. 432–439.
OOPSLAOOPSLA-2006-BockischADM #adaptation #virtual machine
Adapting virtual machine techniques for seamless aspect support (CB, MA, TD, MM), pp. 109–124.
OOPSLAOOPSLA-2006-Hutchins #prototype #using
Eliminating distinctions of class: using prototypes to model virtual classes (DH), pp. 1–20.
PADLPADL-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.
POPLPOPL-2006-ErnstOC #calculus
A virtual class calculus (EE, KO, WRC), pp. 270–282.
SACSAC-2006-SasitornC #java #performance #virtual machine
Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
ASPLOSASPLOS-2006-AdamsA #comparison #hardware
A comparison of software and hardware techniques for x86 virtualization (KA, OA), pp. 2–13.
ASPLOSASPLOS-2006-ChungMMSCCKO #memory management #trade-off #transaction
Tradeoffs in transactional memory virtualization (JC, CCM, AM, TS, HC, BDC, CK, KO), pp. 371–381.
ASPLOSASPLOS-2006-CrandallWOSWC #detection #virtual machine
Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.
ASPLOSASPLOS-2006-JonesAA #monitoring #named #virtual machine
Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
ASPLOSASPLOS-2006-Rosenblum #architecture #operating system
Impact of virtualization on computer architecture and operating systems (MR), p. 1.
CGOCGO-2006-VenstermansEB #java
Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing (KV, LE, KDB), pp. 76–86.
CGOCGO-2006-WentzlaffA #architecture
Constructing Virtual Architectures on a Tiled Processor (DW, AA), pp. 173–184.
HPDCHPDC-2006-BaiardiRMV #monitoring #policy #virtual machine
Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
HPDCHPDC-2006-GangulyABF #named #network #self
WOW: Self-Organizing Wide Area Overlay Networks of Virtual Workstations (AG, AA, POB, RJOF), pp. 30–42.
HPDCHPDC-2006-GoscinskiA #named #performance #virtual machine
Motor: A Virtual Machine for High Performance Computing (WG, DA), pp. 171–182.
HPDCHPDC-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.
ISMMISMM-2006-SomanDK #garbage collection #multi #virtual machine
Task-aware garbage collection in a multi-tasking virtual machine (SS, LD, CK), pp. 64–73.
OSDIOSDI-2006-YangBKM #garbage collection #memory management #named
CRAMM: Virtual Memory Support for Garbage-Collected Applications (TY, EDB, SFK, JEBM), pp. 103–116.
ASEASE-2005-Swartout #lessons learnt #scalability
Virtual humans: lessons learned in integrating a large-scale AI project (WRS), p. 2.
CASECASE-2005-ChengY #bound #using
Virtual object deformations using attributed boundary model (TMC, CCY), pp. 295–300.
DACDAC-2005-ChenK #embedded #java #reliability #virtual machine
Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DACDAC-2005-KimYH #using
Trace-driven HW/SW cosimulation using virtual synchronization technique (DK, YY, SH), pp. 345–348.
DACDAC-2005-PetrovTO #embedded #energy #memory management
Energy-effcient physically tagged caches for embedded processors with virtual memory (PP, DT, AO), pp. 17–22.
DATEDATE-2005-AmatoCMP #precise
Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
DATEDATE-2005-FummiLMMPP #hardware #prototype
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation (FF, ML, SM, MM, GP, MP), pp. 798–803.
DATEDATE-2005-Martin #component #design #transaction
Design of a Virtual Component Neutral Network-on-Chip Transaction Layer (PM), pp. 336–337.
DATEDATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine
OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
ICDARICDAR-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.
ICDARICDAR-2005-TerashimaSKW #3d #representation
Method for Representing 3-D Virtual Origami (TT, HS, JK, TW), pp. 1211–1215.
ITiCSEITiCSE-2005-DavoliG #education
Virtual square (V2) in computer science education (RD, MG), pp. 301–305.
ITiCSEITiCSE-2005-GooldC #education
Teaching ethics in a virtual classroom (AG, JC), pp. 232–236.
ITiCSEITiCSE-2005-GooldPLBC #challenge #student
Virtual student teams: opportunities and challenges (AG, AP, MZL, CB, SCC), pp. 340–341.
ITiCSEITiCSE-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.
ICSMEICSM-2005-Demeyer #morphism #performance #polymorphism #question #what
Refactor Conditionals into Polymorphism: What’s the Performance Cost of Introducing Virtual Calls? (SD), pp. 627–630.
ICALPICALP-2005-EisenbrandGOS #design #network
New Approaches for Virtual Private Network Design (FE, FG, GO, MS), pp. 1151–1162.
CHICHI-2005-AyatsukaR #named
tranSticks: physically manipulatable virtual connections (YA, JR), pp. 251–260.
EDOCEDOC-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.
ICEISICEIS-v3-2005-NasserBLGB #data access #grid
Access Control Model for Grid Virtual Organizations (BN, AB, RL, FG, FB), pp. 152–158.
ICEISICEIS-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.
SEKESEKE-2005-ChenSH #collaboration
Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.
SEKESEKE-2005-Shen #interactive #protocol
The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System (MS), pp. 16–18.
OOPSLAOOPSLA-2005-ArnoldWR #performance #repository #using #virtual machine
Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.
GPCEGPCE-2005-PintoJF #adaptation
Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application (MP, DJ, LF), pp. 438–441.
SACSAC-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.
SACSAC-2005-Heinlein #c++
Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.
SACSAC-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.
SACSAC-2005-ZuoP #component #trust
Component based trust management in the context of a virtual organization (YZ, BP), pp. 1582–1588.
SACSAC-OOPS-J-2005-Heinlein #c++
Global and Local Virtual Functions in C++ (CH), pp. 71–93.
ICSEICSE-2005-PankratiusS #case study #development #experience #information management
Information systems development at the virtual global university: an experience report (VP, WS), pp. 639–640.
CGOCGO-2005-ArnoldG #graph #virtual machine
Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines (MA, DG), pp. 51–62.
CGOCGO-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.
CGOCGO-2005-Hind #architecture #machine learning #virtual machine
Virtual Machine Learning: Thinking like a Computer Architect (MH), p. 11.
HPCAHPCA-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.
HPDCHPDC-2005-AgrawalGBF #grid #network #towards #virtual machine
Towards P2P-routed IF overlay networks for grid virtual machines (AA, AG, POB, RJOF), pp. 293–294.
HPDCHPDC-2005-SundararajGD #adaptation #performance #runtime
Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
HPDCHPDC-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.
LCTESLCTES-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.
SOSPSOSP-2005-BarattoKN #architecture #named
THINC: a virtual display architecture for thin-client computing (RAB, LNK, JN), pp. 277–290.
SOSPSOSP-2005-VrableMCMVSVS #scalability
Scalability, fidelity, and containment in the potemkin virtual honeyfarm (MV, JM, JC, DM, EV, ACS, GMV, SS), pp. 148–162.
DACDAC-2004-VuleticPI #configuration management #memory management
Virtual memory window for application-specific reconfigurable coprocessors (MV, LP, PI), pp. 948–953.
DocEngDocEng-2004-ZhangBMO #documentation #hypermedia
Supporting virtual documents in just-in-time hypermedia systems (LZ, MPB, DEM, VO), pp. 35–44.
HTHT-2004-FalquetNZ #library #towards
Towards digital libraries of virtual hyperbooks (GF, LN, JCZ), pp. 24–25.
ITiCSEITiCSE-2004-Harms #artificial reality
A virtual reality simulator of the ENIAC (DEH), p. 239.
IFLIFL-2004-AntoyHLT #functional #logic #virtual machine
A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
IFLIFL-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.
CHICHI-2004-LinAL #effectiveness
Virtual guiding avatar: an effective procedure to reduce simulator sickness in virtual environments (JJWL, HAR, ML), pp. 719–726.
CHICHI-2004-TanGSP #3d #integration #navigation #scalability
Physically large displays improve path integration in 3D virtual navigation tasks (DST, DG, PS, RP), pp. 439–446.
CSCWCSCW-2004-BrownB #collaboration #game studies
CSCW at play: “there” as a collaborative virtual environment (BB, MB), pp. 350–359.
ICEISICEIS-v2-2004-MendezHA
Intelligent Virtual Environments for Training in Nuclear Power Plants (GM, PH, AdA), pp. 204–209.
ICEISICEIS-v3-2004-KaletasAH
A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
ICEISICEIS-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.
ICEISICEIS-v4-2004-BoppHE #weaving
Connecting Virtual Spaces: Shadow Objects as Key Elements for Weaving the Cooperative Space (TB, TH, BE), pp. 475–479.
ICEISICEIS-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.
ICEISICEIS-v4-2004-KarduckS #constraints #named
Teambroker: Constraint Based Brokerage of Virtual Teams (AK, AS), pp. 146–153.
ICEISICEIS-v4-2004-PenseriniSP #framework
A P2P-Based Infrastructure for Virtual-Enterprise’s Supply-Chain Management (LP, LS, MP), pp. 316–321.
ICEISICEIS-v4-2004-PuentesC #collaboration
Virtual Active IP Node for Collaborative Environments (FP, VC), pp. 49–54.
ICEISICEIS-v5-2004-KitamuraNKM #process
Real World Sensorization and Virtualization for Observing Human Activities (KK, YN, MK, HM), pp. 15–20.
ICEISICEIS-v5-2004-RaouzaiouKK #synthesis
Emotion Synthesis in Virtual Environments (AR, KK, SDK), pp. 44–52.
ICEISICEIS-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.
CIKMCIKM-2004-YangFSRB #xml
Virtual cursors for XML joins (BY, MF, EJS, SR, KSB), pp. 523–532.
ICPRICPR-v2-2004-PressigoutM #artificial reality #visual notation
Model-Free Augmented Reality by Virtual Visual Servoing (MP, ÉM), pp. 887–890.
ICPRICPR-v2-2004-RennaCMAD
Color Correction for the Virtual Recomposition of Fragmented Frescos (FR, GC, NM, GA, AD), pp. 907–910.
ICPRICPR-v2-2004-TakiS #3d #re-engineering #symmetry
3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.
ICPRICPR-v3-2004-CuiG #recognition
Support Vector Machines for Face Recognition with Two-layer Generated Virtual Data (GC, WG), pp. 570–573.
ICPRICPR-v3-2004-KuhlKWK #classification #using
Training of Classifiers Using Virtual Samples Only (AK, LK, CW, UK), pp. 418–421.
ICPRICPR-v4-2004-RennaCMAD04a
Virtual Recomposition of Frescos: Separating Fragments from the Background (FR, GC, NM, GA, AD), pp. 819–822.
SACSAC-2004-DemetrescuF #debugging #virtual machine
A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
SACSAC-2004-LiKSW #named #virtual machine #xml
XVM: XML Virtual Machine (QL, MYK, ES, SW), pp. 1732–1733.
SACSAC-2004-TarauF #knowledge-based
Knowledge-based conversational agents and virtual storytelling (PT, EF), pp. 39–44.
ASPLOSASPLOS-2004-LowellSS #maintenance #online #virtual machine
Devirtualizable virtual machines enabling general, single-node, online maintenance (DEL, YS, EJS), pp. 211–223.
ASPLOSASPLOS-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.
HPDCHPDC-2004-WengACKNS #approach #automation
An Approach for Automatic Data Virtualization (LW, GA, ÜVÇ, TMK, SN, JHS), pp. 24–33.
HPDCHPDC-2004-ZhaoZF #distributed #file system #grid #virtual machine
Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
OSDIOSDI-2004-LevasseurUSG #dependence #reuse #virtual machine
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
DACDAC-2003-SehgalIKC #multi #reduction #using
Test cost reduction for SOCs using virtual TAMs and lagrange multipliers (AS, VI, MDK, KC), pp. 738–743.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-RaoO #design
Virtual Compression through Test Vector Stitching for Scan Based Designs (WR, AO), pp. 10104–10109.
VLDBVLDB-2003-ChenL #named #web
VIPAS: Virtual Link Powered Authority Search in the Web (CCL, MSC), pp. 381–392.
ICSMEICSM-2003-Kajko-Mattsson #enterprise
Infrastructures of Virtual IT Enterprises (MKM), pp. 199–208.
ICSMEICSM-2003-KojuTD #testing #virtual machine
Regression Test Selection based on Intermediate Code for Virtual Machines (TK, ST, ND), p. 420–?.
PLDIPLDI-2003-ErtlG #branch #optimisation #predict #virtual machine
Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.
CHICHI-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.
CHICHI-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.
CAiSECAiSE-2003-AntonellisMPP #strict
A Methodology for e -Service Substitutability in a Virtual District Environment (VDA, MM, BP, PP), pp. 552–567.
EDOCEDOC-2003-DimitrakosDMJP #assessment #contract #performance
Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.
ICEISICEIS-v1-2003-MontesiT #query
Imprecision Based Queries Over Materialized and Virtual Integrated Views (DM, AT), pp. 407–413.
ICEISICEIS-v2-2003-OkuharaSMIN
Application of Group Method of Data Handling to Virtual Environment Simulator (KO, WS, YM, HI, TN), pp. 545–548.
ICEISICEIS-v3-2003-Kulakov
Augmentation of Virtual Object to Real Environment (FK), pp. 609–614.
ICEISICEIS-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.
OOPSLAOOPSLA-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.
GPCEGPCE-2003-Danvy #compilation #virtual machine
A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
SACSAC-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.
HPDCHPDC-2003-ChaseIGMS #clustering #grid
Dynamic Virtual Clusters in a Grid Site Manager (JSC, DEI, LEG, JDM, SS), pp. 90–103.
LCTESLCTES-2003-ShaylorSB #architecture #java #virtual machine
A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
SOSPSOSP-2003-BarhamDFHHHN
Xen and the art of virtualization (PB, BD, KF, SH, TLH, AH, RN, IP, AW), pp. 164–177.
SOSPSOSP-2003-GarfinkelPCRB #framework #named #virtual machine
Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
DATEDATE-2002-PaulT #approach #modelling #virtual machine
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems (JMP, DET), pp. 522–528.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2002-ClearF #3d #java
Avatars in cyberspace: a Java 3D application to support formation of virtual groups (TC, GF), p. 222.
ITiCSEITiCSE-2002-FabregaMJM #learning #network
A virtual network laboratory for learning IP networking (LF, JM, TJ, DM), pp. 161–164.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
WCREWCRE-2002-TrogerC #analysis
Analysis of Virtual Method Invocation for Binary Translation (JT, CC), p. 65–?.
FMFME-2002-MarinovK #named #relational
VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
FMFME-2002-OheimbN #hoare #logic #revisited
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.
CHICHI-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.
CHICHI-2002-PierceP #feedback
Comparing voodoo dolls and HOMER: exploring the importance of feedback in virtual environments (JSP, RFP), pp. 105–112.
CHICHI-2002-ZhaiSA #learning
Movement model, hits distribution and learning in virtual keyboarding (SZ, AES, JA), pp. 17–24.
CSCWCSCW-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.
AdaEuropeAdaEurope-2002-Ferscha #named #physics
Contextware: Bridging Physical and Virtual Worlds (AF), pp. 51–64.
ICEISICEIS-2002-AminP #enterprise #workflow
Inter-Organizational Workflow Management in Virtual Healthcare Enterprises (TA, HKP), pp. 799–802.
ICEISICEIS-2002-ChenS #e-commerce #web
Virtual Mall of E-Commerce Web Sites (MFC, MKS), pp. 908–914.
ICEISICEIS-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.
ICEISICEIS-2002-XiaoouP #enterprise #xml
An XML-Based Virtual Patient Records System for Healthcare Enterprises (ZX, HKP), pp. 203–209.
ICPRICPR-v1-2002-KubotaA #generative #image #linear
Virtual View Generation by Linear Processing of Two Differently Focused Images (AK, KA), pp. 504–507.
ICPRICPR-v2-2002-AlhichriK #image #using
Image Registration Using Virtual Circles and Edge Direction (HSA, MK), pp. 969–972.
ICPRICPR-v3-2002-BernierPLS #approach #interactive #modelling
Interaction-Centric Modelling for Interactive Virtual Worlds: The APIA Approach (FB, DP, DL, MS), pp. 1007–1010.
ICPRICPR-v3-2002-MizunoOTY
Improvement of the Virtual Printing Scheme for Synthesizing Ukiyo-e (SM, MO, JiT, SY), p. 1043–?.
ICPRICPR-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.
SEKESEKE-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.
ECOOPECOOP-2002-CzajkowskiDN #virtual machine
Code Sharing among Virtual Machines (GC, LD, NN), pp. 155–177.
SACSAC-2002-KomuraKS #named
NiceMeetVR: facing professional baseball pitchers in the virtual batting cage (TK, AK, YS), pp. 1060–1065.
SACSAC-2002-MartinezDF #documentation #evolution #generative
A method for the dynamic generation of virtual versions of evolving documents (MMM, JCD, PdlF), pp. 476–482.
ASPLOSASPLOS-2002-LevisC #named #network #virtual machine
Maté: a tiny virtual machine for sensor networks (PL, DEC), pp. 85–95.
HPCAHPCA-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.
HPDCHPDC-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–?.
HPDCHPDC-2002-JagatheesanMRZ
Virtual Services in Data Grids (AJ, RM, AR, BZ), p. 420.
OSDIOSDI-2002-DunlapKCBC #analysis #named
ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (GWD, STK, SC, MAB, PMC), pp. 211–224.
OSDIOSDI-2002-SapuntzakisCPCLR #migration #optimisation
Optimizing the Migration of Virtual Computers (CPS, RC, BP, JC, MSL, MR), pp. 377–390.
VMCAIVMCAI-2002-BartheDJS #virtual machine
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
DACDAC-2001-Qu #component #detection
Publicly Detectable Techniques for the Protection of Virtual Components (GQ), pp. 474–479.
DATEDATE-2001-RonaK #modelling #using
Modelling SoC devices for virtual test using VHDL (MR, GK), pp. 770–771.
ICDARICDAR-2001-EtoS #network #recognition #using
Mathematical Formula Recognition Using Virtual Link Network (YE, MS), pp. 762–767.
VLDBVLDB-2001-BrownG #image #prototype #retrieval
A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space (LB, LG), pp. 693–694.
VLDBVLDB-2001-TanSHCR #realtime #scalability
Walking Through a Very Large Virtual Environment in Real-time (LS, JC, ZH, YR, KLT), pp. 401–410.
ITiCSEITiCSE-2001-Chalk #learning
Scaffolding learning in virtual environments (PC), pp. 85–88.
ITiCSEITiCSE-2001-ClearD #effectiveness #question
A cyber-icebreaker for an effective virtual group? (TC, MD), pp. 121–124.
ITiCSEITiCSE-2001-Impagliazzo
Real and virtual computing museums (JI), p. 185.
IWPCIWPC-2001-MaleticMDL #artificial reality #object-oriented #visualisation
Visualizing Object-Oriented Software in Virtual Reality (JIM, AM, GD, JL), pp. 26–35.
PASTEPASTE-2001-KadayifCKVIS #energy #named
vEC: virtual energy counters (IK, TC, MTK, NV, MJI, AS), pp. 28–31.
PASTEPASTE-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.
STOCSTOC-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.
FLOPSFLOPS-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.
CHICHI-2001-BersGD #community
Identity construction environments: supporting a virtual therapeutic community of pediatric patients undergoing dialysis (MUB, JGH, DRD), pp. 380–387.
CHICHI-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.
CHICHI-2001-MasonWLM
Reaching movements to augmented and graphic objects in virtual environments (AHM, MAW, EJL, CLM), pp. 426–433.
ICEISICEIS-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.
ICEISICEIS-v1-2001-ThorntonR #artificial reality #data mining #mining #network #using
Using Virtual Reality Data Mining for Network Management (KEBT, CR), pp. 340–344.
ICEISICEIS-v2-2001-MolliSGRSV #network
Integrating Network Services for Virtual Teams (PM, HSM, CG, PR, RS, VV), pp. 1034–1039.
ICEISICEIS-v2-2001-Rak #design #development #tool support
Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
LSOLSO-2001-VossRMJ #collaboration #data mining #enterprise #mining
Collaboration Support for Virtual Data Mining Enterprises (AV, GR, SM, AJ), pp. 83–95.
SEKESEKE-2001-SeguraAIMA #design #development
Design Task in Virtual Environments Development (MISS, AdA, RI, GM, AdAS), pp. 317–320.
OOPSLAOOPSLA-2001-CzajkowskiD #evolution #multi #virtual machine
Multitasking without Compromise: A Virtual Machine Evolution (GC, LD), pp. 125–138.
OOPSLAOOPSLA-2001-RiehleFBO #architecture #uml #virtual machine
The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
TOOLSTOOLS-USA-2001-KimovskiTD #resource management
Virtual Laboratory-Agent-Based Resource Sharing System (GK, VT, DD), pp. 89–99.
PPDPPPDP-2001-NassenCS #prolog #virtual machine
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
RERE-2001-WinterDC #modelling #requirements #validation
Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.
SACSAC-2001-Jeng #framework #towards
Towards a universal service-computing platform via virtual service machine (JJJ), pp. 663–667.
SACSAC-2001-OkadaTY #collaboration #distributed #education
Distributed virtual environment realizing collaborative environment education (MO, HT, TY), pp. 83–88.
SACSAC-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.
ICSEICSE-2001-LoCPC #component #documentation #named #xml
XAS: A System for Accessing Componentized, Virtual XML Documents (MLL, SKC, SP, JYC), pp. 493–502.
CCCC-2001-Madsen #implementation
Virtual Classes and Their Implementation (OLM), pp. 1–2.
HPCAHPCA-2001-QiuD #memory management #towards
Towards Virtually-Addressed Memory Hierarchies (XQ, MD), pp. 51–62.
HPDCHPDC-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–?.
DACDAC-2000-PaulPT #hardware #modelling #virtual machine
A codesign virtual machine for hierarchical, balanced hardware/software system modeling (JMP, SNP, DET), pp. 390–395.
DATEDATE-2000-DalpassoBBF #design #distributed #fault #simulation
Virtual Fault Simulation of Distributed IP-Based Designs (MD, AB, LB, MF), pp. 99–103.
HTHT-2000-MogensenG #3d #hypermedia #towards
Hypermedia in the virtual project room — toward open 3D spatial hypermedia (PM, KG), pp. 113–122.
CSEETCSEET-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–?.
CHICHI-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.
CHICHI-2000-KolevaSBG #interface
Traversable interfaces between real and virtual worlds (BK, HS, SB, CG), pp. 233–240.
CHICHI-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.
CHICHI-2000-TanriverdiJ #eye tracking
Interacting with eye movements in virtual environments (VT, RJKJ), pp. 265–272.
CHICHI-2000-WangM #constraints #visual notation
The role of contextual haptic and visual constraints on object manipulation in virtual environments (YW, CLM), pp. 532–539.
ICEISICEIS-2000-BritoNN
Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organisations (LB, PN, JN), pp. 395–401.
ICEISICEIS-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.
ICEISICEIS-2000-KreplinRS #enterprise
Real Supply Chains and Virtual Enterprises (KDK, DMR, HS), pp. 455–460.
ICPRICPR-v1-2000-HaindlHZ #automation #modelling
Automatic Acquisition of Planar-Faced Virtual Models (MH, VH, PZ), pp. 1987–1990.
ICPRICPR-v1-2000-LaoWLO
Creating Virtual Walkthrough Environment from Vertical Panoramic Mosaic (TkL, KhW, KsL, SHO), pp. 1575–1578.
ICPRICPR-v1-2000-SegenKG #interface #visual notation
Visual Interface for Conducting Virtual Orchestra (JS, SK, JG), pp. 1276–1279.
ICPRICPR-v1-2000-TerazonoMI #representation
Shadow Representation of Image-Based Objects in Virtual Space (KT, YM, SI), pp. 5003–5006.
ICPRICPR-v1-2000-YiW #3d #recognition
3D Artificial Objects Recognition under Virtual Environment (MY, PSPW), pp. 1995–1998.
ICPRICPR-v3-2000-DrosopoulosXD
Optical Camera Tracking in Virtual Studios: Degenerate Cases (AID, YX, AD), pp. 7126–7129.
ICPRICPR-v3-2000-HoshinoSY #automation #image #sequence
Automatic Registration of Virtual Objects onto Human Image Sequences (JH, HS, MY), pp. 3175–3177.
ICPRICPR-v4-2000-MizunoKYOT #automation #generative
Automatic Generation of Woodblocks for Virtual Printing (SM, TK, SY, MO, JiT), pp. 4459–4462.
ICPRICPR-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.
ICPRICPR-v4-2000-PingaliOJ
Ball Tracking and Virtual Replays for Innovative Tennis Broadcasts (GSP, AO, YJ), pp. 4152–4156.
ICPRICPR-v4-2000-SekiguchiE #generative #performance
Generating the Human Piano Performance in Virtual Space (HS, SE), pp. 4477–4481.
ICPRICPR-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.
ICPRICPR-v4-2000-TakahashiKIS #image #using
Expanding Possible View Points of Virtual Environment Using Panoramic Images (TT, HK, KI, MS), pp. 4468–4472.
OOPSLAOOPSLA-2000-Czajkowski #java #virtual machine
Application isolation in the JavaTM Virtual Machine (GC), pp. 354–366.
OOPSLAOOPSLA-2000-SundaresanHRVLGG #java
Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2000-GerodolleTG #approach #middleware #scalability
A Middleware Approach for Building Large-Scale Open Shared Virtual Worlds (AG, FDT, LGB), pp. 169–180.
TOOLSTOOLS-USA-2000-TrajkovicDKP
Web-Based Virtual Classroom (VT, DD, GK, ZP), p. 137–?.
SACSAC-2000-BonfigliCG
Nu.M.E.: a WWW Virtual Historic Museum of the City of Bologna (MEB, LC, AG), pp. 956–961.
SACSAC-2000-DenehyJ #c++ #java #parallel #virtual machine
Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SACSAC-2000-Ionescu #memory management #multi #realtime
Application-Level Virtual Memory Management in Real-Time Multiprocessor Systems (FI), pp. 610–614.
SACSAC-2000-KirnerM #artificial reality #development #using #visualisation
Development of an Information Visualization Tool Using Virtual Reality (TGK, VFMS), pp. 604–606.
SACSAC-2000-KrishnamoorthyS #transaction #workflow
Virtual Transaction Model to Support Workflow Applications (VK, MCS), pp. 876–881.
SACSAC-2000-LiSBH #network #process
Capturing and Indexing Computer-based Activities With Virtual Network Computing (SFL, MDS, JB, AH), pp. 601–603.
CCCC-2000-HoogerbruggeA #java #pipes and filters #virtual machine
Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
HPDCHPDC-2000-RenambotBGS #artificial reality #framework #named
CAVEStudy: An Infrastructure for Computational Steering in Virtual Reality Environments (LR, HEB, DG, HJWS), pp. 239–246.
LICSLICS-2000-EmersonHT #reduction #symmetry
Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
DACDAC-1999-DalpassoBB #design #distributed #simulation
Virtual Simulation of Distributed IP-based Designs (MD, AB, LB), pp. 50–55.
DATEDATE-1999-AgaesseL #component
Virtual Components Application and Customization (JFA, BL), pp. 726–727.
DATEDATE-1999-Seepold #component #reuse
Reuse of IP and virtual components (RS).
ITiCSEITiCSE-1999-Faltin #algorithm #design #game studies #learning
Designing courseware on algorithms for active learning with virtual board games (NF), pp. 135–138.
ITiCSEITiCSE-1999-SkrzypekW #empirical #named
KOMBIZ97 — virtual lab experiment (JS, TW), p. 204.
IWPCIWPC-1999-KnightM #comprehension #visualisation
Comprehension with[in] Virtual Environment Visualisations (CK, MM), pp. 4–11.
CHICHI-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.
CHICHI-1999-Vinson #design #guidelines #navigation
Design Guidelines for Landmarks to Support Navigation in Virtual Environments (NGV), pp. 278–285.
CHICHI-1999-WangM #matter
Object Manipulation in Virtual Environments: Relative Size Matters (YW, CLM), pp. 48–55.
CHICHI-1999-WantFGH #physics
Bridging Physical and Virtual Worlds with Electronic Tags (RW, KPF, AG, BLH), pp. 370–377.
HCIHCI-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.
HCIHCI-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.
HCIHCI-CCAD-1999-BoyerVKW #internet
Virtual clubs: timeout on the internet (DGB, MV, AK, SW), pp. 452–456.
HCIHCI-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.
HCIHCI-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.
HCIHCI-CCAD-1999-Chen #design #navigation #social
The StarWalker virtual environment — an integrative design for social navigation (CC), pp. 207–211.
HCIHCI-CCAD-1999-ElzerK #visualisation
Visualization of scientific information in a virtual information space (PFE, UK), pp. 122–126.
HCIHCI-CCAD-1999-GermannBO #artificial reality
Assisting individuals with disabilities through the use of virtual reality technologies (CG, JKB, POJ), pp. 952–956.
HCIHCI-CCAD-1999-HafH #community #named #online
VR-shopland: online shopping in a virtual world as community event (AH, AH), pp. 1167–1171.
HCIHCI-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.
HCIHCI-CCAD-1999-HirotaK
Virtual elasticity (KH, TK), pp. 1040–1043.
HCIHCI-CCAD-1999-HorneckerR
Vocational training with combined real/virtual environments (EH, BR), pp. 730–734.
HCIHCI-CCAD-1999-IacucciSW
Building the premise of a virtual organization: obstacles and enabling conditions (GI, OS, VW), pp. 487–491.
HCIHCI-CCAD-1999-IshiiTY #design #interface
User-interface design of the support system for constructing virtual environment (HI, TT, HY), pp. 1182–1186.
HCIHCI-CCAD-1999-KernB #case study #experience #interface
Experiences with interfaces for virtual environments in the field of engineering (PK, RB), pp. 696–700.
HCIHCI-CCAD-1999-Kim
Cooperative tele-operation in virtual environment (SJK), pp. 598–603.
HCIHCI-CCAD-1999-Loftin #human-computer #interactive
Human-Computer Interactions in shared virtual environments (RBL), pp. 1120–1123.
HCIHCI-CCAD-1999-MaidaNM #using
Effects on training using illumination in virtual environments (JM, JN, KM), pp. 1124–1128.
HCIHCI-CCAD-1999-MasoodianC #design #people
User-centred design of a virtual meeting environment for ordinary people (MM, BC), pp. 528–532.
HCIHCI-CCAD-1999-MatsuuraSM #communication #named #visual notation
HiQIS: a networked virtual environment for visual communication (NM, SS, SM), pp. 588–592.
HCIHCI-CCAD-1999-MocciaB #artificial reality #flexibility
A flexible environment for virtual reality applications (VM, AB), pp. 1085–1089.
HCIHCI-CCAD-1999-MoriKSO #behaviour
A computer-augmented office environment: integrating virtual and real world objects and behavior (HM, TK, ES, YO), pp. 1065–1069.
HCIHCI-CCAD-1999-Nishida #community #evolution
Facilitating community knowledge evolution by talking virtualized egos (TN), pp. 437–441.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-CCAD-1999-SuterKP #enterprise #towards
Towards an intelligent marketspace for virtual enterprises (BS, GK, ARP), pp. 1157–1161.
HCIHCI-CCAD-1999-ThomaHH #3d #navigation #usability
Usability and navigation in virtual 3D worlds (VT, AH, AH), pp. 1049–1054.
HCIHCI-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.
HCIHCI-CCAD-1999-WainwrightL #integration
Virtual vertical integration as a strategy for agility (CEW, PGL), pp. 1245–1249.
HCIHCI-CCAD-1999-WatanabeO #analysis #communication #interactive #synthesis
Virtual face-to-face communication system for human interaction analysis by synthesis (TW, MO), pp. 182–186.
HCIHCI-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.
HCIHCI-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.
HCIHCI-EI-1999-HowarthH #maintenance #simulation
The Maintenance of Habituation to Virtual Simulation Sickness (PAH, KJH), pp. 137–141.
HCIHCI-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.
HCIHCI-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.
HCIHCI-EI-1999-SchneiderS
Virtual Tactile Maps (JS, TS), pp. 531–535.
HCIHCI-EI-1999-Zerweck #multi
Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.
EDOCEDOC-1999-AndreoliAPRVW #framework #named
CLF/Mekano: a framework for building virtual-enterprise applications (JMA, DA, FP, MR, JYVD, JW), pp. 183–192.
EDOCEDOC-1999-OldevikA #architecture #enterprise
ODP-modelling of virtual enterprises with supporting engineering architecture (JO, JØA), pp. 172–182.
ICEISICEIS-1999-CarvalhoPJ #java #logic programming #prolog #virtual machine
NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
ICEISICEIS-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.
ICEISICEIS-1999-Fox #challenge #enterprise #perspective
The Challenge of Making Enterprises Virtual: An AI Perspective (MSF), p. IV.
ECIRACIR-1999-DoanB #concept #documentation
Virtual WWW Documents: a Concept to Explicit the Structure of WWW Sites (BLD, MB).
ECOOPECOOP-1999-DetlefsA
Inlining of Virtual Methods (DD, OA), pp. 258–278.
ECOOPECOOP-1999-IgarashiP
Foundations for Virtual Types (AI, BCP), pp. 161–185.
ECOOPECOOP-1999-ThorupT
Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.
OOPSLAOOPSLA-1999-Madsen #analysis #semantics
Semantic Analysis of Virtual Classes and Tested Classes (OLM), pp. 114–131.
TOOLSTOOLS-EUROPE-1999-MensWD #architecture #classification #using
Declaratively Codifying Software Architectures Using Virtual Software Classifications (KM, RW, TD), pp. 33–45.
TOOLSTOOLS-USA-1999-Ramakrishnan #community #distributed #education #learning #testing #visualisation
Visualizing O-O Testing in Virtual Communities — Distributed Teaching and Learning (SR), p. 300–?.
PPDPPPDP-1999-LopesSV #calculus #process #virtual machine
A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
POPLPOPL-1999-Yelland #composition #java #virtual machine
A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
SACSAC-1999-HuizingaA #file system #mobile
Mobile File System Support with Virtual Device Drivers (DMH, CA), pp. 373–381.
SACSAC-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.
CCCC-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.
OSDIOSDI-1999-WangAP #file system #programmable
Virtual Log Based File Systems for a Programmable Disk (RYW, TEA, DAP), pp. 29–43.
PPoPPPPoPP-1999-MainwaringC #challenge #communication #design #network #performance
Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.
SOSPSOSP-1999-DudaC #scheduling #thread
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
SOSPSOSP-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.
SOSPSOSP-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.
DACDAC-1998-KimCLLPK #functional #modelling
Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
ITiCSEITiCSE-1998-Carswell #internet #paradigm #question #towards
The “Virtual University”: toward an Internet paradigm? (LC), pp. 46–50.
ITiCSEITiCSE-1998-FullerST
Virtual seminars — real networked results? (poster) (UF, JS, GT), p. 281.
ITiCSEITiCSE-1998-Goldberg #artificial reality
Building a system in virtual reality with LearningWorks (AG), pp. 5–9.
ITiCSEITiCSE-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.
IWPCIWPC-1998-YoungM #artificial reality #visualisation
Visualizing Software in Virtual Reality (PY, MM), pp. 19–26.
PLDIPLDI-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.
SASSAS-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.
CHICHI-1998-ReynardBGH #collaboration #quality #video
Awareness Driven Video Quality of Service in Collaborative Virtual Environments (GR, SB, CG, CH), pp. 464–471.
CHICHI-1998-Roberts #community #question
Are Newsgroups Virtual Communities? (TLR), pp. 360–367.
CSCWCSCW-1998-HindmarshFHBG #interactive
Fragmented Interaction: Establishing Mutual Orientation in Virtual Environments (JH, MF, CH, SB, CG), pp. 217–226.
CSCWCSCW-1998-ObataS #named
OfficeWalker: A Virtual Visiting System Based on Proxemics (AO, KS), pp. 1–10.
AdaEuropeAdaEurope-1998-MilletB #java #migration #runtime #virtual machine
Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
EDOCEDOC-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.
EDOCEDOC-1998-GoldschmidtHL #enterprise #java
Exploiting Enterprise JavaBeans in the NIIIP virtual enterprise (AG, PH, JL), pp. 124–135.
ICPRICPR-1998-GiacconeGJ #estimation #using
Creating virtual scenes using active contours and global motion estimation (PRG, DG, GAJ), pp. 1505–1507.
ICPRICPR-1998-MasakiYKK #interactive #using #video
Interactive manipulation through augmented virtuality using processed video contents (TM, TY, YK, FK), pp. 1219–1222.
ICPRICPR-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.
ECOOPECOOP-1998-BruceOW #static typing
A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
ECOOPECOOP-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.
OOPSLAOOPSLA-1998-LiangB #java #virtual machine
Dynamics Class Loading in the Java Virtual Machine (SL, GB), pp. 36–44.
TOOLSTOOLS-USA-1998-AldermanCJR #web
Web Based Virtual Oscilloscope for Underwater Acoustic Signals (DA, NC, TAJ, GER), pp. 182–193.
TOOLSTOOLS-USA-1998-GavrilovskaTD #component #object-oriented #reuse
A Virtual Classroom Based on Reusable Object Oriented Components (AG, VT, DD), pp. 194–202.
TOOLSTOOLS-USA-1998-Li #java #virtual machine
Java Virtual Machine — Present and Near Future (QL), p. 480.
PPDPALP-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.
SACSAC-1998-LazanoM #query #using
Querying virtual videos using path and temporal expressions (RL, HM), pp. 248–252.
SACSAC-1998-Reitzner
Virtual synchronization: uncoupling synchronization annotations from synchronization code (SR), pp. 655–659.
ICSEICSE-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.
ASPLOSASPLOS-1998-MeterFH #adaptation #internet #named
VISA: Netstation’s Virtual Internet SCSI Adapter (RVM, GGF, SH), pp. 71–80.
HPCAHPCA-1998-GonzalezGV
Virtual-Physical Registers (AG, JG, MV), pp. 175–184.
HPDCHPDC-1998-RosuS #communication #coordination #distributed
Sender Coordination in the Distributed Virtual Communication Machine (MCR, KS), pp. 322–329.
HPDCHPDC-1998-ZhangSL #message passing #source code #using
Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
DACDAC-1997-HeinPK #prototype
RASSP Virtual Prototyping of DSP Systems (CH, JP, WK), pp. 492–497.
DACDAC-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.
CSEETCSEET-1997-Mayr #education #enterprise #re-engineering
Teaching Software Engineering by Means of a “Virtual Enterprise” (HM), pp. 176–184.
ITiCSEITiCSE-1997-Houle #programming
Ethics, programming, and virtual environments (MEH), pp. 91–93.
ITiCSEITiCSE-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.
ITiCSEITiCSE-WGR-1997-DankelH97a
Virtual office hours (demonstration) (DDDI, JH), p. 147.
ITiCSEITiCSE-WGR-1997-KukukaOT #education
Virtual school project for professional IT teachers in Latvia (poster) (AK, IO, DT), p. 151.
PEPMPEPM-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.
IFLIFL-1997-Wakeling #compilation #haskell #java #virtual machine
A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
CHICHI-1997-BenfordGL #collaboration
Crowded Collaborative Virtual Environments (SB, CG, DL), pp. 59–66.
HCIHCI-CC-1997-FoxBBBB #design
Human Factors Techniques for Designing the Virtual Mission Operations Center (JAF, JB, RB, PB, MB), pp. 737–740.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-SEC-1997-DiZioL
Circumventing Side Effects of Immersive Virtual Environments (PD, JRL), pp. 893–896.
HCIHCI-SEC-1997-Duffy97b
Issues for Integrating Virtual Teaming into the Organization (VGD), pp. 993–996.
HCIHCI-SEC-1997-HirotaK #implementation
Implementation of Elastic Object in Virtual Environment (KH, TK), pp. 969–972.
HCIHCI-SEC-1997-HondaKTOOM
A Virtual Office Environment for Supporting Informal Communications and Securing Personal Space (SH, TK, HT, TO, KiO, YM), pp. 909–912.
HCIHCI-SEC-1997-KennedyS
Aftereffects of Virtual Environment Exposure: Psychometric Issues (RSK, KMS), pp. 897–900.
HCIHCI-SEC-1997-KiyokawaTY #3d #design
Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.
HCIHCI-SEC-1997-LaneA #artificial reality
Stereopsis and Motion Parallax Cues in Virtual Reality Control Applications (JCL, DLA), pp. 917–920.
HCIHCI-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.
HCIHCI-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.
HCIHCI-SEC-1997-SuLYFD #artificial reality #industrial #using
Industrial Training Using Virtual Reality (CJS, FL, LY, CMF, VGD), pp. 989–992.
HCIHCI-SEC-1997-Sun #artificial reality
Data Input Devices and Application in Virtual Reality (HS), pp. 1001–1004.
HCIHCI-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.
HCIHCI-SEC-1997-UchiyamaYKT #3d #geometry #interactive
Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.
HCIHCI-SEC-1997-Wilson #industrial
Barriers to Industrial Application of Virtual Environments (JRW), pp. 985–988.
AdaTRI-Ada-1997-ComarDG #java #virtual machine
Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
EDOCEDOC-1997-PreussSK #resource management
Virtual Private Resources (TP, JHS, HK), pp. 216–226.
ECOOPECOOP-1997-Thorup #java
Genericity in Java with Virtual Types (KKT), pp. 444–471.
OOPSLAOOPSLA-1997-ZendraCC #compilation #performance
Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
TOOLSTOOLS-ASIA-1997-Diehl #modelling #object-oriented
VRML++: A Language for Object-Oriented Virtual-Reality Models (SD), pp. 141–150.
SACSAC-1997-Goldberg #learning
Virtual teams virtual projects = real learning (abstract only) (AG), p. 1.
SACSAC-1997-GudivadaBA #artificial reality #database #retrieval
A retrieval technique for virtual reality databases (VNG, JNB, RA), pp. 328–333.
HPDCHPDC-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.
PPoPPPPoPP-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.
HTHT-1996-Dieberger #framework
Browsing the WWW by Interacting with a Textual Virtual Environment — A Framework for Experimenting with Navigational Metaphors (AD), pp. 170–179.
SIGMODSIGMOD-1996-HullZ #framework #integration #using
A Framework for Supporting Data Integration Using the Materialized and Virtual Approaches (RH, GZ), pp. 481–492.
SASSAS-1996-PandeR #data flow
Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.
CHICHI-1996-BowersPO #collaboration
Talk and Embodiment in Collaborative Virtual Environments (JB, JP, JO), pp. 58–65.
CHICHI-1996-DarkenS #behaviour #scalability
Wayfinding Strategies and Behaviors in Large Virtual Worlds (RPD, JLS), pp. 142–149.
CHICHI-1996-GrahamM #physics
Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.
CHICHI-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.
CSCWCSCW-1996-Bharwani #bibliography #design #video
The MIT Design Studio of the Future: Virtual Design Review (Video Program) (SB), p. 10.
CSCWCSCW-1996-BowersOP
Practically Accomplishing Immersion: Cooperation in and for Virtual Environments (JB, JO, JP), pp. 380–389.
CSCWCSCW-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.
CSCWCSCW-1996-OlsonT #lessons learnt
Groupware in the Wild: Lessons Learned from a Year of Virtual Collocation (JSO, SDT), pp. 419–427.
CSCWCSCW-1996-SatoGS #concept #framework #named #video
Prairie: A Conceptual Framework for a Virtual Organization (Video Program) (SHS, AG, KSS), p. 8.
CSCWCSCW-1996-Smith #2d #lessons learnt #multi #user interface
Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces (GS), pp. 390–398.
ICPRICPR-1996-MaseN
Computing the field-of-view of a stitched panorama to create for sensitive virtual environments (KM, HN), pp. 151–155.
ICPRICPR-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.
ECOOPECOOP-1996-AignerH #c++ #source code
Eliminating Virtual Function Calls in C++ Programs (GA, UH), pp. 142–166.
ECOOPECOOP-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.
OOPSLAOOPSLA-1996-BaconS #c++ #performance #static analysis
Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
OOPSLAOOPSLA-1996-DriesenH #c++
The Direct Cost of Virtual Function Calls in C++ (KD, UH), pp. 306–323.
SACSAC-1996-KuhnB #c++ #optimisation
An enabling optimization for C++ virtual functions (BMK, DB), pp. 420–428.
ASPLOSASPLOS-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.
ASPLOSASPLOS-1996-LeeT #distributed #named
Petal: Distributed Virtual Disks (EKL, CAT), pp. 84–92.
HPCAHPCA-1996-IftodeDFL #automation #memory management #using
Improving Release-Consistent Shared Virtual Memory Using Automatic Update (LI, CD, EWF, KL), pp. 14–25.
HPCAHPCA-1996-Libeskind-HadasWH #fault tolerance #multi
Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels (RLH, KW, TH), pp. 180–190.
HPCAHPCA-1996-MullerSW #memory management #multi #thread
Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory (HLM, PWAS, DHDW), pp. 212–221.
HPDCHPDC-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.
HPDCHPDC-1996-HarrisonCGB #collaboration #development #process #simulation
Virtual Collaborative Simulation Environment for Integrated Product and Process Development (JPH, BC, MG, JB), pp. 19–22.
HPDCHPDC-1996-PapkaS #artificial reality #design #named
UbiWorld: An Environment Integrating Virtual Reality, Supercomputing and Design (MEP, RLS), pp. 306–307.
CSLCSL-1996-DanosPR #reduction
Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
FPCAFPCA-1995-MiraniH
First-Class Schedules and Virtual Maps (RM, PH), pp. 78–85.
CHICHI-1995-BenfordBFGS #collaboration
User Embodiment in Collaborative Virtual Environments (SB, JB, LEF, CG, DS), pp. 242–249.
CHICHI-1995-GaverSO
A Virtual Window on Media Space (WWG, GS, KO), pp. 257–264.
CHICHI-1995-HillSRF #community #recommendation
Recommending and Evaluating Choices in a Virtual Community of Use (WCH, LS, MR, GWF), pp. 194–201.
CHICHI-1995-MastaglioW #development #scalability
User-Centered Development of a Large-Scale Complex Networked Virtual Environment (TWM, JW), pp. 546–552.
CHICHI-1995-StoakleyCP #artificial reality #interactive
Virtual Reality on a WIM: Interactive Worlds in Miniature (RS, MC, RFP), pp. 265–272.
ICMLICML-1995-MaassW #learning #performance
Efficient Learning with Virtual Threshold Gates (WM, MKW), pp. 378–386.
HPCAHPCA-1995-BouraD #modelling
Modeling Virtual Channel Flow Control in Hypercubes (YMB, CRD), pp. 166–175.
SOSPSOSP-1995-CheritonD #memory management
Logged Virtual Memory (DRC, KJD), pp. 26–39.
HTHT-ECHT-1994-KaplanM #design #ontology
Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
CHICHI-1994-Strommen94a #interface
Children’s use of mouse-based interfaces to control virtual travel (ES), pp. 405–410.
CSCWCSCW-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.
CSCWCSCW-1994-OkadaMIM #design #distance #multi #social
Multiparty Videoconferencing at Virtual Social Distance: MAJIC Design (KiO, FM, YI, YM), pp. 385–393.
CSCWCSCW-1994-SohlenkampC #communication
Integrating Communication, Cooperation, and Awareness: The DIVA Virtual Office Environment (MS, GC), pp. 331–343.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-1994-Vion-DuryS #distributed #image #interactive #object-oriented #visualisation
Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems (JYVD, MS), pp. 65–84.
SACSAC-1994-HughesWK #learning
Virtual space learning: creating text-based learning environments (BH, JW, BK), pp. 578–582.
HPDCHPDC-1994-RousselleTHF
The Virtual Computing Environment (PR, PT, SH, GF), pp. 7–14.
HPDCHPDC-1994-Stevens #multi
Multimedia Supercomputing: The Use of Supercomputers to Drive High-Performance Multimedia Systems and Virtual Environments (RS), p. 3.
ICDARICDAR-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.
PODSPODS-1993-Gelder #estimation #multi
Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.
SIGMODSIGMOD-1993-ShatdalN #memory management #parallel #using
Using Shared Virtual Memory for Parallel Join Processing (AS, JFN), pp. 119–128.
STOCSTOC-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.
FMFME-1993-Barrett #model checking
Model Checking in Practice — The T9000 Virtual Channel Processor (GB), pp. 129–147.
HCIHCI-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.
HCIHCI-SHI-1993-BarfieldW #concept #framework
The Sense of Presence within Virtual Environments: A Conceptual Framework (WB, SW), pp. 699–704.
HCIHCI-SHI-1993-BauerR #development #interactive
New Techniques for Interaction in Virtual Worlds — Contents of Development and Examples (WB, OR), pp. 687–692.
HCIHCI-SHI-1993-BenfordF #interactive
Awareness, Focus, and Aura: A Spatial Model of Interaction in Virtual Worlds (SB, LEF), pp. 693–698.
HCIHCI-SHI-1993-EnomotoNNS #using
Virtual Kitchen System using Kansei Engineering (NE, MN, JN, KS), pp. 657–662.
HCIHCI-SHI-1993-FujitaITFNW
Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.
HCIHCI-SHI-1993-KamijoK #artificial reality #using
A Virtual Reality System Using Physiological Data — Application to Virtual Sports CAI (KK, AK), pp. 675–680.
HCIHCI-SHI-1993-KatoDO
The Basic Study of Natural Operation in Virtual Space (NK, MD, AO), pp. 681–686.
HCIHCI-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.
CHIINTERCHI-1993-CarlssonF #3d #tool support
Integrated CSCW tools within a shared 3D virtual environment (abstract) (CC, LEF), p. 513.
CHIINTERCHI-1993-Staples #representation #user interface #visual notation
Representation in virtual space: visual convention in the graphical user interface (LS), pp. 348–354.
CHIINTERCHI-1993-WareAB #artificial reality
Fish tank virtual reality (CW, KA, KSB), pp. 37–42.
AdaEuropeAdaEurope-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.
AdaTRI-Ada-1993-KermarrecP #ada #distributed #memory management
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.
SEKESEKE-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.
OOPSLAOOPSLA-1993-KruegerLVA #development #memory management #tool support
Tools for the Development of Application-Specific Virtual Memory Management (KK, DL, AV, TEA), pp. 48–64.
HPDCHPDC-1993-CrutcherLFZ #3d #network #using
Management of Broadband Networks Using a 3D Virtual World (LAC, AAL, SF, MXZ), pp. 306–315.
SOSPSOSP-1993-SatyanarayananMKSK #lightweight #memory management
Lightweight Recoverable Virtual Memory (MS, HHM, PK, DCS, JJK), pp. 146–160.
HTHT-ECHT-1992-Bolter #artificial reality #future of #hypermedia
Virtual Reality and the Future of Hypertext (JDB), p. 2.
HTHT-ECHT-1992-MuzzolonB #artificial reality
Virtual Reality: Present and Future (Demonstration) (PM, PB), p. 294.
LISPLFP-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.
CHICHI-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.
CHICHI-1992-ShawLGS #artificial reality #simulation
The decoupled simulation model for virtual reality systems (CDS, JL, MG, YS), pp. 321–328.
CSCWCSCW-1992-TakemuraK #using
Cooperative Work Environment Using Virtual Workspace (HT, FK), pp. 226–232.
SOSPSOSP-WIP-1991-Neumann92
The Virtual System Project (Abstract) (BCN), p. 17.
ASPLOSASPLOS-1992-WheelerB #consistency
Consistency Management for Virtually Indexed Caches (BW, BNB), pp. 124–136.
ISMMIWMM-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.
HTHT-1991-BurgerMJL
The Virtual Notebook System (AMB, BDM, CPJ, KBL), pp. 395–401.
HTHT-1991-LongG #architecture #collaboration
The Virtual Notebook System: An Architecture for Collaborative Work (KBL, GAG), pp. 417–418.
CHICHI-1991-LewisKL
Dialogue structures for virtual worlds (JBL, LK, DTL), pp. 131–136.
CHICHI-1991-Pausch #artificial reality
Virtual reality on five dollars a day (RP), pp. 265–270.
CHICHI-1991-WenzelWK #locality
Localization with non-individualized virtual acoustic display cues (EMW, FLW, DJK), pp. 351–359.
ASPLOSASPLOS-1991-AppelL #memory management #source code
Virtual Memory Primitives for User Programs (AWA, KL), pp. 96–107.
PODSPODS-1990-SoparkarS #clustering
Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.
LISPLFP-1990-FeeleyM #compilation #parallel #performance #virtual machine
A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
HTHT-1989-ShipmanCG #collaboration #distributed #hypermedia #research
Distributed Hypertext for Collaborative Research: The Virtual Notebook System (FMSI, RJC, GAG), pp. 129–135.
SIGMODSIGMOD-1989-IoannidisS
Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.
OOPSLAOOPSLA-1989-MadsenM #object-oriented #programming
Virtual Classes: A Powerful Mechanism in Object-Oriented Programming (OLM, BMP), pp. 397–406.
OOPSLAOOPSLA-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.
SOSPSOSP-1989-AbrossimovR #kernel #memory management #operating system
Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
STOCSTOC-1988-AggarwalC #algorithm #memory management
Virtual Memory Algorithms (Preliminary Version) (AA, AKC), pp. 173–185.
CSCWCSCW-1988-Hiltz #collaboration #learning
Collaborative Learning in a Virtual Classroom: Highlights of Findings (SRH), pp. 282–290.
DACDAC-1987-NylandDR
Improving Virtual-Grid Compaction Through Grouping (LSN, SWD, CDR), pp. 305–310.
ECOOPECOOP-1987-WilliamsWH #memory management #object-oriented
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy (IW, MW, TH), pp. 79–88.
OOPSLAOOPSLA-1987-Lucco #parallel #programming
Parallel Programming in a Virtual Object Space (SL), pp. 26–34.
ASPLOSASPLOS-1987-Goodman #multi
Coherency for Multiprocessor Virtual Address Caches (JRG), pp. 72–81.
ASPLOSASPLOS-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.
SOSPSOSP-1987-BirmanJ #distributed
Exploiting Virtual Synchrony in Distributed Systems (KPB, TAJ), pp. 123–138.
OOPSLAOOPSLA-1986-BhaskarPB #object-oriented #synthesis
Virtual Instruments: Object-Oriented Program Synthesis (KSB, JKP, JLB), pp. 303–314.
OOPSLAOOPSLA-1986-Kaehler #memory management #object-oriented
Virtual Memory on a Narrow Machine for an Object-Oriented Language (TK), pp. 87–106.
OOPSLAOOPSLA-1986-MittalBK #bound
Virtual Copies — At the Boundary Between Classes and Instances (SM, DGB, KMK), pp. 159–166.
ICLPSLP-1986-RossR86 #memory management #prolog
Paging Strategy for Prolog Based Dynamic Virtual Memory (MLR, KR), pp. 46–57.
DACDAC-1985-HillFL #effectiveness #generative #grid
Effective use of virtual grid compaction in macro-module generators (DDH, JPF, MDPL), pp. 777–780.
FPCAFPCA-1985-AbramskyS85 #named #programming #virtual machine
Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
SOSPSOSP-1985-FitzgeraldR #communication #integration #memory management
The Integration of Virtual Memory Management and Interprocess Communication in Accent (Abstract) (RPF, RFR), pp. 13–14.
DACDAC-1981-Weste #grid #layout
Virtual grid symbolic layout (NW), pp. 225–233.
SOSPSOSP-1981-CarrH #algorithm #effectiveness #memory management #named
WSClock — A Simple and Effective Algorithm for Virtual Memory Management (RWC, JLH), pp. 87–95.
SOSPSOSP-1981-LudererCHKM #distributed
A Distributed UNIX System Based on a Virtual Circuit Switch (GWRL, HC, JPH, PAK, WTM), pp. 160–168.
SOSPSOSP-1981-MeyrowitzM #adaptation #design #named
BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems (NKM, MM), pp. 180–189.
AdaTFDA-1980-Dommergaard #ada #design #virtual machine
The Design of a Virtual Machine for Ada (OD), pp. 435–606.
SOSPSOSP-J-1979-CanonFHHMR80 #evaluation #performance #virtual machine
A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.
SOSPSOSP-1979-CanonFHHMR #evaluation #performance #summary #virtual machine
A Virtual Machine Emulator for Performance Evaluation (Summary) (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
SOSPSOSP-1979-LantzR #multi #process
Virtual Terminal Management in a Multiple Process Environment (KAL, RFR), pp. 86–97.
VLDBVLDB-1978-Litwin
Virtual Hashing: A Dynamically Changing Hashing (WL), pp. 517–523.
SIGMODSIGMOD-1976-ShermanB #database #memory management #performance
Performance of a Data Base Manager in a Virtual Memory System (Abstract) (SWS, RSB), p. 31.
SOSPSOSP-1975-BagleyFHW #virtual machine
Sharing Data and Services in a Virtual Machine System (JDB, ERF, SCH, VW), pp. 82–88.
SOSPSOSP-1975-BelpaireN #architecture #recursion #virtual machine
Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
SOSPSOSP-1975-PopekK #architecture #case study #virtual machine
The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.
SOSPSOSP-1973-ChamberlinFL #memory management #multi
A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory (DDC, SHF, LYL), pp. 66–72.
SIGMODSIGFIDET-1971-Bayer #memory management
Binary B-Trees for Virtual Memory (RB), pp. 219–235.
SOSPSOSP-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.
SOSPSOSP-1969-BensoussanCD #memory management #multi
The multics virtual memory (AB, CTC, RCD), pp. 30–42.
SOSPSOSP-1967-DaleyD68 #memory management #multi #process
Virtual Memory, Processes, and Sharing in MULTICS (RCD, JBD), pp. 306–312.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.