The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1959 (19) 1960-1961 (21) 1962 (15) 1963-1964 (24) 1965-1966 (32) 1967 (29) 1968 (35) 1969 (28) 1970-1971 (36) 1972 (15) 1973 (28) 1974 (41) 1975 (34) 1976 (47) 1977 (43) 1978 (37) 1979 (39) 1980 (46) 1981 (48) 1982 (54) 1983 (51) 1984 (63) 1985 (74) 1986 (97) 1987 (94) 1988 (158) 1989 (164) 1990 (196) 1991 (141) 1992 (176) 1993 (208) 1994 (252) 1995 (254) 1996 (269) 1997 (378) 1998 (344) 1999 (515) 2000 (561) 2001 (740) 2002 (870) 2003 (995) 2004 (1393) 2005 (1565) 2006 (1896) 2007 (2059) 2008 (1940) 2009 (1194) 2010 (317) 2011 (262) 2012 (240) 2013 (269) 2014 (278) 2015 (259) 2016 (282) 2017 (282) 2018 (258) 2019 (319) 2020 (283) 2021 (281) 2022 (294) 2023 (277) 2024 (66)
Publication types (Num. hits)
article(7183) book(1) data(3) incollection(122) inproceedings(13924) phdthesis(52)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14318 occurrences of 6623 keywords

