Search results for "inefficiency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	David L. Landis, Praveen Guddeti, Paul T. Hulina, Lee D. Coraor	Language-Based Rapid Prototyping Methods for Legacy System Re-Engineering and Re-Use.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Reverse Engineering, VHDL, Rapid Prototyping, Legacy Systems, Re-Engineering
10	Sufatrio, Kwok-Yan Lam	Internet Mobility Support Optimized for Client Access and its Scalable Authentication Framework.	MDA	1999	DBLP DOI BibTeX RDF
10	Patrick Dunne, W. A. Gray	The Impact of Using Class Inheritance in a Distributed Information System.	ADBIS	1999	DBLP DOI BibTeX RDF
10	Philippe Collet, Roger Rousseau	Towards Efficient Support for Executing the Object Constraint Language.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language
10	Dale Parson	Using Java reflection to automate extension language parsing.	DSL	1999	DBLP DOI BibTeX RDF
10	Murlikrishna Viswanathan, Chris S. Wallace, David L. Dowe, Kevin B. Korb	Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
10	Chialin Chang, Anurag Acharya 0001, Alan Sussman, Joel H. Saltz	T2: A Customizable Parallel Database for Multi-Dimensional Data.	SIGMOD Rec.	1998	DBLP DOI BibTeX RDF
10	Marco Bernardo 0001, Roberto Gorrieri, Marco Roccetti	Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Formal support to system design, Packetised audio, Simulation, Performance evaluation, Process algebras
10	Henning Christiansen 0001, Troels Andreasen	A Practical Approach to Hypothetical Database Queries.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
10	Antonio J. Nebro, Ernesto Pimentel 0001, José M. Troya	Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.	ISCOPE	1998	DBLP DOI BibTeX RDF
10	Jeremy Gibbons, Geraint Jones	The Under-Appreciated Unfold.	ICFP	1998	DBLP DOI BibTeX RDF	anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation
10	Uwe Waldmann	Superposition for Divisible Torsion-Free Abelian Groups.	CADE	1998	DBLP DOI BibTeX RDF
10	Fabio Massacci	Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Goichiro Hanaoka, Yuliang Zheng 0001, Hideki Imai	LITESET: A Light-Weight Secure Electronic Transaction Protocol.	ACISP	1998	DBLP DOI BibTeX RDF
10	Murugan Anandarajan, Claire A. Simmers, Magid Igbaria	An Exploratory Investigation of the Antecedents and Impact of Internet Usage: An Individual Perspective.	HICSS (4)	1998	DBLP DOI BibTeX RDF
10	Reinaldo A. Bergamaschi, Salil Raje, Indira Nair, Louise Trevillyan	Control-flow versus data-flow-based scheduling: combining both approaches in an adaptive scheduling system.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
10	Chris J. M. Booth, Donald I. Bruce	Stack-Free Process-Oriented Simulation.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
10	Shigeru Kusakabe, Taku Nagai, Kentaro Inenaga, Makoto Amamiya	Reducing Overhead in Implementing Fine-grain Parallel Data-structures of a Data onOff-the-shelf Distributed-memory Parallel Computers.	HICSS (1)	1997	DBLP DOI BibTeX RDF
10	Junping Sun, Hee C. Lee	Optimal mobile location tracking by multilayered model strategy.	ICECCS	1997	DBLP DOI BibTeX RDF	optimal mobile location tracking, multilayered model strategy, mobile activity modeling, optimal paging, forward control channel, mobile telecommunication systems, probabilistic cost function, genetic algorithm, mobility management, mobile communication
10	Susumu Tsuhara	RDB structure chart display using fuzzy rules.	ICPADS	1996	DBLP DOI BibTeX RDF	RDB structure chart display, information network users, table structures, high quality structure chart, fuzzy logic, relational databases, relational database, graphical user interfaces, graphical user interface, inference mechanisms, fuzzy rules, fuzzy inference, end user computing
10	Charles Changli Chin, Shang-Rong Tsai	Transparency in a Replicated Network File System.	EUROMICRO	1996	DBLP DOI BibTeX RDF	replicated network file system, centralized data sharing, storage stations, modern network environments, high-performance services, Sun NFS protocol, replication transparency, failure transparency, fault-tolerant service, simple primary-backup model, mostly-read environment, high-performance file service, data integrity, transparency, data replication, data consistency, file server
10	Alexandre Boudet, Evelyne Contejean, Claude Marché	AC-Complete Unification and its Application to Theorem Proving.	RTA	1996	DBLP DOI BibTeX RDF
10	Sati Banerjee, Paul M. Chau, Ronald D. Fellman	Rapid prototyping methodology for multiprocessor implementation of digital signal processing systems.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
10	Haifang Liao, Wayne Wei-Ming Dai	Partitioning and reduction of RC interconnect networks based on scattering parameter macromodels.	ICCAD	1995	DBLP DOI BibTeX RDF	circuit reduction, scattering parameter, interconnect network, macromodel, Circuit partitioning, circuit synthesis
10	Cosimo Anglano, Luigi Portinale	B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
10	Li-Ling Chen, Williams Ludwell Harrison III	An efficient approach to computing fixpoints for complex program analysis.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	fixpoint computation, program analysis, abstract interpretation, optimizing compilers
10	Luc Vincent	Morphological grayscale reconstruction in image analysis: applications and efficient algorithms.	IEEE Trans. Image Process.	1993	DBLP DOI BibTeX RDF
10	Ulrich Finke, Klaus H. Hinrichs	A Spatial Data Model and a Topological Sweep Algorithm for Map Overlay.	SSD	1993	DBLP DOI BibTeX RDF	cartographic modeling, map overlay, topological plane sweep, parallel processing, Geographic information systems, computational geometry
10	Jichang Tan, I-Peng Lin	Compiling Dataflow Analysis of Logic Programs.	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
10	Brian D. Lee, Vojin G. Oklobdzija	Improved CLA scheme with optimized delay.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
10	Maurizio Proietti, Alberto Pettorossi	Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. (long version: TCS 142(1): 89-124 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
10	Richard Illman, Stephen Clarke	Built-In Self-Test of the Macrolan Chip.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
10	Dietrich Fischer	Paradoxes in Parallel Processing (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
10	David C. Cann, John Feo, Thomas DeBoni	SISAL 1.2: high-performance applicative computing.	SPDP	1990	DBLP DOI BibTeX RDF
10	David C. Cann, John Feo	SISAL versus FORTRAN: a comparison using the Livermore loops.	SC	1990	DBLP DOI BibTeX RDF	FORTRAN, SISAL
10	Thomas Jenkins, Alain Gaillard, Heather Holmback, Aki Namioka, John Darvish, Philip Harrison, Michael Lorbeski	Automated Message Understanding - A Real-World Prototype.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
10	Reiner Hähnle	Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.	CSL	1990	DBLP DOI BibTeX RDF
10	Jarek Rossignac, Herbert B. Voelcker	Active zones in CSG for accelerating boundary evaluation, redundancy elimination, interference detection, and shading algorithms.	ACM Trans. Graph.	1989	DBLP DOI BibTeX RDF
10	M. R. Brown, S. DasGupta	Design of a general purpose meta-assembler for parallel processor environment in ISPS.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF	ISPS
10	Ali R. Hurson, Les L. Miller	Modification operations in data base machines: where are they?	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
10	Yukihide Takayama	QPC: QJ-based Proof Compiler - Simple Examples and Analysis.	ESOP	1988	DBLP DOI BibTeX RDF
10	Michel Parigot	Programming with Proofs: A Second Order Type Theory.	ESOP	1988	DBLP DOI BibTeX RDF
10	Kei Hiraki, Satoshi Sekiguchi, Toshio Shimada	Efficient vector processing on dataflow supercomputer SIGMA-1.	SC	1988	DBLP DOI BibTeX RDF
10	Zhiyuan Li 0001, Pen-Chung Yew	Efficient Interprocedural Analysis for Program Parallelization and Restructuring.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
10	Richard C. Waters	Efficient interpretation of synchronizable series expressions.	PLDI	1987	DBLP DOI BibTeX RDF
10	Stanley Y. W. Su, Hsu Chang, George P. Copeland, Paul Fisher, Eugene I. Lowenthal, Stewart A. Schuster	Database machines and some issues on DBMS standards.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
10	Thomas M. McWilliams, Samuel H. Fuller, W. H. Sherwood	Using LSI processor bit-slices to build a PDP-11: a case study in microcomputer design.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
10	Ken Magel, Andries van Dam, Martin Michel	Toward the development of machine: independent systems programming languages.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
10	Edward G. Coffman Jr.	Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping.	J. ACM	1968	DBLP DOI BibTeX RDF