Search results for "software libraries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Kingsum Chow, David Notkin	Semi-automatic update of applications in response to library changes. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers
3	Jaeyoung Choi, Jack Dongarra	Scalable linear algebra software libraries for distributed memory concurrent computers.	FTDCS	1995	DBLP DOI BibTeX RDF	scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations
3	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
2	Martin Süßkraut, Christof Fetzer	Robustness and Security Hardening of COTS Software Libraries.	DSN	2007	DBLP DOI BibTeX RDF
2	Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek	LCSD: library-centric software design.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	software libraries
2	Stanislav Chachkov, Didier Buchs	Interfacing Software Libraries from Non-deterministic Prototypes.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
2	Thomas Ball, Sagar Chaki, Sriram K. Rajamani	Parameterized Verification of Multithreaded Software Libraries.	TACAS	2001	DBLP DOI BibTeX RDF
2	Chris Drummond, Dan Ionescu, Robert C. Holte	A Learning Agent that Assists the Browsing of Software Libraries.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	searching software libraries, simulated human users, active browsing, Software reuse, learning agents
2	Samuel Z. Guyer, Calvin Lin	Optimizing the Use of High Performance Software Libraries.	LCPC	2000	DBLP DOI BibTeX RDF
2	Guilaine Talens, Danielle Boulanger, Isabelle Dedun	A knowledge based system: an object case approach.	ICTAI	2000	DBLP DOI BibTeX RDF	object case approach, domain knowledge representation, case based paradigm, legal qualification, knowledge domains, medical practice, legal evaluation, case model, expert knowledge capture, object indexes, problem representation, case indexation, similar case retrieval, case modeling, object-oriented programming, knowledge based systems, knowledge based system, software reuse, case-based reasoning, software libraries, software libraries, object based system
2	Amir Michail, David Notkin	Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.	ICSE	1999	DBLP BibTeX RDF	information retrieval, reuse, assessment, software libraries
2	Hsien-Chou Liao, Ming-Feng Chen, Feng-Jian Wang, Jian-Cheng Dai	Using a Hierarchical Thesaurus for Classifying and Searching Software Libraries. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	faceted scheme, hierarchical thesaurus, software reuse, software library
2	Rym Mili, Ali Mili, Roland Mittermeir	Storing and Retrieving Software Conponents: A Refinement Based System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	software components storage and retrieval, refinement ordering, formal specifications, software reuse, Software libraries
2	Amy Moormann Zaremski, Jeannette M. Wing	Signature Matching: A Tool for Using Software Libraries.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	software retrieval, signature matching
2	Khuzaima S. Daudjee, Anestis A. Toptsis	A technique for automatically organizing software libraries for software reuse.	CASCON	1994	DBLP DOI BibTeX RDF	clustering, software reuse, software libraries
2	Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas	Scalable Software Libraries.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
2	Andy Podgurski, Lynn Pierce	Retrieving Reusable Software by Sampling Behaviour.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	behavior sampling, software retrieval, software reuse, software libraries
1	Nicolás Marín, Clara Sáez Árcija, María Amparo Vila	A Fuzzy Framework for Software Libraries Matching.	ICHIT	2011	DBLP DOI BibTeX RDF
1	Shivani Rao, Avinash C. Kak	Retrieval from software libraries for bug localization: a comparative study of generic and composite text models.	MSR	2011	DBLP DOI BibTeX RDF
1	Matthew Canton	The presence table: a reactive surface for ambient connection.	Tangible and Embedded Interaction	2011	DBLP DOI BibTeX RDF
1	Knut Reinert	Oops I Did it Again... Sustainability in Sequence Analysis via Software Libraries.	ERCIM News	2010	DBLP BibTeX RDF
1	Beng Heng Ng, Xin Hu, Atul Prakash	A Study on Latent Vulnerabilities.	SRDS	2010	DBLP DOI BibTeX RDF	software reliability, computer security, software libraries, software protection, software safety
1	Tim Campbell, Richard Allard, Ruth Preller, Lucy Smedstad, Alan Wallcraft, Sue Chen, Hao Jin, Sasa Gabersek, Richard Hodur, Joseph Reich, C. D. Fry, V. Eccles, R. Hunter, Cecelia DeLuca, Gerhard Theurich	Integrated Modeling of the Battlespace Environment.	Computing in Science and Engineering	2010	DBLP DOI BibTeX RDF	Earth and atmospheric sciences, software libraries, domain-specific architectures
1	Macneil Shonle, Timothy T. Yuen	Compose & conquer: modularity for end-users.	ICSE	2010	DBLP DOI BibTeX RDF	architectural mismatch, modularity, end-user programming
1	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
1	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
1	Yunwen Ye	Peer to Peer Support for the Reuse of Open Source Software Libraries.	IRI	2009	DBLP DOI BibTeX RDF
1	Daniel C. Howe	RiTa: creativity support for computational literature.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	computational literature, digital writing, software libraries, computer education, creativity support tools
1	Adrian Bonar	The Design of a System for Testing Database-Centric Software Applications Using Database Surrogates.	ITNG	2009	DBLP DOI BibTeX RDF	software testing, software quality, programming environments, Automatic testing, software libraries
1	Craig Merchant, Manuel Tellez, Jagannathan Venkatesan	A Browser Agnostic Web Application UI Test Framework: Motivation, Architecture, and Design.	ITNG	2009	DBLP DOI BibTeX RDF	software testing, software quality, programming environments, Automatic testing, software libraries
1	Santiago Martín, Javier Suárez, R. Orea, Ramón Rubio, Ramón Gallego	GLSV: Graphics library stereo vision for OpenGL.	Virtual Reality	2009	DBLP DOI BibTeX RDF	Virtual reality, Software libraries, Display algorithms, Stereoscopic
1	Victor Eijkhout, Erika Fuentes	A Standard and Software for Numerical Metadata.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF
1	Dino Konstantopoulos, John Marien, Mike Pinkerton, Eric Braude	Best Principles in the Design of Shared Software.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Jyotirmoy V. Deshmukh, E. Allen Emerson	Verification of recursive methods on tree-like data structures.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Andrea Detti, Giuseppe Bianchi, Claudio Pisa, Francesco Saverio Proto, Pierpaolo Loreti, Wolfgang Kellerer, Srisakul Thakolsri, Jörg Widmer	SSVF: an open-source experimental evaluation framework for H.264 scalable video streaming.	ISCC	2009	DBLP DOI BibTeX RDF
1	Florian Klompmaker, Christian Reimann	A service based framework for developing mobile, collaborative games.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	collaboration, mobile, games, services, outsourcing
1	Danny Dig, Stas Negara, Vibhu Mohindra, Ralph E. Johnson	ReBA: a tool for generating binary adapters for evolving java libraries.	ICSE Companion	2008	DBLP DOI BibTeX RDF	api compatibility, refactoring, libraries, component reuse
1	Danny Dig, Stas Negara, Vibhu Mohindra, Ralph E. Johnson	ReBA: refactoring-aware binary adaptation of evolving libraries.	ICSE	2008	DBLP DOI BibTeX RDF	api compatibility, refactoring, libraries, component reuse
1	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
1	Marzio Sala, Kendall S. Stanley, Michael A. Heroux	On the design of interfaces to sparse direct solvers.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Direct solver libraries, distributed linear algebra, Object-oriented design
1	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
1	Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup	Build to order linear algebra kernels.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Yongjin Yeom, Yongkuk Cho, Moti Yung	High-Speed Implementations of Block Cipher ARIA Using Graphics Processing Units.	MUE	2008	DBLP DOI BibTeX RDF	GPU, implementation, block cipher, GPGPU, Graphics Processor, ARIA
1	Xavier Ochoa, Erik Duval	Measuring Learning Object Reuse.	EC-TEL	2008	DBLP DOI BibTeX RDF	reuse, Learning Object, granularity
1	Michael Messig, Andrzej Goscinski	Interoperable and Transparent Dynamic Deployment of Web Services for Service Oriented Grids.	ICCS	2008	DBLP DOI BibTeX RDF	Service Oriented Grids, Web Services, Autonomic Computing
1	Jack Dongarra	An Overview of High Performance Computing and Challenges for the Future.	VECPAR	2008	DBLP DOI BibTeX RDF
1	Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith	Library composition and adaptation using c++ concepts.	GPCE	2007	DBLP DOI BibTeX RDF	C++, polymorphism, generic programming, software libraries
1	Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan	Adding preemption to TinyOS.	EmNets	2007	DBLP DOI BibTeX RDF
1	Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach	Lightweight concurrency primitives for GHC.	Haskell	2007	DBLP DOI BibTeX RDF	concurrency, haskell, transactional memory, thread
1	Kunal Taneja, Danny Dig, Tao Xie	Automated detection of api refactorings in libraries.	ASE	2007	DBLP DOI BibTeX RDF	refactoring, libraries, code reuse, software maintainance
1	Esam El-Araby, Ivan Gonzalez, Tarek A. El-Ghazawi	Bringing High-Performance Reconfigurable Computing to Exact Computations.	FPL	2007	DBLP DOI BibTeX RDF
1	Shan Shan Huang, Yannis Smaragdakis	Building Scalable Libraries with cJ.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Arun Kumar, Anindya Neogi, Sateesh Pragallapati, D. Janaki Ram	Raising Programming Abstraction from Objects to Services.	ICWS	2007	DBLP DOI BibTeX RDF
1	Pavan Balaji, Darius Buntinas, Satish Balay, Barry F. Smith, Rajeev Thakur, William Gropp	Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Gerwin de Haan, Michal Koutek, Frits H. Post	Flexible Abstraction Layers for VR Application Development.	VR	2007	DBLP DOI BibTeX RDF
1	Francesco Poletti, Antonio Poggiali, Davide Bertozzi, Luca Benini, Pol Marchal, Mirko Loghi, Massimo Poncino	Energy-Efficient Multiprocessor Systems-on-Chip for Embedded Computing: Exploring Programming Models and Their Architectural Support.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	embedded multimedia, low power, energy efficiency, MPSoCs, programming models, task-level parallelism
1	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Discovering Documentation for Java Container Classes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF
1	Divya Arora, Anand Raghunathan, Srivaths Ravi, Murugan Sankaradass, Niraj K. Jha, Srimat T. Chakradhar	Exploring Software Partitions for Fast Security Processing on a Multiprocessor Mobile SoC.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Prabhanjan Kambadur, Douglas Gregor, Andrew Lumsdaine	Parallelization of Generic Libraries Based on Type Properties.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Type Properties, Parallel Algorithms, Specialization
1	Frank McCarey, Mel Ó Cinnéide, Nicholas Kushmerick	A Recommender Agent for Software Libraries: An Evaluation of Memory-Based and Model-Based Collaborative Filtering.	IAT	2006	DBLP DOI BibTeX RDF
1	Shigeru Kobayashi, Takanori Endo, Katsuhiko Harada, Shosei Oishi	GAINER: A reconfigurable I/O module and software libraries for education.	NIME	2006	DBLP BibTeX RDF
1	Divya Arora, Anand Raghunathan, Srivaths Ravi, Murugan Sankaradass, Niraj K. Jha, Srimat T. Chakradhar	Software architecture exploration for high-performance security processing on a multiprocessor mobile SoC.	DAC	2006	DBLP DOI BibTeX RDF	computation offloading, software partitioning
1	Stephen M. Watt	A technique for generic iteration and its optimization.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic program, iterators
1	Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine	Concepts: linguistic support for generic programming in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, parametric polymorphism, C++ templates, C++0x
1	Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek	Algorithm specialization in generic programming: challenges of constrained generics in C++.	PLDI	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, specialization, parametric polymorphism
1	Miguel-Ángel Sicilia, Elena García Barriocanal	Extending object database interfaces with fuzziness through aspect-oriented design.	SIGMOD Record	2006	DBLP DOI BibTeX RDF
1	Jeffrey Stylos, Brad A. Myers	Mica: A Web-Search Tool for Finding API Components and Examples.	VL/HCC	2006	DBLP DOI BibTeX RDF
1	Xing Cai, Hans Petter Langtangen	Software Tools for Parallel CFD Applications: Minisymposium Abstract.	PARA	2006	DBLP DOI BibTeX RDF
1	Marzio Sala, Kendall S. Stanley, Michael A. Heroux	Amesos: A Set of General Interfaces to Sparse Direct Solver Libraries.	PARA	2006	DBLP DOI BibTeX RDF
1	Todd L. Veldhuizen	Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law	CoRR	2005	DBLP BibTeX RDF
1	Lai Mei	Software libraries of intelligent transportation system based on GIS.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
1	Yasushi Shinjo, Calton Pu	Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries
1	Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp	Generic Programming and High-Performance Libraries.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	high-level optimization, formal verification, static analysis, Generic programming, software libraries
1	Douglas Gregor, Andrew Lumsdaine	Lifting sequential graph algorithms for distributed-memory parallel computation.	OOPSLA	2005	DBLP DOI BibTeX RDF	distributed computing, generic programming, parallel graph algorithms
1	Michael A. Heroux, Roscoe A. Bartlett, Vicki E. Howle, Robert J. Hoekstra, Jonathan J. Hu, Tamara G. Kolda, Richard B. Lehoucq, Kevin R. Long, Roger P. Pawlowski, Eric T. Phipps, Andrew G. Salinger, Heidi Thornquist, Ray S. Tuminaro, James M. Willenbring, Alan B. Williams, Kendall S. Stanley	An overview of the Trilinos project.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	Software Quality Engineering, interfaces, Software framework
1	Ling Zhuo, Viktor K. Prasanna	Design Tradeoffs for BLAS Operations on Reconfigurable Hardware.	ICPP	2005	DBLP DOI BibTeX RDF
1	Pradeep Varma	Stub Libraries for Software Migration and Development.	STEP	2005	DBLP DOI BibTeX RDF
1	Eric Berberich, Arno Eigenwillig, Michael Hemmer, Susan Hert, Lutz Kettner, Kurt Mehlhorn, Joachim Reichel, Susanne Schmitt, Elmar Schömer, Nicola Wolpert	EXACUS: Efficient and Exact Algorithms for Curves and Surfaces.	ESA	2005	DBLP DOI BibTeX RDF
1	Jeremy G. Siek, Andrew Lumsdaine	Language Requirements for Large-Scale Generic Libraries.	GPCE	2005	DBLP DOI BibTeX RDF
1	Bill Howe, David Maier	Algebraic manipulation of scientific datasets.	VLDB J.	2005	DBLP DOI BibTeX RDF	Mesh, Algebra, Scientific Databases
1	Luisa D'Amore, Mario R. Guarracino, Giuliano Laccetti, Almerico Murli	Integrating Scientific Software Libraries in Problem Solving Environments: A Case Study with ScaLAPACK.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Raymond Lister, Ilona Box, Briana B. Morrison, Josh D. Tenenberg, Suzanne Westbrook	The dimensions of variation in the teaching of data structures.	ITiCSE	2004	DBLP DOI BibTeX RDF	java collections framework, data structures, CS2, introductory programming, STL, phenomenography
1	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
1	Saleem Hussain	From Sequence to Structure Using PF2: Improving Methods for Protein Folding Prediction.	CBMS	2004	DBLP DOI BibTeX RDF
1	Gustave Anderson, Leonardo Urbano, Gaurav Naik, David J. Dorsey, Andrew Mroczkowski, Donovan Artz, Nicholas Morizio, Andrew Burnheimer, Kris Malfettone, Daniel Lapadat, Evan Sultanik, Saturnino Garcia, Maxim Peysakhov, William C. Regli, Moshe Kam	A Secure Wireless Agent-based Testbed.	IWIA	2004	DBLP DOI BibTeX RDF
1	Imed Hammouda, Olcay Guldogan, Kai Koskimies, Tarja Systä	Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models.	IWPC	2004	DBLP DOI BibTeX RDF
1	Chris Scharver, Ray Evenhouse, Andrew E. Johnson, Jason Leigh	Pre-surgical Cranial Implant Design using the PARISTM Prototype.	VR	2004	DBLP DOI BibTeX RDF
1	Michael A. Heroux, Marzio Sala	The Design of Trilinos.	PARA	2004	DBLP DOI BibTeX RDF
1	William D. Gropp	MPI and High Productivity Programming.	PVM/MPI	2004	DBLP DOI BibTeX RDF
1	Yannis Smaragdakis	Program Generators and the Tools to Make Them.	SAS	2004	DBLP DOI BibTeX RDF
1	Stanislav Chachkov, Didier Buchs	Interfacing Software Libraries from Nondeterministic Prototypes.	Design Autom. for Emb. Sys.	2003	DBLP DOI BibTeX RDF
1	Peter W. Markstein	Accelerating Sine and Cosine Evaluation with Compiler Assistance.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
1	Miro Casanova, Ragnhild Van Der Straeten, Viviane Jonckers	Supporting Evolution in Component-Based Development Using Component Libraries.	CSMR	2003	DBLP DOI BibTeX RDF
1	Armita Peymandoust, Tajana Simunic, Giovanni De Micheli	Complex instruction and software library mapping for embedded software using symbolic algebra.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI BibTeX RDF
1	Dragan Mirkovic, S. Lennart Johnsson	CODELAB: A Developers' Tool for Efficient Code Generation and Optimization.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Stefano Giordano, Marco Listanti, Fabio Mustacchio, Saverio Niccolini, Stefano Salsano, Luca Veltri	SIP Originated Dynamic Resource Configuration in DiffServ Networks: SIP / COPS / Traffic Control Mechanisms.	QoS-IP	2003	DBLP DOI BibTeX RDF
1	Keith Moore, Jack Dongarra	NetBuild: transparent cross-platform access to computational software libraries.	Concurrency and Computation: Practice and Experience	2002	DBLP DOI BibTeX RDF
1	Pedher Johansson, Daniel Kressner	Semi-automatic Generation of Web-Based Computing Environments for Software Libraries.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Srivaths Ravi, Anand Raghunathan, Nachiketh R. Potlapally, Murugan Sankaradass	System design methodologies for a wireless security processing platform.	DAC	2002	DBLP DOI BibTeX RDF	security, performance, embedded system, wireless, encryption, AES, RSA, design methodology, system architecture, platform, DES, IPSec, SSL, decryption, handset, 3DES, security processing