|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 651 occurrences of 425 keywords
|
|
|
Results
Found 401 publication records. Showing 401 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 401 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|