|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2063 occurrences of 1395 keywords
|
|
|
Results
Found 3743 publication records. Showing 3743 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | David K. Probst, Hon Fung Li |
Verifying Timed Behavior Automata with Input/Output Critical Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 424-437, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Donald E. Knuth |
A proposal for input-output conventions in ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(5), pp. 273-283, 1964. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 26(3), pp. 217-229, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 156-165, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(7), pp. 486-490, 1971. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 263-272, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 137-152, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 169-176, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(1), pp. 111-159, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(11), pp. 1723-1744, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 816-823, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland, pp. 397-400, 2008, IEEE Computer Society, 978-0-7695-3297-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCHI ![In: Computer-Human Interaction, 8th Asia-Pacific Conference, APCHI 2008, Seoul, Korea, July 6-9, 2008, Proceedings, pp. 284-291, 2008, Springer, 978-3-540-70584-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, pp. 268-282, 2008, Springer, 978-3-540-88732-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 15(3), pp. 201-221, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 90-106, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 460-477, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, San Francisco, California, USA, September 24-27, 2005, pp. 2-10, 2005, ACM, 1-59593-149-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 388-396, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(1), pp. 1-31, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(5), pp. 433-447, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 794-801, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 20-22 October 1997, Paris, France, pp. 76-84, 1997, IEEE Computer Society, 0-8186-8168-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 254-261, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 2-11, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 45-50, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 284-293, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(12), pp. 1322-1328, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 72-87, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 553-564, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1325-1336, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(5), pp. 523-536, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 497-506, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 99(4-5), pp. 393-401, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(5), pp. 653-665, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 409-414, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-port networks, decentralized, model order reduction |
22 | Martin Weiglhofer, Franz Wotawa |
Asynchronous Input-Output Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 154-159, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Christine T. Cheng, Adrian Dumitrescu, Patrick J. Schroeder |
Generating Small Combinatorial Test Suites to Cover Input-Output Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 76-82, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana |
Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998, Proceedings, pp. 98-105, 1998, Springer, 3-540-64954-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings, pp. 436-445, 2005, Springer, 3-540-29013-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Matthew Andrews, Lisa Zhang |
Scheduling protocols for switches with large envelopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 6-8, 2002, San Francisco, CA, USA., pp. 443-452, 2002, ACM/SIAM, 0-89871-513-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 277-280, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICON ![In: Proceedings of the 15th IEEE International Conference on Networks, ICON 2007, 19-21 November 2007, Adelaide, Australia, pp. 324-329, 2007, IEEE, 1-4244-1230-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Zhongjie Li, Xia Yin, Jianping Wu |
Distributed Testing of Multi Input/Output Transition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 271-280, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 841-846, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tao Huang 0019, Anthony Chung |
Finding Narrow Input/Output (NIO) Sequences by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 283-289, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 708-717, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 171-185, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2200-2204, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michiel van Osch |
Hybrid Input-Output Conformance and Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 70-84, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 1206-1213, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 1145-1154, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Wei Xing Zheng 0001 |
A modified identification algorithm for linear systems with noisy input-output data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 496-499, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nirmal Singh, Renu Vig, J. K. Sharma |
Identification of MIM0 Systems by Input-Output Takagi-Sugeno Fuzzy Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II, pp. 1050-1061, 2001, Springer, 3-540-42233-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Wei Xing Zheng 0001 |
A computationally efficient scheme for estimating linear noisy input-output systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 117-120, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 639-642, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Barbara König 0001 |
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 403-414, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 480-486, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Alfred Rosskopf |
Reusable Input/Output Packages for Ada Avionic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings, pp. 338-360, 1991, Springer, 3-540-54092-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 253-258, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 17(9), pp. 1195-1208, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 479-488, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 464-467, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiMob ![In: Actes des 5èmes journées francophones Mobilité et Ubiquité 2009, UBIMOB'09, 7-8 Juillet 2009, Lille, France, pp. 83-86, 2009, ACM, 978-1-60558-622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 447-458, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(3), pp. 359-374, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(1), pp. 25-40, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM (2) ![In: NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 2, pp. 400-405, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Revolutions ![In: IT Revolutions - First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers, pp. 225-231, 2008, Springer, 978-3-642-03977-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 174-188, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 199-208, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 146-162, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 28(3), pp. 197-226, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 2037-2042, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(8), pp. 962-973, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(4), pp. 656-680, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(2), pp. 83-89, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 309-318, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 266-273, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 38(8), pp. 31-36, 2005. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 38(8), pp. 29-30, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 26(4), pp. 20-34, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(4), pp. 362-377, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2004 ACM Conference on Computer Supported Cooperative Work, CSCW 2004, Chicago, Illinois, USA, November 6-10, 2004, pp. 332-341, 2004, ACM, 1-58113-810-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1646-1650, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 7(2), pp. 82-90, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 16-18 April 2003, Cambridge, MA, USA, pp. 215-218, 2003, IEEE Computer Society, 0-7695-1938-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, Paris, France, October 27-30, 2002, pp. 201-204, 2002, ACM, 1-58113-488-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 1st International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2001, Camps Bay, Cape Town, South Africa, November 5-7, 2001, pp. 87-93, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 28(1), pp. 37-50, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(5), pp. 509-526, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 179-187, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 856-860, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(4), pp. 394-413, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(2), pp. 284-302, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(1), pp. 35-69, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International ACM Conference on Assistive Technologies ![In: Proceedings of the Third International ACM Conference on Assistive Technologies, ASSETS 1998, Marina del Rey, CA, USA, April 15-17, 1998, pp. 189-196, 1998, ACM, 1-58113-020-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on New Paradigms in Information Visualization and Manipulation ![In: Proceedings of the Workshop on New Paradigms in Information Visualization and Manipulation, NIPV 1997, in conjuction with CIKM 1997, November 10-14, 1997, Las Vegas, NV, USA, pp. 29-31, 1997, ACM, 978-1-58113-051-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
audio input/output, visualization, information retrieval, graphical user-interfaces, design techniques |
Displaying result #101 - #200 of 3743 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|