The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Operational with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1959 (18) 1961-1964 (17) 1965-1968 (19) 1969-1973 (21) 1974-1975 (22) 1976 (17) 1977 (15) 1978 (24) 1979-1980 (30) 1981 (20) 1982 (33) 1983 (32) 1984 (38) 1985 (30) 1986 (27) 1987 (49) 1988 (70) 1989 (76) 1990 (95) 1991 (97) 1992 (124) 1993 (118) 1994 (122) 1995 (137) 1996 (173) 1997 (175) 1998 (199) 1999 (263) 2000 (323) 2001 (327) 2002 (424) 2003 (477) 2004 (596) 2005 (731) 2006 (804) 2007 (834) 2008 (832) 2009 (737) 2010 (305) 2011 (269) 2012 (282) 2013 (290) 2014 (323) 2015 (338) 2016 (404) 2017 (335) 2018 (405) 2019 (465) 2020 (499) 2021 (438) 2022 (470) 2023 (451) 2024 (141)
Publication types (Num. hits)
article(4607) book(15) data(2) incollection(76) inproceedings(8692) phdthesis(137) proceedings(32)
Venues (Conferences, Journals, ...)
CoRR(324) WSC(196) IGARSS(183) Eur. J. Oper. Res.(169) Remote. Sens.(165) HICSS(124) IEEE Access(104) EXPRESS/SOS(98) HCI (16)(97) ISCAS(97) J. Oper. Res. Soc.(84) Sensors(79) POPL(67) ISCAS (1)(66) IROS(65) CONCUR(62) More (+10 of total 3147)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7157 occurrences of 3537 keywords

