Search results for "procedure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Frank Vahid	Procedure exlining: a transformation for improved system and behavioral synthesis.	ISSS	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
45	Lewei 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.	SCSC	2007	DBLP BibTeX RDF	design procedure, hardware in the loop simulation, simulation procedure, real time, power electronics
45	Sanjeev Arora, Alan M. Frieze, Haim Kaplan	A New Rounding Procedure for the Assignment Problem with Applications to Dense Graph Arrangement Problems.	FOCS	1996	DBLP DOI BibTeX RDF	rounding procedure, dense graph arrangement, randomized procedure, fractional perfect matchings, LP rounding procedure, assignment problem, randomised algorithms, linear inequality
42	Peter Regner, Thomas Wiesinger, Josef Küng, Roland R. Wagner	Towards a Process Model for E.cient Advertised Bidding in the Field of Software Projects.	EGOV	2003	DBLP DOI BibTeX RDF	award procedure, negotiated procedure, software process model, electronic government
41	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs.	HPDC	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
41	Jiuzhen Liang, Xiaohong Wu	Worm Harm Prediction Based on Segment Procedure Neural Networks.	RSKT	2006	DBLP DOI BibTeX RDF	procedure neural networks, Neural networks, algorithm, learning, segment, prediction, topological structure
38	Kalyanmoy Deb, Swanand Lele, Rituparna Datta	A Hybrid Evolutionary Multi-objective and SQP Based Procedure for Constrained Optimization.	ISICA	2007	DBLP DOI BibTeX RDF	Reference point based NSGA-II, SBX, hybrid procedure, multi-objective optimization, Constrained optimization, EMO, SQP
37	Arun Chauhan 0001, Ken Kennedy	Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization.	ICS	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
36	James B. Morris	Data abstraction: A static implementation strategy.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type
35	Emilia Mendes, Chris Lokan	Replicating studies on cross- vs single-company effort models using the ISBSG Database.	Empir. Softw. Eng.	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
34	Michel Renovell, Joan Figueras, Yervant Zorian	Test of RAM-based FPGA: methodology and application to the interconnect.	VTS	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
33	Jim Blythe, Thomas A. Russ	Case-based reasoning for procedure learning by instruction.	IUI	2008	DBLP DOI BibTeX RDF	learning by instruction, procedure learning, knowledge acquisition
33	Tetsuya Izu, Tsuyoshi Takagi	Exceptional Procedure Attack on Elliptic Curve Cryptosystems.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	exceptional procedure attack, exceptional point, side channel attack, Elliptic curve cryptosystem (ECC), scalar multiplication
33	Calogero 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.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, set theory, decision procedure
32	S. C. Chan, Andrew K. C. Wong	Synthesis and Recognition of Sequences.	IEEE Trans. Pattern Anal. Mach. Intell.	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
31	Hongying Fei, Chengbin Chu, Nadine Meskens	Solving a tactical operating room planning problem by a column-generation-based heuristic procedure with four criteria.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Operating room planning problem, Open scheduling, Heuristic procedure, Column generation
31	Olga Tveretina	A Decision Procedure for Equality Logic with Uninterpreted Functions.	AISC	2004	DBLP DOI BibTeX RDF	equality logic with uninterpreted functions, DPLL procedure, satisfiability
31	Louise E. Moser	A Decision Procedure for Unquantified Formulas of Graph Theory.	CADE	1988	DBLP DOI BibTeX RDF	congruence closure, equivalence class representative, Directed graph, decision procedure, normal form
30	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
29	Loren Larsen, Mary Jean Harrold	Slicing Object-Oriented Software.	ICSE	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
29	V. Antonov, S. Dolgobrodov, V. Gusev	The optical tomographic method in medicine.	ICIP	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
29	Michael Teschner, Christian Henn	Mapping volumetric properties on molecular surfaces in real-time.	HICSS (5)	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
29	Anand Tripathi	An Overview of the Nexus Distributed Operating System Design.	IEEE Trans. Software Eng.	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
29	Jiuzhen Liang, Xiaohong Wu	Segment procedure neural networks.	GrC	2005	DBLP DOI BibTeX RDF
28	Claudio Cicconetti, Alessandro Erta, Luciano Lenzini, Enzo Mingozzi	Performance evaluation of the mesh election procedure of ieee 802.16/wimax.	MSWiM	2007	DBLP DOI BibTeX RDF	distributed election procedure, wireless mesh networks, wimax, time division multiple access, ieee 802.16, mac protocols
28	Nahmsuk Oh, Edward J. McCluskey	Procedure Call Duplication: Minimization of Energy Consumption with Constrained Error Detection Latency.	DFT	2001	DBLP DOI BibTeX RDF	software error detection, low power technique, low energy technique, procedure duplication and instruction duplication, Fault tolerance
28	David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy	Constructing the Procedure Call Multigraph.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	procedure call multigraph, precise call multigraph, algorithm, parallel programming, polynomial, recursion, upper bound
27	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
27	Marc Aiguier, Diane Bahrami	Structures for Abstract Rewriting.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
27	Juan Garbajosa, Maria Alandes, Maria-Angeles Mahillo, Mario Piattini	Assisting the Definition and Execution of Test Suites for Complex Systems.	ECBS	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
27	Katsuya Tanaka, Makoto Takizawa 0001	Distributed checkpointing based on influential messages.	ICPADS	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
27	Bernd Dreier, Theo Ungerer	Implementing distributed shared memory based on DCE.	PDP	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
27	Wolfgang 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.	CBMS	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
27	Alexander Schill, B. Bellmann, Wito Böhmak, Sascha Kümmel	Infrastructure support for cooperative mobile environments.	WETICE	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
27	Joseph J. Martinka	Requirements for client/server performance modeling.	ICECCS	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
27	Mehrad Yasrebi	Experience with distributed objects in a portable and multithreaded library for a LAN/WAN gateway application.	LCN	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
27	Hui Su, Wei Wang, Xinyou Li, Shaowei Xia	Hierarchical neural network for recognizing hand-written characters in engineering drawings.	ICDAR	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
27	Yen-Min Huang, Chinya V. Ravishankar	Designing an Agent Synthesis System for Cross-RPC Communication.	IEEE Trans. Software Eng.	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
27	Hamish Dewar, Paul Bratley, James Peter Thorne	A program for the syntactic analysis of English sentences.	Commun. ACM	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
26	Maarten Beek, Purang Abolmaesumi, Suriya Luenam, Richard W. Sellens, David R. Pichora	Ultrasound-Guided Percutaneous Scaphoid Pinning: Operator Variability and Comparison with Traditional Fluoroscopic Procedure.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
26	Eugene S. Schwartz	An Automatic Sequencing Procedure with Application to Parallel Programming.	J. ACM	1961	DBLP DOI BibTeX RDF
26	Deisymar 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.	ER Workshops	2009	DBLP DOI BibTeX RDF	software procedure, Conceptual Model, Class Diagram, Ontological Analysis
26	Jing-Rong Chang, Ching-Hsue Cheng 0001, Chen-Yi Kuo	Conceptual procedure for ranking fuzzy numbers based on adaptive two-dimensions dominance.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Ranking procedure, Ranking fuzzy number method, Intuitively method, Decision making, Fuzzy number
26	Slobodan Ribaric, Nikola Pavesic	A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets.	MICAI	2006	DBLP DOI BibTeX RDF	inference procedure, knowledge representation, recognition, Fuzzy Petri Net
26	Nelly Condori-Fernández, Oscar Pastor 0001	Evaluating the Productivity and Reproducibility of a Measurement Procedure.	ER (Workshops)	2006	DBLP DOI BibTeX RDF	Measurement procedure, Functional Size, experiment, COSMIC-FFP
26	Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	semantic tableau, set theory, decision procedure
26	Mark W. Bailey, Jack W. Davidson	Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Target-sensitive test suite generation, automatic fault isolation, procedure-calling convention, compiler testing and debugging, code generation
26	Jeffrey E. Teich, Hannele Wallenius, Jyrki Wallenius, Alexander Zaitsev	An Internet-Based Procedure for Reverse Auctions Combining Aspects of Negotiations and Auctions.	DEXA Workshops	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
26	Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé	A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications.	HPDC	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
26	Butler W. Lampson	Fast Procedure Calls.	ASPLOS	1982	DBLP DOI BibTeX RDF	Architecture, Frame, Stack, Procedure, Transfer, Registers, Call
25	Chris Lokan, Emilia Mendes	Cross-company and single-company effort models using the ISBSG database: a further replicated study.	ISESE	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
25	Shu-Chin Su Chen, Ming-Feng Chang, Yi-Bing Lin	Fault tolerance of PCS mobility databases.	ICCCN	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
24	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Complete functional synthesis.	PLDI	2010	DBLP DOI BibTeX RDF	bapa, synthesis procedure, decision procedure, presburger arithmetic
24	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	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
24	Albert Noltemeier	Remark on algorithm 340 [C2]: roots of polynomials by a root-squaring and resultant routine.	Commun. ACM	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
24	Albert Noltemeier	Algorithms: Algorithm 340: roots of polynomials by a root-squaring and resultant routine.	Commun. ACM	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
24	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
24	Hans de Nivelle, Jia Meng	Geometric Resolution: A Proof Procedure Based on Finite Model Search.	IJCAR	2006	DBLP DOI BibTeX RDF
24	Paolo Mancarella, Giacomo Terreni	An Abductive Proof Procedure Handling Active Rules.	AI*IA	2003	DBLP DOI BibTeX RDF
24	Steve Roach, Jeffrey Van Baalen	Experience Report on Automated Procedure Construction for Deductive Synthesis.	ASE	2002	DBLP DOI BibTeX RDF
24	Akira Takano, Yuko Yurugi, Atsushi Kanaegami	Procedure based help desk system.	IUI	2000	DBLP DOI BibTeX RDF	case based reasoning, help desk, guidance
24	Bikash Chandra Ghosh, Vilas Wuwongse	A Direct Proof Procedure for Definite Conceptual Graph Programs.	ICCS	1995	DBLP DOI BibTeX RDF
24	Ken Satoh, Noboru Iwayama	A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints.	ELP	1992	DBLP DOI BibTeX RDF
24	J. Eugene Ball	Predicting the effects of optimization on a procedure body.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
23	Jianwei 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.	DG.O	2010	DBLP BibTeX RDF	G2B, export procedure, redesign methodology, case study, business process redesign
23	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
23	Pieter Hooimeijer, Westley Weimer	A decision procedure for subset constraints over regular languages.	PLDI	2009	DBLP DOI BibTeX RDF	decision procedure, regular language
23	Yunfei Shi, Shusheng Zhang, Haitao Fan, Julu Cao, Yan Yang	Process Information-Driven 3D Working Procedure Model Construction.	ISIP	2008	DBLP DOI BibTeX RDF	Working procedure model, Process cards, 3D model reconstruction, Feature model, Natural language understanding
23	Dajie Zhang, Dietrich Albert, Cord Hockemeyer, Dorothy Breen, Zsuzsanna Kulcsár, George Shorten, Annette Aboulafia, Erik Lövquist	Developing Competence Assessment Procedure for Spinal Anaesthesia.	CBMS	2008	DBLP DOI BibTeX RDF	competence assessment procedure, spinal anaesthesia
23	Yannis Marinakis, Magdalene Marinaki, Nikolaos F. Matsatsinis	A Hybrid Clustering Algorithm Based on Honey Bees Mating Optimization and Greedy Randomized Adaptive Search Procedure.	LION	2007	DBLP DOI BibTeX RDF	Honey Bees Mating Optimization, Nature Inspired Intelligence, Clustering Analysis, Greedy Randomized Adaptive Search Procedure
23	Ki 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.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Ellipsoidal regions, Adaptation procedure, Classification, Hybrid genetic algorithms
23	Rita Noumeir	Benefits of the DICOM Modality Performed Procedure Step.	J. Digit. Imaging	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
23	Hiroshi Ujita, Ryuji Kubota, Kouji Ikeda	Development and Verification of a Plant Navigation System Displaying Symptom-Based Procedure.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Symptom-based operating procedure, Navigation, Operation support system, Nuclear power plant
23	Darko Kirovski, Johnson Kin, William H. Mangione-Smith	Procedure Based Program Compression.	MICRO	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
23	Wanlei Zhou 0001, Brian Molinari	On the Management of Remote Procedure Call Transactions.	ICCI	1991	DBLP DOI BibTeX RDF	Remote Procedure Call (RPC), Distributed Computing, Transaction Management
23	George Peterka, Tadao Murata	Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.	IEEE Trans. Software Eng.	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
23	Fabio Panzieri, Santosh K. Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.	IEEE Trans. Software Eng.	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
22	Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko	Cryptographic Approch for Workflow Systems.	II3E	2008	DBLP DOI BibTeX RDF
22	Eugene Goldberg, Kanupriya Gulati, Sunil P. Khatri	Toggle Equivalence Preserving (TEP) Logic Optimization.	DSD	2007	DBLP DOI BibTeX RDF
22	Irith Pomeranz, Sudhakar M. Reddy	Static compaction for two-pattern test sets.	Asian Test Symposium	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
21	Malay K. Ganai	Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
21	Khalil Djelloul	An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
21	Pei 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.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
21	Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling	Influence of procedure cloning on WCET prediction.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	WCET minimization, context-sensitive WCET-analysis, compiler optimizations
21	Yunjie Xu, Michel Benaroch	Information Retrieval with a Hybrid Automatic Query Expansion and Data Fusion Procedure.	Inf. Retr.	2005	DBLP DOI BibTeX RDF	multiple queries, relevance-feedback, data fusion
21	Jiuzhen Liang, Jianmin Han	Complex Number Procedure Neural Networks.	ICNC (1)	2005	DBLP DOI BibTeX RDF
21	Ravi V. Batchu, Daniel A. Jiménez	Exploiting Procedure Level Locality to Reduce Instruction Cache Misses.	Interaction between Compilers and Computer Architectures	2004	DBLP DOI BibTeX RDF
21	Irith Pomeranz, Sudhakar M. Reddy	A Postprocessing Procedure of Test Enrichment for Path Delay Faults.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
21	Stéphane Coulondre	A top-down proof procedure for generalized data dependencies.	Acta Informatica	2003	DBLP DOI BibTeX RDF
21	Paulo Salvador 0001, Rui T. Valadas, António Pacheco 0001	Multiscale Fitting Procedure Using Markov Modulated Poisson Processes.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	self-similar, traffic modeling, long-range dependence, autocorrelation, MMPP
21	Juan Méndez, Antonio Falcón, Javier Lorenzo 0001	A Procedure for Biological Sensitive Pattern Matching in Protein Sequences.	IbPRIA	2003	DBLP DOI BibTeX RDF	Biological Pattern Analysis, Pattern Matching, Multidimensional Scaling, Sequence Alignments, SIMD Processing
21	Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee	A Prolog Tailoring Technique on an Epilog Tailored Procedure.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
21	Irith Pomeranz, Sudhakar M. Reddy	A Postprocessing Procedure to Reduce the Number of Different Test Lengths in a Test Set for Scan Circuits.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
21	Irith Pomeranz, Sudhakar M. Reddy	A diagnostic test generation procedure based on test elimination byvector omission for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
21	Raghavan Komondoor, Susan Horwitz	Semantics-Preserving Procedure Extraction.	POPL	2000	DBLP DOI BibTeX RDF
21	E. Jack Chen, W. David Kelton	Comparing systems via stochastic simulation: an enhanced two-stage selection procedure.	WSC	2000	DBLP DOI BibTeX RDF
21	Regimantas Pliuskevicius	On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.	Computational Logic	2000	DBLP DOI BibTeX RDF
21	Nicholas C. Gloy, Michael D. Smith 0001	Procedure placement using temporal-ordering information.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	temporal profiling, working-set optimization, conflict misses, code placement
21	Irith Pomeranz, Sudhakar M. Reddy	VERSE: A Vector Replacement Procedure for Improving Test Compaction in Synchronous Sequential Circuits.	VLSI Design	1999	DBLP DOI BibTeX RDF
21	Irith Pomeranz, W. Kent Fuchs	A Diagnostic Test Generation Procedure for Combinational Circuits Based on Test Elimination.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF