The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase input/output (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1962 (16) 1963-1965 (16) 1966-1968 (19) 1969-1971 (18) 1972-1974 (21) 1975-1976 (24) 1977 (20) 1978-1979 (18) 1980-1981 (20) 1982-1983 (25) 1984-1985 (24) 1986-1987 (26) 1988 (23) 1989 (24) 1990 (37) 1991 (28) 1992 (24) 1993 (37) 1994 (42) 1995 (58) 1996 (72) 1997 (56) 1998 (67) 1999 (91) 2000 (105) 2001 (110) 2002 (114) 2003 (124) 2004 (189) 2005 (197) 2006 (215) 2007 (230) 2008 (255) 2009 (150) 2010 (77) 2011 (70) 2012 (76) 2013 (88) 2014 (81) 2015 (100) 2016 (94) 2017 (66) 2018 (93) 2019 (91) 2020 (70) 2021 (105) 2022 (104) 2023 (111) 2024 (22)
Publication types (Num. hits)
article(1591) book(2) data(1) incollection(38) inproceedings(2082) phdthesis(29)
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
98Vincent J. DiGri, Jane E. King The Share 709 System: Input-Output Translation. Search on Bibsonomy J. ACM The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
85Hyoung-Il Lee, Seung-Woo Seo Matching output queueing with a multiple input/output-queued switch. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF combined input/output-queued (CIOQ) switch, multiple input/output-queued (MIOQ) switch, output queueing emulation, parallel switching architecture
81René de Vogelaere Algorithms: Algorithm 335: a set of basic input-output procedures. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational
73Steven H. Vanderleest, Ravishankar K. Iyer Heterogeneous I/O Contention in a Single-Bus Multiprocessor. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Rajesh Bordawekar, Alok N. Choudhary Issues in Compiling I/O Intensive Problems. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Peter F. Corbett, Dror G. Feitelson, Sam Fineberg, Yarsun Hsu, Bill Nitzberg, Jean-Pierre Prost, Marc Snir, Bernard Traversat, Parkson Wong Overview of the MPI-IO Parallel I/O Interface. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73J. Bartlett Sinclair, J. Tang, Peter J. Varman Placement-Related Problems in Shared Disk I/O. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Gerhard A. Schloss, Michael Vernick HCSA: A Hybrid Client-Server Architecture. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Sandra Johnson Baylor, C. Eric Wu Parallel I/O Workload Characteristics Using Vesta. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Elizabeth Shriver, Mark H. Nodine An Introduction to Parallel I/O Models and Algorithms. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Steven A. Moyer, Vaidy S. Sunderam Scalable Concurrency Control for Parallel File Systems. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Rajeev Thakur, Alok N. Choudhary Runtime Support for Out-of-Core Parallel Programs. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Ravi Jain, John Werth, James C. Browne I/O in Parallel and Distributed Systems: An Introduction. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski An Experimental Active-Memory-Based I/O Subsystem. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Haruo Yokota, Yasuyuki Mimatsu A Scalable Disk System with Data Reconstruction Functions. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73David Kotz Introduction to Multiprocessor I/O Architecture. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Dannie Durand, Ravi Jain, David Tseytlin Improving the Performance of Parallel I/O Using Distributed Scheduling Algorithms. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Sandra Johnson Baylor, Caroline Benveniste, Yarsun Hsu Performance Evaluation of a Massively Parallel I/O Subsystem. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Edgar T. Kalns, Yarsun Hsu Video on Demand Using the Vesta Parallel File System. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
73Nils Nieuwejaar, David Kotz Low-Level Interfaces for High-Level Parallel I/O. Search on Bibsonomy Input/Output in Parallel and Distributed Computer Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Sergio Scandizzo Connectivity and the measurement of operational risk: an input-output approach. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Input-output models, Operational risk measurement, Complexity, Connectivity
46Tsern-Huei Lee, Ying-Che Kuo Performance Evaluation of Combined Input Output Queued Switch with Finite Input and Output Buffers. Search on Bibsonomy ICOIN (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
44Songnian Zhou A Trace-Driven Simulation Study of Dynamic Load Balancing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF homogeneous distributed systems, job transfer, job response times, scheduling, scheduling, broadcasting, distributed databases, dynamic load balancing, trace-driven simulation, CPU, input/output, input-output programs, message exchange
43Shouhong Wang The Neural Network Approach to Input-Output Analysis for Economic Systems. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Input-Output analysis, Layered neural network, Econometrics
42Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
42Xiaoshen Li, Giorgio A. Ascoli Computational simulation of the input-output relationship in hippocampal pyramidal cells. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CA1, Spiking rate, Synaptic integration, Synchrony, Compartmental models
42Chao-Ju Hou, Ching-Chih Han, Wun-Chun Chau Priority-based high-speed switch scheduling for ATM networks. Search on Bibsonomy LCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF iterated switching networks, priority-based high-speed switch scheduling, AN2 switch, parallel iterative matching algorithm, maximal input-output matching, priority lists, input/output pairs, probability analysis, switch size, high QoS requirements, simulation, scheduling, parallel algorithms, computational complexity, asynchronous transfer mode, probability, local area networks, iterative methods, time complexity, ATM networks, iterations, switches, high-performance distributed computing
41Josep Carmona 0001, Jordi Cortadella Input/Output Compatibility of Reactive Systems. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
39Abdeslam En-Nouaary, Rachida Dssouli A Guided Method for Testing Timed Input Output Automata. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
39Hong Shi, Naeem Abbasi, Charles A. Zukowski, Omar Wing Buffer size trade-offs in input/output buffered ATM switches under various conditions. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF buffer size trade-offs, input/output buffered ATM switches, nonlinear complex relationship, average packet delay, speed-up factors, VLSI design, telecommunication traffic, packet loss probability, traffic conditions
39Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo Testing Transition Systems with Input and Output Testers. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF input/output transition system, test generation, fault model, conformance testing
38Jorge Arellano-Cid, Horst H. von Brand Network Programming Internals of the Dillo Web Browser. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Dillo, delay sources, signal driven input output, nonblocking main thread, overlapping waiting times, Internet, delays, programming, threads, Web browser, multi-threading, network programming, input-output programs, online front-ends
38Peter J. Denning Operating Systems: A statistical model for console behavior in multiuser computers. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF input-output design, statiscal models for input-output, operating system design
37Walter Dosch Enriching the Input Interface of Interactive Components with Undo Commands. Search on Bibsonomy SERA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Interactive component, interface refinement, undo command, input/output behaviour, state transition table, state transition machine
37Patrick J. Schroeder, Bogdan Korel Black-box test reduction using input-output analysis. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF input-output analysis, test reduction, black-box testing, combinatorial testing
36Walter Dosch Extending the Service Domain of Interactive Components. Search on Bibsonomy SERA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interactive component, input/output behaviour, stream function, service, state transition machine
36Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
35Edurne Larraza-Mendiluze, Nestor Garay-Vitoria Changing the learning process of the input/output topic using a game in a portable console. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF computer input/output, face to face collaborative learning, computing curricula
35Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Timed Input Output Automata, Real-Time Systems, Testing, Formal Methods, Test Coverage
35Yang Yue, Gao Jiao, He Haiyan Study on Optimization of Anti-dumping Duty Rate Based on Linear Programming Model of Input-output Method. Search on Bibsonomy IITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF anti-dumping duty rate, input-output method, anti-dumping, linear programming, optimization model
35Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil A Temporal Logic for Input Output Symbolic Transition Systems. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
35Pedro D. Medeiros, Vítor Duarte, Maria Cecilia Gomes, Rui F. Marques Using a PC simulator to illustrate input-output programming techniques. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual machine, computer architecture, teaching, input output programming
35Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo, Wen-Bin Liao Easily Testable Data Path Allocation Using Input/Output Registers. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF testable data path allocation, behavioral synthesis systems, input/output registers, interconnection allocation, module allocation, higher fault coverage, lower hardware overhead, improved testability, VLSI synthesis, optimization, algorithms, benchmarks, ATPG, DFT, register allocation, circuit optimisation, RTL design
34Walter Dosch Coordinating Almost Synchronous Communication Streams. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine
34Kui Xiang, Xixiu Wu, Jian Fu, Jing Chen Input-output model of time series based on ESN. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Kou Yamada, Makoto Kowada The Parametrization of All Stabilizing Multi-Period Repetitive Controllers for Time-Delay Systems with The Specified Input-Output Frequency Characteristics. Search on Bibsonomy ICICIC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34H. Ying Deriving Analytical Input-Output Relationship for Fuzzy Controllers Using Arbitrary Input Fuzzy Sets and Zadeh Fuzzy AND Operator. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Margus Veanes, Nikolaj S. Bjørner Input-Output Model Programs. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Thomas R. Leap Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Modula-2
31Kyungno Lee, Doo Yong Lee MIMO Output Estimation With Reduced Multirate Sampling for Real-Time Haptic Rendering. Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Rui Chen, Xiuheng Zhao Input-Output Analysis Model and Prediction on Uncertain Economic System. Search on Bibsonomy FSKD (5) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF uncertain economic system, direct consume coefficient, RAS-method, input-output, grey theory
31Maris Tõnso, Ülle Kotta Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF input-output models, polynomial methods, state space realization, nonlinear control system, continuous-time system
31Hiroyuki Ohsaki, Naoki Wakamiya, Masayuki Murata 0001, Hideo Miyahara Performance of an input/output buffered-type ATM LAN switch with back-pressure function. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF back-pressure function, input/output buffered type switch, bursty traffic, ATM LAN
31Hideyuki Hayashi, Sheila Duncan, Susumu Kuno Computational Linguistics: Graphical input/output of nonstandard characters. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF PDP-1, Rand Tablet, automatic typesetting, graphical input, man-machine communication, on-line editing, orthography, computer graphics, input/output, Chinese characters
31Y.-M. Deng, Shu Beng Tor, G. A. Britton Abstracting and Exploring Functional Design Information for Conceptual Mechanical Product Design. Search on Bibsonomy Eng. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Input-output flow-of-action, Mechanical product design, Design information, Functional design
31Hacène Fouchal, Eric Petitjean, Sébastien Salva Testing timed systems with timed purposes. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory
31Gregor von Bochmann, Rachida Dssouli, J. R. Zhao Trace Analysis for Conformance and Arbitration Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
31Mike Adler An Algebra for Data Flow Diagram Process Decomposition. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF data flow diagram process decomposition, De Marco representation scheme, input/output connectivity matrix, software engineering, software engineering, program verification, directed graphs, directed acyclic graph, grammar, programming theory, top-down method
29Yan Li, Heung-Yeung Shum Learning dynamic audio-visual mapping with input-output Hidden Markov models. Search on Bibsonomy IEEE Trans. Multim. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Xian Cheng, Oliver C. Ibe Reliability of a Class of Multistage Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extra-stage interconnectionnetworks, fault-free path, input-output pair, networkreliability, broadcast reliability, recursive expression, lower bound, probability, multiprocessor interconnection networks, upper bound, multistage interconnection networks, tight bounds, reliability theory, terminal reliability
28Mahmoud Elhaddad, Rami G. Melhem On the Emulation of Finite-Buffered Output Queued Switches Using Combined Input-Output Queuing. Search on Bibsonomy DISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Faisal Ghias Mir, Jesper Larsson Träff Constructing MPI Input-output Datatypes for Efficient Transpacking. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Fatemeh Tahersima, Babak Nadjar Araabi Approximation of a map and its derivatives with an RBF Network using input-output clustering. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Tara M. Madhyastha, Daniel A. Reed Learning to Classify Parallel Input/Output Access Patterns. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF access pattern classification, neural networks, hidden Markov models, Parallel I/O, adaptive policies
28Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
28Gerhard Galán, Juris Muñoz A New Input-Output Function for Binary Hopfield Neural Networks. Search on Bibsonomy IWANN (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber Automated implementation of complex distributed algorithms specified in the IOA language. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator
27Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets. Search on Bibsonomy NCA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java sockets, dynamic participation, input/output automata, Asynchronous communication
27Roberto Setola Analysis of Interdependencies Between Italy's Economic Sectors. Search on Bibsonomy Critical Infrastructure Protection The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Italy, economic sectors, input-output inoperability model, interdependencies
27Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil Symbolic Execution Techniques for Test Purpose Definition. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
27Andrew Guillory, Hai Nguyen, Tucker R. Balch, Charles Lee Isbell Jr. Learning executable agent behaviors from observation. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF input/output hidden markov models, behavior modeling
27Randall W. Jackson The impacts of Walter Isard on geography. Search on Bibsonomy J. Geogr. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Walter Isard, Geography, Input-Output
27Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli Testing embedded real-time systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
27Dimitrios Karayiannis, Spyros Tragoudas Uniform area timing-driven circuit implementation. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF circuit module, cell library, input-output paths, overall area, timing-driven circuit implementation, computational complexity, heuristics, CAD, delays, timing, sequential circuits, sequential circuits, NP-hard, directed graphs, combinational circuits, combinational circuits, logic CAD, polynomial time algorithm, directed acyclic graphs, circuit CAD, cellular arrays, propagation delay
27Takeshi Yamakawa, Eiji Uchino, Tsutomu Miki, M. Takayama An approach to design fuzzy IF-THEN rules for fuzzy-controlled static VAr compensator. Search on Bibsonomy ANNES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static VAr compensators, power system control, voltage control, fuzzy IF-THEN rule design, fuzzy-controlled static VAr compensator, three-phase electric power system, fuzzy-controlled nonlinear MIMO systems, automatic rule design, input-output data, fuzzy control, MIMO systems, expert knowledge, nonlinear control systems
27Yutaka Kataoka, Masato Morisaki, Hiroshi Kuribayashi, Hiroyoshi Ohara A Model for Input and Output for Multilingual Text in a Windowing Environment. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF X window systems, multiwindow, output method, localization, linguistics, multilingual, internationalization, input/output, input method
27Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan Testing Systems Specified as Partial Order Input/Output Automata. Search on Bibsonomy TestCom/FATES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
26Wei Xing Zheng 0001 Identification of noisy input-output models using the least-squares based methods. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yukio Horiguchi, R. Fukuju, Tetsuo Sawaragi Differentiation of input-output relations to facilitate user's correct awareness of operating mode of automated control system. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25B. Ravi Kishore, Rubin A. Parekhji, Sandeep Pagey, Sunil D. Sherlekar, G. Venkatesh 0001 A new methodology for the design of low-cost fail safe circuits and networks. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF low-cost fail safe circuits, safety critical electronic systems, input-output encoding problems, output encoding technique, low-cost design, systematic framework, graph theory, design methodology, encoding, combinational circuits, combinational circuits, graph embedding, graceful degradation, logic partitioning
25Thomas Ragg, Steffen Gutjahr Automatic determination of optimal network topologies based on information theory and evolution. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimal network topology, automatic topology determination, learning task, input-output relation, neural unit sorting, intelligent mutation operator, input unit ranking, efficient optimization technique, network scalability, evolutionary algorithm, benchmarks, evolution, information theory, network topology, multilayer perceptrons, network performance, information content, list, network size
25Beng-Heok Tan, A. Wahah, Eng Chong Tan A neural approach to optical image reconstruction. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Fourier transform optics, optical elements, neural approach, optical image reconstruction, Fourier optical signal processing, digital signal system, coherent light source, HeNe laser, avalanche effects, input/output approach, initial guess object, phase-retrieval problem, Fourier-transformed optical image, optical lens system, HeNe, neural networks, image reconstruction, iterative methods, neural nets, Fourier transforms, Fourier transform, optical information processing, power spectral density, lenses
24Haijing Wang, Jinzhu Peng, Fangfang Zhang 0004, Yaonan Wang 0001 Safety-Based Dynamic Output Feedback Tracking Control of Time-Varying Input-Output Linearizable Systems With Output Constraints. Search on Bibsonomy IEEE Trans. Circuits Syst. II Express Briefs The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Si Chen, Weilun Huang Innovation input-output and output-lagged input relationships of the next-generation information industry in China. Search on Bibsonomy Inf. Process. Manag. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Menghua Chen, Jian Sun 0003 Input-Output Finite-Time Reliable Static Output Control of Time-Varying System With Input Delay. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Ihab Haidar, Florentina Nicolau, Jean-Pierre Barbot, Woihida Aggoune Input-output linearization of non-linear time-varying delay systems: the single-input single-output case. Search on Bibsonomy IMA J. Math. Control. Inf. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Gangan Prathap Totalized input-output assessment of research productivity of nations using multi-dimensional input and output. Search on Bibsonomy Scientometrics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Livio Robaldo, Xin Sun 0001 Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Tatsuya Sakanushi, Kou Yamada, Jie Hu The parameterization of all robust stabilizing simple multi-period repetitive controllers for multiple-input/multiple-output plants with specified input-output frequency characteristic. Search on Bibsonomy ACC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Ricardo G. Sanfelice Results on input-to-output and input-output-to-state stability for hybrid systems and their interconnections. Search on Bibsonomy CDC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24David Makinson, Leendert W. N. van der Torre What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
24Changyan Zhou, Ratnesh Kumar 0001 Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Simone Paoletti, Andrea Garulli, Jacob Roll, Antonio Vicino A necessary and sufficient condition for input-output realization of switched affine state space models. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Lan Zhao, D. M. H. Walker, Fabrizio Lombardi IDDQ Testing of Input/Output Resources of SRAM-Based FPGAs. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Prabhas Chongstitvatana, Chatchawit Aporntewan Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences. Search on Bibsonomy Evolvable Hardware The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Jerzy Tiuryn, Mitchell Wand Untyped Lambda-Calculus with Input-Output. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3743 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license