Results
Found 13561 publication records. Showing 13561 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Mohammad Reza Mousavi 0001, Michel A. Reniers Orthogonal Extensions in Structural Operational Semantics. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
44Peter G. Bishop Rescaling reliability bounds for a new operational profile. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF operational reliability testing, operational profile, worst case bounds
44Jim Goodwin, Richard Jones, Garry Morissette CROSSFIRE: an IDE for operational training. Search on Bibsonomy SpringSim (3) The full citation details ... 2007 DBLP  BibTeX  RDF cognitive readiness, operational training, intelligent agents, integrated development environment
44Zakarya A. Alzamil Application of the operational profile in software performance analysis. Search on Bibsonomy WOSP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF redundant computation, software performance analysis, program optimization, operational profile
43Rong Liu, Kamal Bhattacharya, Frederick Y. Wu Modeling Business Contexture and Behavior Using Business Artifacts. Search on Bibsonomy CAiSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Business contexture, business behavior, operational patterns, operational modeling, business artifacts
39Frits W. Vaandrager Expressive Results for Process Algebras. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
36José Vicente Calvano, Vladimir Castro Alves, Marcelo Lubaszewski Testing a PWM circuit using functional fault models and compact test vectors for operational amplifiers. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PWM circuit, compact test vectors, analog VLSI technology, functional fault macromodels, compact test vector construction, open loop gain, CMMR, analog circuit simulation complexity, VLSI, integrated circuit testing, design for testability, automatic test pattern generation, fault modeling, fault simulation, fault simulation, operational amplifiers, operational amplifiers, test pattern, functional fault models, analogue circuits, fault dictionary, pulse width modulation, slew-rate
36Karim Arabi, Bozena Kaminska, Stephen K. Sunter Design for testability of integrated operational amplifiers using oscillation-test strategy. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF integrated operational amplifiers, oscillation-test strategy, vector-less test solution, test mode, oscillation frequency, nominal tolerance, digital circuitry, high fault coverage, simulation, design for testability, design for testability, oscillators, operational amplifiers, Monte Carlo analysis
36Hassan Ihs, Christian Dufaza Tolerance DC bands of CMOS operational amplifier. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF tolerance DC bands, CMOS operational amplifier, DC node voltages, data tolerance bands, foundry process fluctuations, DC branch current, OA, supply voltage, catastrophic defects, transistor connections, optimization, fault diagnosis, integrated circuit testing, fault detection, fault model, fault simulation, circuit optimisation, operational amplifiers, integrated circuit modelling, transistor size, CMOS analogue integrated circuits, design parameters
36Alessandro Antonucci 0001, Alberto Piatti, Marco Zaffalon Credal Networks for Operational Risk Measurement and Management. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Credal networks, Operational Risk, Imprecise probabilities
36Ahmed Al-Emran, Dietmar Pfahl Operational Planning, Re-planning and Risk Analysis for Software Releases. Search on Bibsonomy PROFES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software release planning, risk analysis, process simulation, operational planning
36Bev Littlewood, David Wright 0001 Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
36George A. Hadgis, P. R. Mukund A novel CMOS monolithic analog multiplier with wide input dynamic range. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF analogue multipliers, circuit feedback, CMOS monolithic analog multiplier, input dynamic range, voltage-controlled variable linear resistor, feedback network, PSpice simulation results, circuit analysis computing, linearity, SPICE, operational amplifiers, operational amplifier, CMOS analogue integrated circuits
32Diana Heckl, Jürgen Moormann Operational control of service processes: modularization as precondition. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational process control, process model design, modularization
32Fanjun Meng, Jianping Li 0001, Lijun Gao ERM-POT Method for Quantifying Operational Risk for Chinese Commercial Banks. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF operational risk, EVT, POT, VaR, ERM
32Andrew Butterfield, Jim Woodcock 0001 prialt in Handel-C: an operational semantics. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Operational semantics, Priority, Handel-C
32Günther Ruhe, Joseph Momoh Strategic Release Planning and Evaluation of Operational Feasibility. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ReleasePlanner, Decision Support, Case Study, Tool Support, Stakeholder, Strategic Planning, Release Planning, Operational Planning, Resource Planning
32Jörn Freiheit, Jonathan Billington Using TimeNET to Evaluate Operational Planning Processes. Search on Bibsonomy Business Process Management The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Operational planning processes, performance analysis
32Jean Ferrié, Nicolas Vidot, Michèle Cart Concurrent Undo Operations in Collaborative Environments Using Operational Transformation. Search on Bibsonomy CoopIS/DOA/ODBASE (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Distributed collaborative systems, copies consistency, concurrent undo, operational transformations
32Sergio 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
32Jonathan Ford, Ian A. Mason Formal Foundations of Operational Semantics. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF contexts, theorem proving, operational semantics, PVS, calculus
32Abdur Chowdhury, Greg Pass Operational requirements for scalable search systems. Search on Bibsonomy CIKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF operational requirements, search scalability
32Huibiao Zhu, Yongxin Zhao, Jifeng He 0001 Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur The Refined Operational Semantics of Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Daniel A. Sadilek Prototyping domain-specific language semantics. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF language engineering, domain-specific languages, metamodelling, operational semantics
30Don M. Tucker, Phan Luu Operational Brain Dynamics: Data Fusion Technology for Neurophysiological, Behavioral, and Scenario Context Information in Operational Environments. Search on Bibsonomy HCI (16) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information systems, EEG, brain activity, neuroergonomics
29Henry Lee The operational risk tree methodology for managing operational risk exposure and measuring capital requirements. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interoperability, Operational semantics
28Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022 A Graph-Based Operational Semantics of OO Programs. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF state graphs, operational semantics, object graphs, OO programs
28Jijun Lin, Olivier de Weck, Richard de Neufville, Bob Robinson, David MacGowan Designing Capital-Intensive Systems with Architectural and Operational Flexibility Using a Screening Model. Search on Bibsonomy Complex (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF screening model, capital-intensive systems, architectural flexibility, operational flexibility, uncertainty, Monte Carlo simulation
28Tom Ridge Verifying distributed systems: the operational approach. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
28Andriy V. Miranskyy, Enzo Cialini, David Godwin Selection of customers for operational and usage profiling. Search on Bibsonomy DBTest The full citation details ... 2009 DBLP  DOI  BibTeX  RDF customer usage, data mining, optimization, customers, operational profile
28Nicholas Paul Sheppard, Reihaneh Safavi-Naini On the operational semantics of rights expression languages. Search on Bibsonomy Digital Rights Management Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, digital rights management, rights expression languages
28Valerio Grossi, Andrea Romei, Salvatore Ruggieri A Case Study in Sequential Pattern Mining for IT-Operational Risk. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pre and post-processing, operational risk, sequential pattern
28David Kubánek, Kamil Vrba Second-Order State-Variable Filter with Current Operational Amplifiers. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Current operational amplifier, Current mode, Active filter
28Rui Li 0018, Du Li A New Operational Transformation Framework for Real-Time Group Editors. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF groupware, operational transformation, group editors, Consistency control
28Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062 An Operational Approach to BPEL-like Programming. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
28David Kubánek, Kamil Vrba Second-Order Multifunction Filters with Current Operational Amplifiers. (PDF / PS) Search on Bibsonomy PWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF current operational amplifier, current mode, active filter
28Zhiyuan Li, Fengchang Lai, Mingyan Yu Low-noise high-precision operational amplifier using vertical NPN transistor in CMOS technology. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF V-NPN transistor, deep n-well CMOS process, high-precision, input bias current cancellation, operational amplifier, low-noise
28Aguido Horatio Davis, Chengzheng Sun, Junwei Lu Generalizing operational transformation to the standard general markup language. Search on Bibsonomy CSCW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF groves, synchronous collaborative editing, XML, XML, computer supported cooperative work, HTML, SGML, SGML, SGML, operational transformation
28Soon-Jyh Chang, Chung-Len Lee 0001, Jwu E. Chen Functional test pattern generation for CMOS operational amplifier. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional test pattern generation, CMOS operational amplifier, programmable gain/loss mixed signal circuit, op amp testing, IC testing, CMOS analogue integrated circuits
28Philippe Pichon CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF XInAda, Ada, parallel I/Os, Operational, MMI, HOOD
28Qian Chen, Jinlin Li, Lun Ran A Frame of Operational Risk Management System Based on Case-Based Reasoning. Search on Bibsonomy WKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Mass Soldal Lund, Ketil Stølen A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Chin-Yu Huang, Chu-Ti Lin, Chuan-Ching Sue Software reliability prediction and analysis during operational use. Search on Bibsonomy ITRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Alessandro Rigallo, Anna Lisa Stringa, Fabrizio Verroca Real-time monitoring and operational assistant system for mobile networks. Search on Bibsonomy NOMS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Jiunn-Lin Wu, Chin-Hsing Chen, Chih-Fan Chen A Unified Derivation of Operational Matrices for Integration in Systems Analysis. Search on Bibsonomy ITCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Healfdene Goguen Soundness of the Logical Framework for Its Typed Operational Semantics. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Michael Böhnlein, Achim Ulbrich-vom Ende Deriving Initial Data Warehouse Structures from the Conceptual Data Models of the Underlying Operational Information Systems. Search on Bibsonomy DOLAP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF entity relationship model (ERM), snowflake scheme, star scheme, structured entity relationship model (SERM), decision support system, data warehouse, conceptual data model
28Jaime Velasco-Medina, Marcelo Lubaszewski, Michael Nicolaidis An Approach to the On-Line Testing of Operational Amplifiers. Search on Bibsonomy Asian Test Symposium The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Daniele Turi, Gordon D. Plotkin Towards a Mathematical Operational Semantics. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Yin-Chao Huang, Chung-Len Lee 0001, Jun-Weir Lin, Jwu E. Chen, Chauchin Su A methodology for fault model development for hierarchical linear systems. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF closed loop systems, hierarchical linear systems, transfer function model, open-loop, element faults, benchmark state-variable filter, AC fault model, state variable filter, fault diagnosis, fault model, fault simulation, modules, Monte Carlo methods, Monte Carlo simulation, transfer functions, computation time, operational amplifiers, operational amplifiers, closed loop, analogue circuits
28Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham Verification of transient response of linear analog circuits. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF linear network analysis, circuit behavior, operational amplifier macro circuits, input waveforms, extracted state equations, Z-domain, digital representation, finite state machines, active networks, transfer functions, transfer function, transient analysis, operational amplifiers, frequency-domain analysis, formal techniques, state-space methods, analogue circuits, transient response, transient response, linear analog circuits, equivalent circuits
27Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
27Musab AlTurki, José Meseguer 0001 Real-time rewriting semantics of orc. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
27Miroslav Popovic, Ivan Velikic A Generic Model-Based Test Case Generator. Search on Bibsonomy ECBS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile
27Frédéric Lang, Pierre Lescanne, Luigi Liquori A Framework for Defining Object-Calculi. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
27Michael W. Mislove, Frank J. Oles Full Abstraction and Unnested Recursion. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
26Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 The Way We Were: Structural Operational Semantics Research in Perspective. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cristian Tapus, Jason Hickey Distributed speculative execution for reliability and fault tolerance: an operational semantics. Search on Bibsonomy Distributed Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations
24Gérard Boudol, Gustavo Petri Relaxed memory models: an operational approach. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, memory models
24Du Li, Rui Li 0018 An Operational Transformation Algorithm and Performance Evaluation. Search on Bibsonomy Comput. Support. Cooperative Work. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance evaluation, concurrency control, consistency, operational transformation, group editing
24John R. D. Hughes, Cliff B. Jones Reasoning about programs via operational semantics: requirements for a support system. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Proofs about programs, Tool support, Structural operational semantics
24Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart Operational analysis of processor speed scaling. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF acpi, datacenter-on-chip, p-states, scheduling, performance modeling, power, multicore, capacity planning, queuing, dynamic resource allocation, multi-processor, operational analysis, internet servers
24Mark Moss, Calton Pu Assessing Operational Impact in Enterprise Systems by Mining Usage Patterns. Search on Bibsonomy DSOM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF operational impact analysis, data mining, system management
24Hamed Aminzadeh, Mohammad Danaie Systematic design of two-stage operational amplifiers based on settling time and open-loop constraints. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF frequency compensation, stability, design methodology, operational amplifiers, switched-capacitor circuits, settling time
24Mustafa Altun, Hakan Kuntman High CMRR current mode operational amplifier with a novel class AB input stage. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF current-mode operational amplifier, current-mode circuits
24Ying Gao, Jingde Cheng Operational Semantics for Positive Relevant Logics Without Distribution. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Operational semantics, Relevant logics
24Philippe Lalanda, Luc Bellissard, Roland Balter Asynchronous Mediation for Integrating Business and Operational Processes. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF integration of operational processes, asynchronous middleware, component, mediation
24Jing Zhang, Licui Zhang, Degui Guo Operational Semantics of the Seal Calculus. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Seal Calculus, Mobile computation, operational semantics, abstract machine
24M. D. Derk Towards a simpler method of operational semantics for language definition. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF operational semantics, binding, BNF
24Peter D. Mosses Exploiting labels in Structural Operational Semantics. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSOS, modularity, structural operational semantics, natural semantics, SOS
24David Sun, Steven Xia, Chengzheng Sun, David Chen 0002 Operational transformation for collaborative word processing. Search on Bibsonomy CSCW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF operational transformation, multi-versioning, group undo
24Yehya H. Ghallab, Wael M. Badawy A Novel pH Sensor Current Mode Read-Out Circuit Using Operational Floating Current Conveyor. Search on Bibsonomy ICMENS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Chemical sensor, ISFET pH sensor, Differential ISFET, Operational Floating Current Conveyor, Current mode circuits
24Johan P. Vanderhaegen, Robert W. Brodersen Automated design of operational transconductance amplifiers using reversed geometric programming. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reversed geometric programming, CMOS integrated circuits, operational transconductance amplifiers
24Martina Berankova, Petra Nevrivova Problems in operational and systems analysis educational process: solved by ICT application. Search on Bibsonomy ISICT The full citation details ... 2003 DBLP  BibTeX  RDF ICT application algorithm, mathematical methods, operational and systems analysis, Internet, education, information technology, virtual university
24Mohammad Yavari, Omid Shoaei Low-voltage low-power fast-settling CMOS operational transconductance amplifiers for switched-capacitor applications. Search on Bibsonomy ISLPED The full citation details ... 2003 DBLP  DOI  BibTeX  RDF cascode compensation, class AB, switched-capacitor circuits, operational transconductance amplifiers
24Hesam Amir Aslanzadeh, Saeid Mehrmanesh, Mohammad B. Vahidfar, Amin Quasem Safarian, Reza Lotfi A 1-V 1-mW high-speed class AB operational amplifier for high-speed low power pipelined A/D converters using "Slew Boost" technique. Search on Bibsonomy ISLPED The full citation details ... 2003 DBLP  DOI  BibTeX  RDF CMOS analog circuit, Slew Boost technique, class AB, low power, high speed, operational amplifier, pipelined analog to digital converter, ultra low voltage
24Mohammad M. Ahmadi, Reza Lotfi A new architecture for rail-to-rail input constant-gm CMOS operational transconductance amplifiers. Search on Bibsonomy ISLPED The full citation details ... 2003 DBLP  DOI  BibTeX  RDF current summation, floating current source, input stage, rail-to-rail, transconductance, operational transconductance amplifier
24Ram Suryanarayan, Anubhav Gupta, Travis N. Blalock A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF opamp, feedback, CMOS, compensation, operational amplifier, slew rate
24Michael von der Beeck A structured operational semantics for UML-statecharts. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
24Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF operational vulnerabilities, privilege graph, quantitative evaluation, Security assessment
24Alessandra Di Pierro, Herbert Wiklicky An Operational Semantics for Probabilistic Concurrent Constraint Programming. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
24Chris Ho-Stuart, Shaoying Liu A Formal Operational Semantics for SOFL. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational-semantics data-flow-diagram specification
24Sudhir Aggarwal An Enhanced Macromodel for a CMOS Operational Amplifier for HDL Implementation. Search on Bibsonomy VLSI Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF VHDL-Analog, Non-linear model, Analog IC's, Operational Amplifier, Macromodel
24Maciej Koutny, Javier Esparza, Eike Best Operational Semantics for the Petri Box Calculus. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Petri nets, process algebra, structured operational semantics, step sequences
24Luc Moreau 0001 An operational semantics for a parallel functional language with continuations. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
24Satoshi Hoshino, Jun Ota 0001 Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Satoko Abiko, Gerd Hirzinger Computational efficient algorithms for operational space formulation of branching arms on a space robot. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Meiyappan Nagappan, Mladen A. Vouk, Kesheng Wu, Alex Sim, Arie Shoshani Efficient Operational Profiling of Systems Using Suffix Arrays on Execution Logs. Search on Bibsonomy ISSRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Francien Dechesne, Mohammad Reza Mousavi 0001, Simona Orzan Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su Static Analysis of Business Artifact-centric Operational Models. Search on Bibsonomy SOCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Olivera Marjanovic The Next Stage of Operational Business Intelligence: Creating New Challenges for Business Process Management. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Tao Xie 0001, David Notkin Tool-assisted unit-test generation and selection based on operational abstractions. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24J Strother Moore Inductive assertions and operational semantics. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Theorem proving, JVM, Software verification, Verification condition
24Juan Xu 0003, Yongfa Hong, Changjun Jiang, Lin Chen Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network. Search on Bibsonomy WASA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Lijun Gao, Jianping Li 0001, Jianming Chen, Weixuan Xu Assessment the Operational Risk for Chinese Commercial Banks. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel Inferring operational requirements from scenarios and goal models using inductive learning. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering
24Mechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer 0001 An Extended Operational Profile Model. Search on Bibsonomy ISSRE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 13561 (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