Search results for "input/output"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	David K. Probst, Hon Fung Li	Verifying Timed Behavior Automata with Input/Output Critical Races.	CAV	1993	DBLP DOI BibTeX RDF
24	Donald E. Knuth	A proposal for input-output conventions in ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
24	Ahmed M. El-Garhy, M. E. El-Shimy	Development of decoupling scheme for high order MIMO process based on PSO technique.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Multiple input multiple output (MIMO) process, Relative gain array (RGA), Decoupling compensation matrix, Particle swarm optimization
24	Thomas T. Kwan, Daniel A. Reed	Performance of the CM-5 scalable file system.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
24	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
23	Konstantinos Koutroumpas, John Lygeros	Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid input output automata, sthochastic hybrid systems, verfication, systems biology
23	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
23	Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre	Normative framework for normative system change.	AAMAS (1)	2009	DBLP BibTeX RDF	input/output logic, norm change, belief revision, normative systems
23	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Analyzing Security Protocols Using Time-Bounded Task-PIOAs.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
23	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
23	Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang	Keynote: Hierarchical Fault Detection in Embedded Control Software.	COMPSAC	2008	DBLP DOI BibTeX RDF	Fault monitoring, embedded control systems, input/output extended finite automata, discrete-time hybrid systems, fault detection, fault isolation
23	Tadashi Ikeuchi, Tszshing Cheung, Hiroshi Onaka	The Latest Trend of Low Power High-Speed CMOS I/O Technology for Photonic Network.	SAINT	2008	DBLP DOI BibTeX RDF	High-speed input/output interfaces, low power, CMOS
23	Catherine Hu, Kinsun Tung, Lawrence Lau	Music Wall: A Tangible User Interface Using Tapping as an Interactive Technique.	APCHI	2008	DBLP DOI BibTeX RDF	Acoustic sensing modules, Tangible user interface, Interactive surfaces, Input/output device, Interaction method
23	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	Relationship of Three Cryptographic Channels in the UC Framework.	ProvSec	2008	DBLP DOI BibTeX RDF	Secure Channel (SC), Two-Anonymous Channel (2AC), Direction-Indeterminable Channel (DIC), Universal Composability (UC), Probabilistic Input/Output Automaton (PIOA)
23	Guido Boella, Leendert W. N. van der Torre	The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	input/output logics, ontologies, multi-agent systems, social roles
23	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
23	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
23	Laura Pozzi, Paolo Ienne	Exploiting pipelining to relax register-file port constraints of instruction-set extensions.	CASES	2005	DBLP DOI BibTeX RDF	automatic instruction-set extension, constrained scheduling, embedded customised architectures, multi-cycle register access, input/output
23	Mark Last, Menahem Friedman, Abraham Kandel	The data mining approach to automated software testing.	KDD	2003	DBLP DOI BibTeX RDF	finite element solver, info-fuzzy networks, input-output analysis, regression testing, automated software testing
23	Salvador Coll, Fabrizio Petrini, Eitan Frachtenberg, Adolfy Hoisie	Performance Evaluation of I/O Traffic and Placement of I/O Nodes on a High Performance Network.	IPDPS	2002	DBLP DOI BibTeX RDF	Performance Evaluation, Interconnection Networks, Input/Output, User-level Communication
23	Radu Grosu, Ketil Stølen	Stream-Based Specification of Mobile Systems.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Denotational model, Input/output relation, Many-to-many communication, Specification, Mobile system, Point-to-point communication
23	José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán	A Distributed Deadlock Resolution Algorithm for the AND Model.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
23	Evgenia Smirni, Christopher L. Elford, A. J. Lavery, Andrew A. Chien	Algorithmic Influences on I/O Access Patterns and Parallel File System Performance.	ICPADS	1997	DBLP DOI BibTeX RDF	Input/output characterization, caching and prefetching, performance evaluation, parallel file systems
23	David Ashen, Fred J. Meyer, Nohpill Park, Fabrizio Lombardi	Testing of programmable logic devices (PLD) with faulty resources.	DFT	1997	DBLP DOI BibTeX RDF	faulty resources, routing resources, built-in self-test schemes, parity chain, one-dimensional arrays, active routing devices, interconnection channels, input/output lines, logic testing, fault model, fault coverage, multiple faults, programmable logic devices, programmable logic devices
23	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
23	Guillermo P. Trabado, Emilio L. Zapata	Exploiting locality on parallel irregular problem computations.	PDP	1995	DBLP DOI BibTeX RDF	parallel irregular problem, average case distributions, run-time library, DDLY, parallel input/output, parallel programming, locality, message passing, message passing, irregular problems, data access patterns
23	Masahiro Nakagawa	A study of chaos neural network with a periodic activation function.	ANNES	1995	DBLP DOI BibTeX RDF	chaos neural network, periodic activation function, artificial neuron model, periodic input-output mapping, sinusoidal function, embedded pattern retrieval, monotonous mapping, signum function, periodic mapping, memory capacity, association system, neural nets, chaos, associative memory, transfer functions, content-addressable storage
23	Tse-Yun Feng, Yanggon Kim	Fault-diagnosis for a class of distributed control multistage interconnection networks.	FTDCS	1995	DBLP DOI BibTeX RDF	distributed control multistage interconnection networks, multiple disjoint paths, input/output terminals, fault-diagnosis method, self-routing tags, fault-location procedure, performance evaluation, fault-tolerance, fault-diagnosis, fault tolerant computing, multistage interconnection networks, fault location, redundant paths
23	David C. J. Naylor, Simon Jones 0001	A Performance Model for Multilayer Neural Networks in Linear Arrays.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	throughput rate, input-output bandwidth, two-hidden-layer network, performance evaluation, performance, performance model, latency, systolic arrays, multilayer perceptrons, feedforward neural nets, linear arrays, multilayer neural networks
23	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
23	Roy S. Freedman	Testability of Software Components.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	domain testability, domain-testable program, input-output inconsistencies, small test sets, test outputs, domain-testable specification, nondomain-testable specification, formal specification, controllability, software components, program testing, observability, program specifications
23	Mukesh Singhal	Update Transport: A New Technique for Update Synchronization in Replicated Database Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	update transport, update synchronization, replicated database systems, fully distributed approach, user requests, low communication overhead, fully distributed algorithm, semidistributed algorithm, fully distributed model, update execution, moderate input/output overhead, parallelism, distributed databases, concurrency control, concurrency control, performance model, redundancy, performance study
23	Toshinori Suzuki, Sol M. Shatz, Tadao Murata	A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
23	Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter	I/O Overhead and Parallel VLSI Architectures for Lattice Computations.	ICCI	1990	DBLP DOI BibTeX RDF	Input/output complexity, lattice computations, cellular automata, VLSI architectures, pebbling
23	Michael London, Matthew E. Larkum, Michael Häusser	Predicting the synaptic information efficacy in cortical layer 5 pyramidal neurons using a minimal integrate-and-fire model.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Synaptic information efficacy, Linear integrate-and-fire model, Predicting every spike, Layer 5 cortical pyramidal neuron
22	Saad Mneimneh, Vishal Sharma, Kai-Yeung Siu	Switching using parallel input-output queued switches with no speedup.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	parallel switches, switching, speedup, delay guarantee
22	Boyuan Yan, Lingfei Zhou, Sheldon X.-D. Tan, Jie Chen 0005, Bruce McGaughy	DeMOR: decentralized model order reduction of linear networks with massive ports.	DAC	2008	DBLP DOI BibTeX RDF	multi-port networks, decentralized, model order reduction
22	Martin Weiglhofer, Franz Wotawa	Asynchronous Input-Output Conformance Testing.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
22	Christine T. Cheng, Adrian Dumitrescu, Patrick J. Schroeder	Generating Small Combinatorial Test Suites to Cover Input-Output Relationships.	QSIC	2003	DBLP DOI BibTeX RDF
22	Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana	Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences.	ICES	1998	DBLP DOI BibTeX RDF
21	Tezaswi Raja, Vishwani D. Agrawal, Michael L. Bushnell	Design of Variable Input Delay Gates for Low Dynamic Power Circuits.	PATMOS	2005	DBLP DOI BibTeX RDF
21	Matthew Andrews, Lisa Zhang	Scheduling protocols for switches with large envelopes.	SODA	2002	DBLP BibTeX RDF
21	Juan M. Carrillo, J. Francisco Duque-Carrillo, Guido Torelli, José L. Ausín	1-V quasi constant-gm input/output rail-to-rail CMOS op-amp.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
21	Andreas Schweizer, Tarith Devadason, John F. Siliquini	A Markov Model for Preference List Sizes in Combined Input Output Queued Switches with Stable Matching Algorithms.	ICON	2007	DBLP DOI BibTeX RDF
21	Zhongjie Li, Xia Yin, Jianping Wu	Distributed Testing of Multi Input/Output Transition System.	SEFM	2004	DBLP DOI BibTeX RDF
20	Nazish Hoda, Mihailo R. Jovanovic, Satish Kumar	Input-output analysis of the 2D/3C model in channel flows of viscoelastic fluids.	CDC	2008	DBLP DOI BibTeX RDF
20	Tao Huang 0019, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
20	Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga	Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.	DSN	2007	DBLP DOI BibTeX RDF	compositional aggregation, Markov chain, modularity, Fault tree, Interactive process
20	Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Input/Output Partial Order Automata.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
20	Hecheng Wu, Wenyan Yan, Sifeng Liu	Analysis of the efficiency of regional electricity input-output for China based on grey DEA model.	SMC	2007	DBLP DOI BibTeX RDF
20	Michiel van Osch	Hybrid Input-Output Conformance and Test Generation.	FATES/RV	2006	DBLP DOI BibTeX RDF
20	Paolo Ferrari, Alessandra Flammini, Daniele Marioli, S. Rosa, Andrea Taroni, C. Cattaneo, Cathryn Manduca	GDNET: a Specific Approach to Distributed Input/Output Synchronization for Plastic Machinery.	ETFA	2006	DBLP DOI BibTeX RDF
20	Changjie Yu, Jihong Zhu 0001, Jianguo Che, Zengqi Sun	Input-Output Data Modelling Using Fully Tuned RBF Networks for a Four Degree-of-Freedom Tilt Rotor Aircraft Platform.	MICAI	2005	DBLP DOI BibTeX RDF
20	Wei Xing Zheng 0001	A modified identification algorithm for linear systems with noisy input-output data.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
20	Milind R. Naphade, Ashutosh Garg, Thomas S. Huang	Duration Dependent Input Output Markov Models For Audio-Visual Event Detection.	ICME	2001	DBLP DOI BibTeX RDF
20	Nirmal Singh, Renu Vig, J. K. Sharma	Identification of MIM0 Systems by Input-Output Takagi-Sugeno Fuzzy Models.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
20	Wei Xing Zheng 0001	A computationally efficient scheme for estimating linear noisy input-output systems.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
20	Christian Jesús B. Fayomi, Mohamad Sawan, Gordon W. Roberts	A design strategy for a 1-V rail-to-rail input/output CMOS opamp.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
20	Barbara König 0001	Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System.	ICALP	2000	DBLP DOI BibTeX RDF
20	Hossein Salehfar, Nagy Bengiamin, Jun Huang	Techniques for optimizing model execution II: a systematic approach to linguistic fuzzy modeling based on input-output data.	WSC	2000	DBLP DOI BibTeX RDF
20	Alfred Rosskopf	Reusable Input/Output Packages for Ada Avionic Applications.	Ada-Europe	1991	DBLP DOI BibTeX RDF
20	Mostafa I. H. Abd-El-Barr, Muhammad Nayyar Hasan, G. A. Hamid	On the Synthesis of MVL Functions Using Input and Output Phase Assignments.	ISMVL	1997	DBLP DOI BibTeX RDF	MVL functions synthesis, phase assignments, decomposition based mapping, input matrix, output matrix, matching-count matrix, output function number, maximum matching count, switching operations, switching operators, r-valued functions, logic synthesis, minimization, multivalued logic
19	Mathias Moehring, Bernd Froehlich 0001	Natural Interaction Metaphors for Functional Validations of Virtual Car Models.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	3D graphics and realism, systems and software, User interfaces, input/output devices
19	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
19	Yiping Yang, Hui Ma, Zhuang Wu	Research on Enterprise Informatization Evaluation System.	MVHI	2010	DBLP DOI BibTeX RDF	Enterprise Informatization, Capability Maturity, Measurement, Input-output
19	V. Maurin, N. Dalmasso, Bertrand Copigneaux, Stephane Lavirotte, Gaëtan Rey, Jean-Yves Tigli	SimplyEngine-WComp: plate-forme de prototypage rapide pour l'Informatique ambiante basée sur une approche orientée services pour dispositifs réels/virtuels.	UbiMob	2009	DBLP DOI BibTeX RDF	ubiquitous computing, composite web services, virtual and augmented reality, input/output devices
19	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.	ASE	2009	DBLP DOI BibTeX RDF	networking, caching, software verification, Software model checking, input/output
19	Jun Wang 0001, Huijun Zhu, Dong Li	eRAID: Conserving Energy in Conventional Disk-Based RAID System.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	energy efficiency, redundancy, power, Parallel I/O, storage, Queuing theory, RAID, queueing model, disk, Input/Output Devices, Correlation and regression analysis
19	Yifeng Zhu, Hong Jiang 0001	RACE: A Robust Adaptive Caching Strategy for Buffer Cache.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Buffering, Main memory, Input/output
19	Bipin Upadhyaya, Fahriddin Azimov, Doan Thanh Tran, Eunmi Choi, SangBum Kim, Pilsung Kim	Distributed File System: Efficiency Experiments for Data Access and Communication.	NCM (2)	2008	DBLP DOI BibTeX RDF	Disk Input/Output Performance, I/O Tuning, Buffer Management, Distributed File System
19	Panayotis G. Michaelides, Kostas Theologou	Economic Activity and Climate Change in a Structural Framework: A First Approach.	IT Revolutions	2008	DBLP DOI BibTeX RDF	socioeconomic sphere, environment, climate change, input-output, economic growth
19	Audun Stolpe	Normative Consequence: The Problem of Keeping It Whilst Giving It up.	DEON	2008	DBLP DOI BibTeX RDF	input/output logic, dynamics, Normative systems
19	Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa	Coverage Based Testing with Test Purposes.	QSIC	2008	DBLP DOI BibTeX RDF	input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes
19	Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar	Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.	FASE	2008	DBLP DOI BibTeX RDF	Model-Based Adaptation, Behavioural Adaptation, Semantic Adaptation, Input Output Labelled Transition Systems, Services
19	Marco Porta	Human-Computer input and output techniques: an analysis of current research and promising applications.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Future interfaces, Input/output techniques, Perceptive interfaces, Human-Computer interaction, Multimodal interaction
19	Tonatzin Yutzin Baños, Emmanuel Aquino, Fernando David Sernas, Yazmín Regina López, Roberto Carlos Mendoza	EMI: a system to improve and promote the use of public transportation.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	multimedia station, voice input output, GUI, touchscreen, public transport
19	Lambert Schaelicke, Alan L. Davis	Design Trade-Offs for User-Level I/O Architectures.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, Architecture, performance analysis, input/output devices, user-level
19	Jeffrey Scott Vitter, David A. Hutchinson	Distribution sort with randomized cycling.	J. ACM	2006	DBLP DOI BibTeX RDF	multipass algorithms, distribution, sorting, randomization, merging, external memory, input/output, external sorting, parallel disks, multiple disks
19	Patricia J. Teller, Seetharami R. Seelam	Insights into providing dynamic adaptation of operating system policies.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	input-output schedulers, adaptation, performance analysis, operating systems, process schedulers
19	Daniel Wigdor, Chia Shen, Clifton Forlines, Ravin Balakrishnan	Effects of display position and control space orientation on user preference and performance.	CHI	2006	DBLP DOI BibTeX RDF	display position, input control space orientation, input-output mappings, spatial transformation, performance
19	Jessica Chen, Lihua Duan	Optimal Synchronizable Test Sequence from Test Segments.	QSIC	2006	DBLP DOI BibTeX RDF	unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing
19	Neil A. Dodgson	Autostereoscopic 3D Displays.	Computer	2005	DBLP DOI BibTeX RDF	3D displays, autostereoscopic displays, display technology, input/output devices, parallax, 3D TV
19	Oliver Bimber	Guest Editor's Introduction: The Ultimate Display--What Will It Be?	Computer	2005	DBLP DOI BibTeX RDF	3D displays, holography, volumetric displays, autostereoscopic displays, display technology, input/output devices
19	George T. Gray, Ronald Q. Smith	Sperry Rand's First Generation Computers, 1955-1960: Hardware and Software.	IEEE Ann. Hist. Comput.	2004	DBLP DOI BibTeX RDF	core memory, magnetic amplifiers, index registers, drum memory, magnetic tape, buffered input/output, compilers, assemblers, UNIVAC
19	Nancy Tran, Daniel A. Reed	Automatic ARIMA Time Series Modeling for Adaptive I/O Prefetching.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	adaptive prefetching, wavelets, time series analysis, pattern analysis, access patterns, least squares methods, Input/output, performance modeling and prediction
19	Fredrik Winberg, John Bowers 0001	Assembling the senses: towards the design of cooperative interfaces for visually impaired users.	CSCW	2004	DBLP DOI BibTeX RDF	auditory input/output, qualitative empirical methods, sound in the user-interface, universal (or disability) access, collaboration, CSCW, user interface design, assistive technologies, sonification, conversation analysis, interaction analysis, cross-modal interaction
19	Christopher Drackett, Victoria Fong, Judy Ko, Saki Tanaka, Salma Ting	Global garden: a vision of the universal scoring device.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	individual expression, input/output integration, non-numerical, scoring device, connect, wearable, intuitive interaction
19	Scott M. Thayer, Peter Steenkiste	An Architecture for the Integration of Physical and Informational Spaces.	Pers. Ubiquitous Comput.	2003	DBLP DOI BibTeX RDF	Distraction-free, Multi-modal input-output, Pervasive computing, Context-aware computing
19	Pankaj Mehra	The Quest for the Perfect Server for Network Computing Applications.	NCA	2003	DBLP DOI BibTeX RDF	input/output (I/O), web services, computer architecture, memory hierarchy
19	Kurt Partridge, Saurav Chatterjee, Vibha Sazawal, Gaetano Borriello, Roy Want	TiltType: accelerometer-supported text entry for very small devices.	UIST	2002	DBLP DOI BibTeX RDF	accelerometer applications, wristwatch computers, mobile devices, wearable computing, interaction techniques, text entry, input/output devices
19	James D. Lane, Vali Lalioti	Interacting with reflections in virtual environments.	Afrigraph	2001	DBLP DOI BibTeX RDF	Virtual reality, Input devices, Camera calibration, Scene Analysis, Input/Output Devices
19	Krzysztof Diks, Andrzej Pelc	Optimal Adaptive Broadcasting with a Bounded Fraction of Faulty Nodes.	Algorithmica	2000	DBLP DOI BibTeX RDF	Independence system, Input / output selection, Combinatorial optimization, Maximal independent set
19	Rajesh Bordawekar	Quantitative Characterization and Analysis of the I/O Behavior of a Commercial Distributed-Shared-Memory Machine.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	operating/file systems, distributed-shared-memory architecture, performance evaluation, clustered computing, shared-memory programming, Input-output
19	Robert Fenk, Akihiko Kawakami, Volker Markl, Rudolf Bayer, Shunji Osaki	Bulk Loading a Data Warehouse Built Upon a UB-Tree.	IDEAS	2000	DBLP DOI BibTeX RDF	input output cost, CPU cost, data mining, relational database, data warehouses, data warehouse, OLAP, large data sets, bulk loading, multidimensional index structure, UB-Tree
19	A. Al-Badarneh, Farshad Fotouhi	The SBS: An Efficient Index Structure for Spatial Database Applications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	SBS index structure, spatial data access, Spatial Bit-Sliced index, Bit-Sliced indexing method, input output performance, loading algorithms, insertion algorithms, deletion algorithms, TIGER data files, data structure, spatial database, visual databases, performance improvement, bitmap indexing, R*-tree
19	Gagan Agrawal	A General Interprocedural Framework for Placement of Split-Phase Large Latency Operations.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Memory hierarchy transformations, data-flow analysis, interprocedural analysis, code motion, input/output
19	Divyesh Jadav, Alok N. Choudhary, P. Bruce Berra	Techniques for Increasing the Stream Capacity of A High-Performance Multimedia Server.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Parallel input/output, media-on-demand server, real-time data retrieval, dynamic resource allocation, file replication
19	Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch	Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.	J. ACM	1998	DBLP DOI BibTeX RDF	Orca programming language, input/output automata, ordered multicast, formal methods, distributed shared memory, replicated data
19	Tanya Goette	Factors Leading to the Successful Use of Voice Recognition Technology.	International ACM Conference on Assistive Technologies	1998	DBLP DOI BibTeX RDF	speech and voice, user studies, empirical studies, motor disabilities, input/output devices, disability access
19	Maarten van Dantzich	Visualization is a State of Mind.	Workshop on New Paradigms in Information Visualization and Manipulation	1997	DBLP DOI BibTeX RDF	audio input/output, visualization, information retrieval, graphical user-interfaces, design techniques