Search results for "subroutines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
19	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
19	Jooyoung Seo, Byoungju Choi	Tailoring test process by using the component-based development paradigm and the XML technology.	APSEC	2000	DBLP DOI BibTeX RDF	IEC standards, software test process customization, component-based development paradigm, project-specific standards, test process meta-model, process tailoring scheme, component-based development customization technique, AutoTP, Rational Objectory process, Extensible Markup Language, software tools, software processes, software process improvement, program testing, computer aided software engineering, subroutines, software products, ISO, software standards, automation tool, ISO standards, XML technology, hypermedia markup languages, IEC
19	Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata	Component-based application development on architecture of a model, UI and components.	APSEC	2000	DBLP DOI BibTeX RDF	component-based application development, M-base application development environment, message-driven model, message flow a, transition diagrams, external specifications, IPSJ sigRE group, distributed systems, user interfaces, user interface, software architecture, groupware, computation model, object-oriented model, object-oriented methods, diagrams, domain model, cooperative work, personal computing, subroutines, modeling tool, simulation tool, end-user computing, system behavior, application architecture, feasibility study
19	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
19	Amnart Pohthong, David Budgen	Accessing software component documentation during design: an observational study.	APSEC	2000	DBLP DOI BibTeX RDF	software component documentation access, software delivery, laboratory-based studies, system design, systems analysis, software reusability, subroutines, component-based designs, system documentation, reusable software components
19	Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko	Component-based software engineering: technologies, development frameworks, and quality assurance schemes.	APSEC	2000	DBLP DOI BibTeX RDF	software development frameworks, software quality assurance schemes, software development paradigm, component requirement analysis, component certification, component customization, system architecture design, software architecture, software architecture, object-oriented programming, software maintenance, software quality, program testing, certification, system integration, component-based software engineering, subroutines, system testing, system maintenance, off-the-shelf components, component development
19	D. Janaki Ram, M. Sreekanth	Reusable integrated components of inter-related patterns for software development.	APSEC	2000	DBLP DOI BibTeX RDF	reusable integrated components, inter-related patterns, problem-solving experience, recurring problems, analysis phase, design phase, coding phase, pattern mapping, representation mechanism, URA model, unified artifact representation, object-oriented programming, design patterns, software reusability, object-oriented methods, subroutines, software project, software development life-cycle, testing phase
19	Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi 0001, Hirokazu Yatsu, Alan Wills	Formal specification of Catalysis frameworks.	APSEC	2000	DBLP DOI BibTeX RDF	Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning
19	Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-μKernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
19	Ignacio Silva-Lepe, Christopher F. Codella, P. Niblett, Donald F. Ferguson	Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	container-managed messaging, Java components, message-oriented applications, messaging infrastructure, container-managed persistence, persistent data, messaging parameters, message destinations, time-outs, declarative definition, deployment descriptor, anonymous declarative programming model, Java, software architecture, software architecture, object-oriented programming, subroutines, distributed object management, Enterprise JavaBeans, persistent objects, electronic messaging, interaction mode
19	Lothar Baum, Martin Becker 0002	Generic Components to Foster Reuse.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	software development efficiency, project-specific aspects, reusable component contribution, inefficient general solutions, niche requirements, specifically optimized designs, requirements space, adaptable generic components, automatic component instantiation, embedded systems, software tools, software tools, abstraction, software reuse, software components, software reusability, computer aided software engineering, operating systems (computers), subroutines, embedded operating systems
19	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
19	David W. Binkley	Semantics Guided Regression Test Cost Reduction.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	CTR Categories and Subject Descriptors: D.2.2 [Software Engineering]: tools and techniques—programmer workbench, D.2.5 [Software Enginering]: testing and debugging, D.3.3 [Programming Languages]: language constructs—control structures, functions and subroutines, E.1 [Data Structures] graphs, other keywords: slicing, regression testing, procedures
19	Michael Siff, Thomas W. Reps	Identifying modules via concept analysis.	ICSM	1997	DBLP DOI BibTeX RDF	program module identification, object similarity identification, algorithmic framework, concept lattice, subroutines, concept analysis, lattice theory, legacy code, positive information, object attributes, negative information
19	Robert C. Burnett	A Trade-off Method between Cost and Reliability.	SCCC	1997	DBLP DOI BibTeX RDF	cost/reliability trade-off method, software module development cost estimation, target reliability level, modular software system design phase, operational reliability, software testing phase, fault estimation, project management, software reliability, requirement specification, subroutines, decomposition technique, historical data
19	Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet	A symbolic simulation approach in resolving signals' correlation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools
19	W. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong	Extracting Parallelism in Nested Loops.	COMPSAC	1996	DBLP DOI BibTeX RDF	array index variables, data dependency relation, compile time parallelization methods, nested parallel DOALL loop, parallel algorithms, parallel programming, parallelization, processors, subroutines, nested loops, parallelising compilers, sequential programs, parallelism extraction
19	Kai Koskimies, Hanspeter Mössenböck	Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs.	ICSE	1996	DBLP BibTeX RDF	active text, behavioural prototyping, call matrices, class interfaces, hypertext-like facilities, message flow visualization, method definitions, scenario diagrams, software browsing, reverse engineering, object-oriented programming, object-oriented programs, software development, software tools, programming environments, systems design, hypermedia, systems analysis, program understanding, object-oriented methods, diagrams, data visualisation, source code, subroutines, class diagrams, illustration, Scene
19	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
19	Gene Cooperman	TOP-C: A Task-Oriented Parallel C Interface.	HPDC	1996	DBLP DOI BibTeX RDF	TOP-C, task-oriented parallel C interface, parallel application development, learning barriers, parallel library, task input, sequential code, NOW architecture, masterslave architecture, shared memory implementation, SUN Solaris, SGI architecture, Todd-Coxeter coset enumeration, parallel programming, MPI, software tools, shared memory systems, application program interfaces, data-parallelism, software libraries, SMP, subroutines, subroutine, C language, mathematics computing, parallelising compilers, parallelising compiler, integer factorization, global variables
19	Jan Madsen, Bjarne Hald	An approach to interface synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
19	Takayuki Dan Kimura	Object-Oriented Dataflow.	VL	1995	DBLP DOI BibTeX RDF	object-oriented dataflow, object-oriented visual programming language, calling mechanisms, synchronous call, asynchronous call, asynchronous subroutine call, class-based abstraction, functional abstraction, object-oriented programming, object-oriented programming, visual programming, visual languages, computation model, data flow analysis, object-oriented languages, object-oriented model, subroutines, subroutine, functional model, abstraction mechanism
19	Roger D. Chamberlain, Gregory D. Peterson, Mark A. Franklin, Michael A. Province	Genetic epidemiology, parallel algorithms, and workstation networks.	HICSS (5)	1995	DBLP DOI BibTeX RDF	genetic epidemiology, Gemini/Almini library, routines, optimization routines, cost-effective parallel implementations, genetic epidemiological applications, performance, parallel algorithms, parallel algorithms, optimisation, local area networks, local area network, software performance evaluation, software libraries, subroutines, genetics, biology computing, cost-effective, workstation networks, nonlinear optimization problems, networked workstations
19	Gerardo Canfora, Anna Rita Fasolino, Maria Tortorella	Towards reengineering in reuse reengineering processes.	ICSM	1995	DBLP DOI BibTeX RDF	reuse reengineering processes, productivity improvement, reference paradigms, RE/sup 2/ paradigm, election phase, COBOL programs, candidate components, reusable modules, module template, COBOL code components, reverse engineering, reverse engineering, software maintenance, software quality, software quality, software reuse, software reusability, COBOL, systems re-engineering, subroutines, human resource management
19	William B. Frakes, Thomas P. Pole	An Empirical Study of Representation Methods for Reusable Software Components.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	representation methods, UNIX tools, Proteus, reuse library system, component indexing, enumerated classification, component understanding, database, knowledge representation, software reuse, experimentation, software reusability, keyword searching, subroutines, empirical methods, keyword, information storage and retrieval, multiple representation, faceted classification, reusable software components, attribute-value, reuse libraries
19	Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin	The GenVoca Model of Software-System Generators.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software-system generators, GenVoca model, high-performance software, software tools, productivity, software reusability, libraries, subroutines, reusable components, application generators, complex software systems
19	Scott Henninger	Using Iterative Refinement to Find Reusable Software.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	factographic databases, retrieval tools, CodeFinder, incremental query construction, information retrieval, software tools, software reuse, software design, software reusability, subroutines, spreading activation, reusable software, reformulation, retrieval system, problem-solving process, component libraries
19	Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser	An Information Retrieval Approach For Automatically Constructing Software Libraries.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	information retrieval approach, large software libraries, natural language documentation, indexing scheme, lexical affinities, free-text indexing scheme, free-style natural language queries, software reuse, natural languages, browsing, software reusability, automatic programming, attributes, subroutines, information retrieval systems, clustering technique
19	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
19	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
19	Jun-Ichi Aoe	An Efficient Implementation of Static String Pattern Matching Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	keyword location, static string pattern matching machines, transition table, triple arrays, Johnsons's data structure, retrieval program, reduced data structure, finite straight program, information retrieval, data structures, finite-state machine, subroutines, implementation technique
12	John R. Koza	Introduction to genetic programming tutorial: from the basics to human-competitive results.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic programming, program synthesis
12	Karl Meerbergen, Kresimir Fresl, Toon Knapen	C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	C++, Bindings, BLAS, LAPACK, traits
12	Mateo Restrepo, David P. Williamson	A simple GAP-canceling algorithm for the generalized maximum flow problem.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q25, 05C85, 90C35, 90B10
12	Diethard Klatte, Bernd Kummer	Optimization methods and stability of inclusions in Banach spaces.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49J52, 90C31, 65Y20, 49K40
12	Edward Y. Chang	Confucius and "its" intelligent disciples.	CIKM	2009	DBLP DOI BibTeX RDF	PLDA, PSVM, knowledge search
12	Reza Dorrigiv, Alejandro López-Ortiz, J. Ian Munro	An Application of Self-organizing Data Structures to Compression.	SEA	2009	DBLP DOI BibTeX RDF
12	Serge Fehr, Christian Schaffner	Composing Quantum Protocols in a Classical Environment.	TCC	2009	DBLP DOI BibTeX RDF
12	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
12	Greg Little, Lydia B. Chilton, Max Goldman, Robert C. Miller	TurKit: tools for iterative tasks on mechanical Turk.	KDD Workshop on Human Computation	2009	DBLP DOI BibTeX RDF	toolkit, human computation, mechanical Turk
12	Rajiv Gandhi, Bradford Greening, Sriram V. Pemmaraju, Rajiv Raman 0001	Sub-coloring and Hypo-coloring Interval Graphs.	WG	2009	DBLP DOI BibTeX RDF
12	Fengguang Song, Asim YarKhan, Jack J. Dongarra	Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems.	SC	2009	DBLP DOI BibTeX RDF
12	Matthew Dixon, Jike Chong, Kurt Keutzer	Acceleration of market value-at-risk estimation.	SC-WHPCF	2009	DBLP DOI BibTeX RDF
12	Emmanuel Agullo, Bilel Hadri, Hatem Ltaief, Jack J. Dongarra	Comparative study of one-sided factorizations with multiple software packages on multi-core hardware.	SC	2009	DBLP DOI BibTeX RDF
12	Edward Y. Chang	Confucius and "Its" Intelligent Disciples.	ADMA	2009	DBLP DOI BibTeX RDF
12	Martin H. Luerssen, David M. W. Powers	Evolving encapsulated programs as shared grammars.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Shared grammars, Genetic programming, Modularity, Encapsulation, Memoization, Grammatical evolution, Developmental systems
12	Robert L. Ashenhurst	The battle behind the scenes.	Commun. ACM	2008	DBLP DOI BibTeX RDF
12	David Monniaux	A Quantifier Elimination Algorithm for Linear Real Arithmetic.	LPAR	2008	DBLP DOI BibTeX RDF
12	Jens Gustedt	Engineering Parallel In-Place Random Generation of Integer Permutations.	WEA	2008	DBLP DOI BibTeX RDF
12	Xiaofeng Han, Xiang Cao, Errol L. Lloyd, Chien-Chung Shen	Deploying Directional Sensor Networks with Guaranteed Connectivity and Coverage.	SECON	2008	DBLP DOI BibTeX RDF
12	Reza Dorrigiv, Alejandro López-Ortiz, J. Ian Munro	List Update Algorithms for Data Compression.	DCC	2008	DBLP DOI BibTeX RDF	List Update Algorithms, Data Compression, Burrows-Wheeler Transform
12	Daniel Ziener, Jürgen Teich	Concepts for Autonomous Control Flow Checking for Embedded CPUs.	ATC	2008	DBLP DOI BibTeX RDF
12	Nelson H. F. Beebe, James S. Ball	Algorithm 867: QUADLOG - a package of routines for generating Gauss-related quadrature for two classes of logarithmic weight functions.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	EISPACK pythag() function, Gauss-Chebyshev quadrature, Gauss-Jacobi quadrature, Gauss-Laguerre quadrature, Gauss-Legendre quadrature, Gauss-type quadrature, Maple symbolic algebra system, Mehler quadrature, gamma-function testing, logarithmic integrals, machine-epsilon testing, psi-function testing, software testing, software portability, orthogonal polynomials
12	Liza Fireman, Erez Petrank, Ayal Zaks	New Algorithms for SIMD Alignment.	CC	2007	DBLP DOI BibTeX RDF
12	Philippe P. Pébay, David C. Thompson 0001, Jason Shepherd, Patrick M. Knupp, Curtis Lisle, Vincent Magnotta, Nicole M. Grosland	New Applications of the Verdict Library for Standardized Mesh Verification Pre, Post, and End-to-End Processing.	IMR	2007	DBLP DOI BibTeX RDF
12	Michael S. Horn, Robert J. K. Jacob	Tangible programming in the classroom with tern.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	education, children, tangible UIs, programming languages
12	Steffen Christensen, Franz Oppacher	Solving the artificial ant on the Santa Fe trail problem in 20, 696 fitness evaluations.	GECCO	2007	DBLP DOI BibTeX RDF	genetic programming, representations, running time analysis, speedup technique
12	Vit Niennattrakul, Chotirat Ann Ratanamahatana	Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Shape Averaging, Time Series, Dynamic Time Warping
12	Hongdong Li	A practical algorithm for L triangulation with outliers.	CVPR	2007	DBLP DOI BibTeX RDF
12	Paul D. Witman, Terry Ryan	Innovation in Large-Grained Software Reuse: A Case from Banking.	HICSS	2007	DBLP DOI BibTeX RDF
12	Jiwei Li, Xianghua Zhang, Chun Yuan, Zhaohui Jiang, Huanqing Feng	Motif Extraction with Indicative Events for System Call Sequence Classification.	FSKD (3)	2007	DBLP DOI BibTeX RDF
12	Ramesh Hariharan, Telikepalli Kavitha, Debmalya Panigrahi, Anand Bhalgat	An Õ(mn) Gomory-Hu tree construction algorithm for unweighted graphs.	STOC	2007	DBLP DOI BibTeX RDF	Gomory-Hu tree, cut tree, steiner edge connectivity, edge connectivity, min cut
12	Pierluigi Amodio, Giuseppe Romanazzi	Algorithm 859: BABDCR - a Fortran 90 package for the solution of bordered ABD linear systems.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	bordered almost block diagonal matrices, cyclic reduction, Linear systems, numerical solution
12	Vincent Berry, François Nicolas	Improved Parameterized Complexity of the Maximum Agreement Subtree and Maximum Compatible Tree Problems.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	algorithms, pattern matching, trees, consensus, compatibility, fixed-parameter tractability, Phylogenetics
12	Mateo Restrepo, David P. Williamson	A simple GAP-canceling algorithm for the generalized maximum flow problem.	SODA	2006	DBLP DOI BibTeX RDF
12	Jakub Kurzak, Jack J. Dongarra	Implementing Linear Algebra Routines on Multi-core Processors with Pipelining and a Look Ahead.	PARA	2006	DBLP DOI BibTeX RDF
12	Eugene V. Shilnikov	Parallel Program Complex for 3D Unsteady Flow Simulation.	PARA	2006	DBLP DOI BibTeX RDF	Unsteady viscous gas flows, Parallel program complex, Kinetically consistent finite difference schemes, Parallelization efficiency, Turbulent flows
12	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	2006	DBLP DOI BibTeX RDF
12	H. Martin Bücker, Atya Elsheikh, Andre Vehreschild	A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation.	ICMS	2006	DBLP DOI BibTeX RDF
12	Steven Glenn Jackson, Alfred G. Noël	Polarizable Theta-Stable Parabolic Subalgebras and KC-Saturation in the Non-compact Real Forms of G2 and F4.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
12	Dick Hamlet	Subdomain testing of units and systems with state.	ISSTA	2006	DBLP DOI BibTeX RDF	persistent state, unit/system testing, testing theory
12	Tamás Roska, Dávid Bálya, Anna Lázár, Kristóf Karacs, Róbert Wagner, M. Szuhaj	System aspects of a bionic eyeglass.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Pavel Tvrdík, Ivan Simecek	A New Approach for Accelerating the Sparse Matrix-Vector Multiplication.	SYNASC	2006	DBLP DOI BibTeX RDF
12	Wei Liu 0014, James Tuck 0001, Luis Ceze, Wonsun Ahn, Karin Strauss, Jose Renau, Josep Torrellas	POSH: a TLS compiler that exploits program structure.	PPoPP	2006	DBLP DOI BibTeX RDF	TLS compiler, profiling, prefetching, thread-level speculation, multi-core architecture
12	Saisanthosh Balakrishnan, Gurindar S. Sohi	Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs.	ISCA	2006	DBLP DOI BibTeX RDF
12	Marcos Singer, Patricio Donoso, José Luis Noguer	Optimal Planning of a Multi-Station System with Sojourn Time Constraints.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	resource allocation, dynamic system, Lagrangian relaxation, sojourn times, operations planning
12	Frédéric Magniez, Miklos Santha, Mario Szegedy	Quantum algorithms for the triangle problem.	SODA	2005	DBLP BibTeX RDF
12	Benjamin Almeida, Reema Mahajan, Dieter Kranzlmüller, Jens Volkert, Siegfried Höfinger	Probing the Applicability of Polarizable Force-Field Molecular Dynamics for Parallel Architectures: A Comparison of Digital MPI with LAM-MPI and MPICH2.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Polarizable Force Fields, LAM-MPI, MPI, Molecular Dynamics, MPICH2
12	Guojing Cong, David A. Bader	An Experimental Study of Parallel Biconnected Components Algorithms on Symmetric Multiprocessors (SMPs).	IPDPS	2005	DBLP DOI BibTeX RDF
12	Jose Renau, James Tuck 0001, Wei Liu 0014, Luis Ceze, Karin Strauss, Josep Torrellas	Tasking with out-of-order spawn in TLS chip multiprocessors: microarchitecture and compilation.	ICS	2005	DBLP DOI BibTeX RDF
12	Carla Correa Tavares dos Reis, Rubem P. Mondaini	Using Parallel Algorithms for Searching Molecular Sequence Databases.	CSB Workshops	2005	DBLP DOI BibTeX RDF
12	Xipeng Shen, Chen Ding 0001	Parallelization of Utility Programs Based on Behavior Phase Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
12	Weng-Long Chang, Minyi Guo, Michael (Shan-Hui) Ho, Sien-Tang Tsai	Communication-Free Data Alignment for Arrays with Exponential References Using Elementary Linear Algebra.	ISPA	2005	DBLP DOI BibTeX RDF
12	Rahul Khardekar, Greg Burton, Sara McMains	Finding feasible mold parting directions using graphics hardware.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF
12	Peter Hachenberger, Lutz Kettner	Boolean operations on 3D selective Nef complexes: optimized implementation and experiments.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	boundary evaluation, exactness, nef polyhedra, unbounded polyhedra, algorithms, data structures, benchmark, robustness, experiments, completeness, CSG, non-manifold, B-rep
12	Hiroshi Tanabe, Hiroki Honda, Toshitsugu Yuba	Macro-Dataflow using Software Distributed Shared Memory.	CLUSTER	2005	DBLP DOI BibTeX RDF
12	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
12	Weng-Long Chang, Jih-Woei Huang, Chih-Ping Chu	Using Elementary Linear Algebra to Solve Data Alignment for Arrays with Linear or Quadratic References.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	communication-free alignment, load balancing, parallel computing, Parallel compiler, loop optimization, data dependence analysis
12	Erik Elmroth, Rikard Skelander	Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries.	PARA	2004	DBLP DOI BibTeX RDF	numerical software libraries, NetSolve, Grid computing, interface, SLICOT, remote computing
12	Sanjay Singh, S. V. Barai	Earthquake Engineering Problems in Parallel Neuro Environment.	HiPC	2004	DBLP DOI BibTeX RDF
12	Henning Fernau	Extracting Minimum Length Document Type Definitions Is NP-Hard.	ICGI	2004	DBLP DOI BibTeX RDF
12	Xihuang Zhang, Wenbo Xu 0001	A New CGI Queueing Model Designed in Embedded Web Server.	ICESS	2004	DBLP DOI BibTeX RDF
12	Ivan Simecek, Pavel Tvrdík	Analytical Model for Analysis of Cache Behavior during Cholesky Factorization and Its Variants.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
12	Kazuhisa Ishizaka, Takamichi Miyamoto, Jun Shirako, Motoki Obata, Keiji Kimura, Hironori Kasahara	Performance of OSCAR Multigrain Parallelizing Compiler on SMP Servers.	LCPC	2004	DBLP DOI BibTeX RDF
12	Predrag T. Tosic, Gul A. Agha	Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems.	MMAS	2004	DBLP DOI BibTeX RDF	large-scale multi-agent systems, distributed group formation, agent coalitions, distributed algorithms
12	Enrique Arias, Vicente Hernández	Numerical Integration of the Differential Riccati Equation: A High Performance Computing Approach.	VECPAR	2004	DBLP DOI BibTeX RDF	Parallel Computing, Numerical Methods
12	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
12	Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann	Superposition Modulo a Shostak Theory.	CADE	2003	DBLP DOI BibTeX RDF
12	Ching-Chi Lin, Hsueh-I Lu, I-Fan Sun	Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer.	STACS	2003	DBLP DOI BibTeX RDF