Results
Found 21285 publication records. Showing 21285 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72Frank Vahid Procedure exlining: a transformation for improved system and behavioral synthesis. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF VHDL transformation tool, distinct computation, procedure exlining, procedure inlining, redundant sequences, statements, formal specification, distributed processing, VHDL, hardware description languages, remote procedure calls, behavioral synthesis, behavioral specification, system synthesis, procedure calls, synthesis tools
45Lewei Qian, David A. Cartes, Siyu Leng A standardized simulation and real time hardware in the loop simulation procedure for power electronics and power systems research. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF design procedure, hardware in the loop simulation, simulation procedure, real time, power electronics
45Sanjeev Arora, Alan M. Frieze, Haim Kaplan A New Rounding Procedure for the Assignment Problem with Applications to Dense Graph Arrangement Problems. Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF rounding procedure, dense graph arrangement, randomized procedure, fractional perfect matchings, LP rounding procedure, assignment problem, randomised algorithms, linear inequality
42Peter Regner, Thomas Wiesinger, Josef Küng, Roland R. Wagner Towards a Process Model for E.cient Advertised Bidding in the Field of Software Projects. Search on Bibsonomy EGOV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF award procedure, negotiated procedure, software process model, electronic government
41Tae-Hyung Kim, James M. Purtilo A Source-Level Transformation Framework for RPC-Based Distributed Programs. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
41Jiuzhen Liang, Xiaohong Wu Worm Harm Prediction Based on Segment Procedure Neural Networks. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF procedure neural networks, Neural networks, algorithm, learning, segment, prediction, topological structure
38Kalyanmoy Deb, Swanand Lele, Rituparna Datta A Hybrid Evolutionary Multi-objective and SQP Based Procedure for Constrained Optimization. Search on Bibsonomy ISICA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Reference point based NSGA-II, SBX, hybrid procedure, multi-objective optimization, Constrained optimization, EMO, SQP
37Arun Chauhan 0001, Ken Kennedy Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization. Search on Bibsonomy ICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF procedure specialization, reduction in strength, telescoping languages, high-performance computing, vectorization, partial evaluation, Matlab, scripts, high-level languages, specialization, automatic differentiation
36James B. Morris Data abstraction: A static implementation strategy. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1979 DBLP  DOI  BibTeX  RDF Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type
35Emilia Mendes, Chris Lokan Replicating studies on cross- vs single-company effort models using the ISBSG Database. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cross-company estimation models, Single-company estimation model, Regression-based estimation models, Experimental procedure, Effort estimation, Software projects, Replication study
34Michel Renovell, Joan Figueras, Yervant Zorian Test of RAM-based FPGA: methodology and application to the interconnect. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF RAM-based FPGA, manufacturing test procedure, user test procedure, orthogonal test configuration, diagonal-1 test configuration, diagonal-2 test configuration, field programmable gate arrays, interconnect
33Jim Blythe, Thomas A. Russ Case-based reasoning for procedure learning by instruction. Search on Bibsonomy IUI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF learning by instruction, procedure learning, knowledge acquisition
33Tetsuya Izu, Tsuyoshi Takagi Exceptional Procedure Attack on Elliptic Curve Cryptosystems. Search on Bibsonomy Public Key Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF exceptional procedure attack, exceptional point, side channel attack, Elliptic curve cryptosystem (ECC), scalar multiplication
33Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nelson-Oppen procedure, set theory, decision procedure
32S. C. Chan, Andrew K. C. Wong Synthesis and Recognition of Sequences. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF sequences synthesis, sequences recognition, hierarchical sequence synthesis procedure, taxonomic hierarchy, unsupervised classification procedure, pattern recognition, probability, alignment, supervised classification, alphabet
31Hongying Fei, Chengbin Chu, Nadine Meskens Solving a tactical operating room planning problem by a column-generation-based heuristic procedure with four criteria. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Operating room planning problem, Open scheduling, Heuristic procedure, Column generation
31Olga Tveretina A Decision Procedure for Equality Logic with Uninterpreted Functions. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equality logic with uninterpreted functions, DPLL procedure, satisfiability
31Louise E. Moser A Decision Procedure for Unquantified Formulas of Graph Theory. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF congruence closure, equivalence class representative, Directed graph, decision procedure, normal form
30Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof Summarizing procedures in concurrent programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
29Loren Larsen, Mary Jean Harrold Slicing Object-Oriented Software. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
29V. Antonov, S. Dolgobrodov, V. Gusev The optical tomographic method in medicine. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optical tomography, laser applications in medicine, medical optical tomographic method, infrared short pulse laser, inner biological structure, light penetration depth, gastroenterology, transplantology, skin diseases, image interactive processing, equalization procedure, histogram analysis, 2D-filtering, shadow function subtraction procedure, technological artifacts detection, artefacts correction, 990 nm, 5E-12 s, 2 to 3 mm, medical image processing, infrared imaging, medical diagnostic imaging, oncology
29Michael Teschner, Christian Henn Mapping volumetric properties on molecular surfaces in real-time. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF volumetric properties, solid molecular surface generation, three dimensional grid, template driven procedure, contact surface, Connolly surface, continuously tessellated geometry, computer graphics procedure, molecular property visualization, solid molecular surfaces, multidimensional color coding, property clipping, three dimensional textures, interactive color updates, static scalar field, real-time systems, real-time, computational geometry, texture mapping, interactive systems, information filtering, data visualisation, chemistry, chemistry computing, molecular surfaces, color coding, molecular biophysics
29Anand Tripathi An Overview of the Nexus Distributed Operating System Design. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, computer communications software, atomic actions, experimental research, location transparency
29Jiuzhen Liang, Xiaohong Wu Segment procedure neural networks. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Claudio Cicconetti, Alessandro Erta, Luciano Lenzini, Enzo Mingozzi Performance evaluation of the mesh election procedure of ieee 802.16/wimax. Search on Bibsonomy MSWiM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed election procedure, wireless mesh networks, wimax, time division multiple access, ieee 802.16, mac protocols
28Nahmsuk Oh, Edward J. McCluskey Procedure Call Duplication: Minimization of Energy Consumption with Constrained Error Detection Latency. Search on Bibsonomy DFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software error detection, low power technique, low energy technique, procedure duplication and instruction duplication, Fault tolerance
28David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy Constructing the Procedure Call Multigraph. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF procedure call multigraph, precise call multigraph, algorithm, parallel programming, polynomial, recursion, upper bound
27Norihisa Suzuki Inferring Types in Smalltalk. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
27Marc Aiguier, Diane Bahrami Structures for Abstract Rewriting. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
27Juan Garbajosa, Maria Alandes, Maria-Angeles Mahillo, Mario Piattini Assisting the Definition and Execution of Test Suites for Complex Systems. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF system operation, test procedure definition, test procedure generation, testing environment, advanced data bases, knowledge management, system architecture, System testing, man machine interface, system validation, operation environment
27Katsuya Tanaka, Makoto Takizawa 0001 Distributed checkpointing based on influential messages. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF influential messages, massage passing, object faults, protocols, protocols, distributed processing, message passing, remote procedure calls, remote procedure call, consistent global state, distributed checkpointing
27Bernd Dreier, Theo Ungerer Implementing distributed shared memory based on DCE. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment
27Wolfgang F. Kraske, Frederick W. George III VOXAR-All ATM Distributed Biomedical Visualization: 1) Local OC-3 Linked Workstation Cluster; 2) Remote OC-3 Linked 40 GFlops CRAY T3D MPP. Search on Bibsonomy CBMS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Cray computers, VOXAR-all ATM distributed biomedical visualization, local OC-3 linked workstation cluster, remote OC-3 linked Cray T3D MPP, extended AVS visualization capability, SUN SPARC 20 workstations, supercomputer complex, HiPPI-connected Cray YMP vector architecture, Cray T3D massively parallel processing architecture, ATM-switched SONET STS-3 link, AVS kernel, Cray YMP, process spawning, virtual shared memory protocol, T3D memory management hardware, TCP/IP sockets, physician's desktop, 3D spatial object representation, medical community, mosaic resource management, 40 GFLOPS, relational databases, asynchronous transfer mode, object-oriented databases, transport protocols, parallel machines, storage management, data visualisation, workstations, remote procedure calls, remote procedure calls, biology computing, network interfaces, medical computing, SONET, object-relational database management system, network resource management
27Alexander Schill, B. Bellmann, Wito Böhmak, Sascha Kümmel Infrastructure support for cooperative mobile environments. Search on Bibsonomy WETICE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF cooperative mobile environments, infrastructure support, distributed mobile computing, software support architecture, station software infrastructure, resource access management, dynamic mobile environments, behavioural aspects, OSF Distributed Computing Environment, Microsoft RPC, distributed systems, mobile computing, wireless LAN, operating systems (computers), network operating systems, remote procedure calls, remote procedure call, communication infrastructure
27Joseph J. Martinka Requirements for client/server performance modeling. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF client/server performance modeling requirements, distributed application models, performance modeling, discrete event simulation, discrete event simulations, client-server systems, remote procedure calls, remote procedure calls, capacity planning, performance management, functional requirements
27Mehrad Yasrebi Experience with distributed objects in a portable and multithreaded library for a LAN/WAN gateway application. Search on Bibsonomy LCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF LAN/WAN gateway, C++ class library, port objects, multithreaded performance, RPC performance modelling, performance evaluation, object-oriented programming, object oriented, multithreaded, local area networks, wide area networks, distributed objects, remote procedure calls, Remote Procedure Calls, internetworking
27Hui Su, Wei Wang, Xinyou Li, Shaowei Xia Hierarchical neural network for recognizing hand-written characters in engineering drawings. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF engineering computing, memorizing procedure, recognition procedure, character recognition, neural nets, handwritten character recognition, engineering drawings, hierarchical neural network, similarity degree, subnetworks
27Yen-Min Huang, Chinya V. Ravishankar Designing an Agent Synthesis System for Cross-RPC Communication. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF agent synthesis system, cross-RPC communication, RPC protocols, large heterogeneous environment, RPC agents, RPC heterogeneities, agent development costs, cross-RPC performance, distributed systems, parallel programming, protocols, rapid prototyping, software prototyping, remote procedure calls, remote procedure call, telecommunications computing, transport layer, maintenance costs
27Hamish Dewar, Paul Bratley, James Peter Thorne A program for the syntactic analysis of English sentences. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF English sentences, analysis procedure, limited dictionary, psycholinguistics, recognition procedure, parsing, linguistic, syntactic analysis, language processing, language analysis, transformational grammar, predictive analysis
26Maarten Beek, Purang Abolmaesumi, Suriya Luenam, Richard W. Sellens, David R. Pichora Ultrasound-Guided Percutaneous Scaphoid Pinning: Operator Variability and Comparison with Traditional Fluoroscopic Procedure. Search on Bibsonomy MICCAI (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Eugene S. Schwartz An Automatic Sequencing Procedure with Application to Parallel Programming. Search on Bibsonomy J. ACM The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
26Deisymar Botega Tavares, Alcione de Paiva Oliveira, José Luís Braga, Jugurta Lisboa Filho Analysis Procedure for Validation of Domain Class Diagrams Based on Ontological Analysis. Search on Bibsonomy ER Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software procedure, Conceptual Model, Class Diagram, Ontological Analysis
26Jing-Rong Chang, Ching-Hsue Cheng 0001, Chen-Yi Kuo Conceptual procedure for ranking fuzzy numbers based on adaptive two-dimensions dominance. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Ranking procedure, Ranking fuzzy number method, Intuitively method, Decision making, Fuzzy number
26Slobodan Ribaric, Nikola Pavesic A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets. Search on Bibsonomy MICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inference procedure, knowledge representation, recognition, Fuzzy Petri Net
26Nelly Condori-Fernández, Oscar Pastor 0001 Evaluating the Productivity and Reproducibility of a Measurement Procedure. Search on Bibsonomy ER (Workshops) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Measurement procedure, Functional Size, experiment, COSMIC-FFP
26Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantic tableau, set theory, decision procedure
26Mark W. Bailey, Jack W. Davidson Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Target-sensitive test suite generation, automatic fault isolation, procedure-calling convention, compiler testing and debugging, code generation
26Jeffrey E. Teich, Hannele Wallenius, Jyrki Wallenius, Alexander Zaitsev An Internet-Based Procedure for Reverse Auctions Combining Aspects of Negotiations and Auctions. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF NegotiAuction, algorithmic Internet based auction procedure, multidimensional auction, bidding process, bid requirements, preferred set, auction winners, auction time, forward auctions, Internet, reverse auctions
26Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF service quality negotiation procedure, distributed multimedia presentational applications, dynamic system configuration choice, news-on-demand, optimization approach, monomedia object, user cost, automatic adaptation, quality degradations, distributed processing, optimisation, multimedia systems, quality control, user requirements, information services, negotiation support systems, file servers
26Butler W. Lampson Fast Procedure Calls. Search on Bibsonomy ASPLOS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF Architecture, Frame, Stack, Procedure, Transfer, Registers, Call
25Chris Lokan, Emilia Mendes Cross-company and single-company effort models using the ISBSG database: a further replicated study. Search on Bibsonomy ISESE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cross-company estimation models, experimental procedure, regression-based, single-company estimation model, effort estimation, software projects, estimation models, replication study
25Shu-Chin Su Chen, Ming-Feng Chang, Yi-Bing Lin Fault tolerance of PCS mobility databases. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF PCS mobility databases, PCS network system, mobility management architecture, two-level database, mobile station location information, mobile station location update, call delivery procedure, location database failure, database failure restoration, fault tolerance, GSM, personal communication networks, personal communications services, mobile stations, home location register
24Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter Complete functional synthesis. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bapa, synthesis procedure, decision procedure, presburger arithmetic
24Hans Langmaack On Revival of Algol-Concepts in Modern Programming and Specification Languages. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
24Albert Noltemeier Remark on algorithm 340 [C2]: roots of polynomials by a root-squaring and resultant routine. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF Graeffe method, resultant procedure, root-squaring operations, rootfinders, roots of polynomial equations, subresultant procedure, testing of roots, polynomial zeros, acceptance criteria
24Albert Noltemeier Algorithms: Algorithm 340: roots of polynomials by a root-squaring and resultant routine. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF Graeffe method, resultant procedure, root-squaring operations, rootfinders, roots of polynomial equations, subresultant procedure, testing of roots, polynomial zeros, acceptance criteria
24Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Hans de Nivelle, Jia Meng Geometric Resolution: A Proof Procedure Based on Finite Model Search. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Paolo Mancarella, Giacomo Terreni An Abductive Proof Procedure Handling Active Rules. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Steve Roach, Jeffrey Van Baalen Experience Report on Automated Procedure Construction for Deductive Synthesis. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Akira Takano, Yuko Yurugi, Atsushi Kanaegami Procedure based help desk system. Search on Bibsonomy IUI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF case based reasoning, help desk, guidance
24Bikash Chandra Ghosh, Vilas Wuwongse A Direct Proof Procedure for Definite Conceptual Graph Programs. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Ken Satoh, Noboru Iwayama A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24J. Eugene Ball Predicting the effects of optimization on a procedure body. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
23Jianwei Liu 0007, Allen Higgins, Yao-Hua Tan IT enabled redesign of export procedure for high-value pharmaceutical product under temperature control: the case of drug living lab. Search on Bibsonomy DG.O The full citation details ... 2010 DBLP  BibTeX  RDF G2B, export procedure, redesign methodology, case study, business process redesign
23Jason Belt, Robby, Xianghua Deng Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program analysis, symbolic execution, decision procedure
23Pieter Hooimeijer, Westley Weimer A decision procedure for subset constraints over regular languages. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decision procedure, regular language
23Yunfei Shi, Shusheng Zhang, Haitao Fan, Julu Cao, Yan Yang Process Information-Driven 3D Working Procedure Model Construction. Search on Bibsonomy ISIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Working procedure model, Process cards, 3D model reconstruction, Feature model, Natural language understanding
23Dajie Zhang, Dietrich Albert, Cord Hockemeyer, Dorothy Breen, Zsuzsanna Kulcsár, George Shorten, Annette Aboulafia, Erik Lövquist Developing Competence Assessment Procedure for Spinal Anaesthesia. Search on Bibsonomy CBMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF competence assessment procedure, spinal anaesthesia
23Yannis Marinakis, Magdalene Marinaki, Nikolaos F. Matsatsinis A Hybrid Clustering Algorithm Based on Honey Bees Mating Optimization and Greedy Randomized Adaptive Search Procedure. Search on Bibsonomy LION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Honey Bees Mating Optimization, Nature Inspired Intelligence, Clustering Analysis, Greedy Randomized Adaptive Search Procedure
23Ki K. Lee, Wan Chul Yoon, Dong Hyun Baek A classification method using a hybrid genetic algorithm combined with an adaptive procedure for the pool of ellipsoids. Search on Bibsonomy Appl. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Ellipsoidal regions, Adaptation procedure, Classification, Hybrid genetic algorithms
23Rita Noumeir Benefits of the DICOM Modality Performed Procedure Step. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2005 DBLP  DOI  BibTeX  RDF DICOM - Modality Performed Procedure Step, MPPS - Workflow - Picture Archiving and Communication System, PACS - Radiology Information System, RIS - Integrating Healthcare Enterprise, Digital Imaging and Communications in Medicine, IHE
23Hiroshi Ujita, Ryuji Kubota, Kouji Ikeda Development and Verification of a Plant Navigation System Displaying Symptom-Based Procedure. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Symptom-based operating procedure, Navigation, Operation support system, Nuclear power plant
23Darko Kirovski, Johnson Kin, William H. Mangione-Smith Procedure Based Program Compression. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF cached procedures, compressed memory, consumer devices, design factors, directory structure, high-capacitance bus traffic, integrated data services, memory references, pagers, procedural reference resolution, procedure-based program compression, run-time performance overhead, smart telephones, transparent program compression, embedded systems, personal digital assistants, power consumption, cost, multimedia applications, source coding, RAM, performance requirements, battery life, communications applications, memory reduction
23Wanlei Zhou 0001, Brian Molinari On the Management of Remote Procedure Call Transactions. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Remote Procedure Call (RPC), Distributed Computing, Transaction Management
23George Peterka, Tadao Murata Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
23Fabio Panzieri, Santosh K. Shrivastava Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Rajdoot, remote procedure call mechanism, orphan detection, killing, exactly-once semantics, call nesting, reliability, fault tolerant computing, software reliability, operating systems (computers), fault tolerance capabilities
22Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko Cryptographic Approch for Workflow Systems. Search on Bibsonomy II3E The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Eugene Goldberg, Kanupriya Gulati, Sunil P. Khatri Toggle Equivalence Preserving (TEP) Logic Optimization. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Irith Pomeranz, Sudhakar M. Reddy Static compaction for two-pattern test sets. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF two-pattern test sets, static compaction procedure, test set size reduction, redundant tests removal, redundant patterns removal, CMOS stuck open faults, reordering of tests, digital logic circuits, fault diagnosis, logic testing, delays, built-in self test, integrated circuit testing, ATPG, combinational circuits, combinational circuits, automatic testing, fault coverage, CMOS logic circuits, delay faults
21Malay K. Ganai Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Khalil Djelloul An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Pei Jung Chung, Johann F. Böhme, Christoph F. Mecklenbräuker, Alfred O. Hero III Detection of the Number of Signals Using the Benjamini-Hochberg Procedure. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling Influence of procedure cloning on WCET prediction. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WCET minimization, context-sensitive WCET-analysis, compiler optimizations
21Yunjie Xu, Michel Benaroch Information Retrieval with a Hybrid Automatic Query Expansion and Data Fusion Procedure. Search on Bibsonomy Inf. Retr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multiple queries, relevance-feedback, data fusion
21Jiuzhen Liang, Jianmin Han Complex Number Procedure Neural Networks. Search on Bibsonomy ICNC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Ravi V. Batchu, Daniel A. Jiménez Exploiting Procedure Level Locality to Reduce Instruction Cache Misses. Search on Bibsonomy Interaction between Compilers and Computer Architectures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Irith Pomeranz, Sudhakar M. Reddy A Postprocessing Procedure of Test Enrichment for Path Delay Faults. Search on Bibsonomy Asian Test Symposium The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Stéphane Coulondre A top-down proof procedure for generalized data dependencies. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Paulo Salvador 0001, Rui T. Valadas, António Pacheco 0001 Multiscale Fitting Procedure Using Markov Modulated Poisson Processes. Search on Bibsonomy Telecommun. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF self-similar, traffic modeling, long-range dependence, autocorrelation, MMPP
21Juan Méndez, Antonio Falcón, Javier Lorenzo 0001 A Procedure for Biological Sensitive Pattern Matching in Protein Sequences. Search on Bibsonomy IbPRIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Biological Pattern Analysis, Pattern Matching, Multidimensional Scaling, Sequence Alignments, SIMD Processing
21Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee A Prolog Tailoring Technique on an Epilog Tailored Procedure. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Irith Pomeranz, Sudhakar M. Reddy A Postprocessing Procedure to Reduce the Number of Different Test Lengths in a Test Set for Scan Circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Irith Pomeranz, Sudhakar M. Reddy A diagnostic test generation procedure based on test elimination byvector omission for synchronous sequential circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Raghavan Komondoor, Susan Horwitz Semantics-Preserving Procedure Extraction. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21E. Jack Chen, W. David Kelton Comparing systems via stochastic simulation: an enhanced two-stage selection procedure. Search on Bibsonomy WSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Regimantas Pliuskevicius On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Nicholas C. Gloy, Michael D. Smith 0001 Procedure placement using temporal-ordering information. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF temporal profiling, working-set optimization, conflict misses, code placement
21Irith Pomeranz, Sudhakar M. Reddy VERSE: A Vector Replacement Procedure for Improving Test Compaction in Synchronous Sequential Circuits. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Irith Pomeranz, W. Kent Fuchs A Diagnostic Test Generation Procedure for Combinational Circuits Based on Test Elimination. Search on Bibsonomy Asian Test Symposium The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 21285 (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