Search results for "software library"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Chang Liu, En Ye, Debra J. Richardson	LtRules: an automated software library usage rule extraction tool.	ICSE	2006	DBLP DOI BibTeX RDF	software library usage rule, model checking
2	Jens Keiner, Stefan Kunis, Daniel Potts	Using NFFT 3---A Software Library for Various Nonequispaced Fast Fourier Transforms.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	approximative algorithms, Fast Fourier transforms
2	Christian L. Müller, Benedikt Baumgartner, Georg Ofenbeck, Birte Schrader, Ivo F. Sbalzarini	pCMALib: a parallel fortran 90 library for the evolution strategy with covariance matrix adaptation.	GECCO	2009	DBLP DOI BibTeX RDF	parallel island model, evolution strategies, software library, cma-es
2	Chang Liu, En Ye, Debra J. Richardson	Software Library Usage Pattern Extraction Using a Software Model Checker.	ASE	2006	DBLP DOI BibTeX RDF
2	Kwong-Ip Liu, Fred J. Hickernell	A Scalable Low Discrepancy Point Generator for Parallel Computing.	ISPA	2004	DBLP DOI BibTeX RDF	Monte Carlo and Quasi-Monte Carlo methods, digital nets, parallel programming, software library
2	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
2	Colin J. Fidge	Contextual Matching of Software Library Components.	APSEC	2002	DBLP DOI BibTeX RDF
2	Dragan Mirkovic, Rishad Mahasoom, S. Lennart Johnsson	An adaptive software library for fast Fourier transforms.	ICS	2000	DBLP DOI BibTeX RDF
2	Murat Aydos, T. Yanik, Çetin Kaya Koç	An High-Speed ECC-based Wireless Authentication Protocol on an ARM Microprocessor.	ACSAC	2000	DBLP DOI BibTeX RDF	high-speed ECC-based wireless authentication, ARM microprocessor, elliptic curve digital signature algorithm, ARM7TDMI processor, core processor, 80 MHz, 160 bit, mobile computing, elliptic curve cryptography, public key cryptography, software libraries, software library, authorisation, microprocessor chips, message authentication, portable computers, ECDSA, 32 bit, wireless applications
2	Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili	Retrieving Software Components that Minimize Adaptation Effort. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	adaptation effort, retrieval procedures, approximate retrieval, library components, functional distance, formal specification, formal specifications, software components, software library
2	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
2	Paolino Di Felice	Reusability of Mathematical Software: A Contribution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	reusable code, self-contained software components, existing software library, EasyCard system, software reusability, information hiding, reusability, understandability, mathematics computing, programming methodology, matrix computation, mathematical software
1	Carmen Vidaurre, Tilmann Heinrich Sander, Alois Schlögl	BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.	Comp. Int. and Neurosc.	2011	DBLP DOI BibTeX RDF
1	Athanasia Panousopoulou, Leo Galway, Chris D. Nugent, Guido Parente	SensorMed: A lightweight software library for pervasive healthcare systems.	CBMS	2011	DBLP DOI BibTeX RDF
1	Mikhail Marchenko	PARMONC - A Software Library for Massively Parallel Stochastic Simulation.	PaCT	2011	DBLP DOI BibTeX RDF
1	Vincent Levorato, Marc Bui	Data Structures and Algorithms for Pretopology: the Java-based Software Library PretopoLib.	IICS	2011	DBLP BibTeX RDF
1	Edward Givelberg, Alexander S. Szalay, Kalin Kanov, Randal C. Burns	MPI-DB, A Parallel Database Services Software Library for Scientific Computing.	EuroMPI	2011	DBLP DOI BibTeX RDF
1	Jonathan L. Goodall, John P. Fay, David L. Bollinger Jr.	A software library for quantifying regional-scale nitrogen transport within river basin systems.	Environmental Modelling and Software	2010	DBLP DOI BibTeX RDF
1	Juan Rodríguez-Covili, Sergio F. Ochoa, José A. Pino, Roc Messeguer, Esunly Medina, Dolors Royo	HLMP API: A software library to support the development of mobile collaborative applications.	CSCWD	2010	DBLP DOI BibTeX RDF
1	Jerrid Matthews, Chatschik Bisdikian, Lance M. Kaplan, Tien Pham	An Ontology-Based Framework for Designing a Sensor Quality of Information Software Library.	Mobile Data Management	2010	DBLP DOI BibTeX RDF	QoI, Error Library, Sensor Networks, component
1	Konrad Mühler, Christian Tietjen, Felix Ritter, Bernhard Preim	The Medical Exploration Toolkit: An Efficient Support for Visual Computing in Surgical Planning and Training.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	software engineering, software library, medical visualization, graphical programming, visualization techniques and methodologies, life and medical sciences, Visualization applications
1	Andreas Gogol-Döring	SeqAn - a generic software library for sequence.		2009	RDF
1	Stefan Voß	Metaheuristics.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Pilot method, Optimization software library, POPMUSIC, Adaptive memory programming, Pool template, Genetic algorithm, Evolutionary algorithm, Heuristics, Simulated annealing, Tabu search, Metaheuristics, Hybridization, Variable neighborhood search, Scatter search, Greedy randomized adaptive search procedure
1	Thomas F. Gordon, Douglas Walton	Legal reasoning with argumentation schemes.	ICAIL	2009	DBLP DOI BibTeX RDF
1	Alessandro Pellegrini, Roberto Vitali, Francesco Quaglia	Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects.	PADS	2009	DBLP DOI BibTeX RDF	Incremental checkpointing, Performance optimization, Optimistic simulation
1	Magno R. Guillen, Malek Adjouadi, Byron Bernal, Melvin Ayala, Armando Barreto, Naphtali Rishe, Gabriel Lizárraga, Xiaozhen You, William Gaillard	A knowledge-based database system for visual rating of fMRI activation patterns for brain language networks.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	brain activation map, language network, medical image rating, multimedia scoring tool, rater, MRI, SPM, FSL
1	Álvaro Gutiérrez, Alexandre Campo, Marco Dorigo, Jesus Donate, Félix Monasterio-Huelin, Luis Magdalena	Open E-puck Range & Bearing miniaturized board for local communication in swarm robotics.	ICRA	2009	DBLP DOI BibTeX RDF
1	Paul Varcholik, Joseph J. LaViola Jr., Denise M. Nicholson	TACTUS: A Hardware and Software Testbed for Research in Multi-Touch Interaction.	HCI	2009	DBLP DOI BibTeX RDF	HCI, Testbed, API, Multi-Touch, Touch Screen
1	Prodip Hore, Lawrence O. Hall, Dmitry B. Goldgof, Yuhua Gu, Andrew Maudsley, Ammar Darkazanli	A Scalable Framework For Segmenting Magnetic Resonance Images.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Clustering, Scalable, Segmentation, Magnetic resonance imaging, FCM, Automatic
1	Jesper Nielsen, Thomas Mailund	SNPFile - A software library and file format for large scale association mapping and population genetics studies.	BMC Bioinformatics	2008	DBLP DOI BibTeX RDF
1	Alois Schlögl, Clemens Brunner	BioSig: A Free and Open Source Software Library for BCI Research.	IEEE Computer	2008	DBLP DOI BibTeX RDF
1	Gregorio de Miguel Casado, Juan Manuel García Chamizo	A Software Library for Reliable Online-Arithmetic with Rational Numbers.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
1	Maria Teresa Pazienza, Armando Stellato, Andrea Turbati	Linguistic Watermark 3.0: An RDF Framework and a Software Library for Bridging Language and Ontologies in the Semantic Web.	SWAP	2008	DBLP BibTeX RDF
1	Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons	The visitor pattern as a reusable, generic, type-safe component.	OOPSLA	2008	DBLP DOI BibTeX RDF	algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern
1	Richard Vaughan	Massively multi-robot simulation in stage.	Swarm Intelligence	2008	DBLP DOI BibTeX RDF	Player/stage, Simulation, Swarm, Multi-robot, Stage
1	Mikhail Ju. Moshkov, Andrzej Skowron, Zbigniew Suraj	Extracting Relevant Information about Reduct Sets from Data Tables.	T. Rough Sets	2008	DBLP DOI BibTeX RDF	geometry of reducts, Rough sets, decision tables, decision reducts
1	Giorgio Valentini	Mosclust: a software library for discovering significant structures in bio-molecular data.	Bioinformatics	2007	DBLP DOI BibTeX RDF
1	Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini	Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip.	EMSOFT	2007	DBLP DOI BibTeX RDF	multimedia dataflow streaming, scheduling, allocation
1	Debora Donato, Luigi Laura, Stefano Leonardi, Stefano Millozzi	The Web as a graph: How far we are.	ACM Trans. Internet Techn.	2007	DBLP DOI BibTeX RDF	models, World-Wide-Web, Graph structure
1	Pierre L'Ecuyer, Richard J. Simard	TestU01: A C library for empirical testing of random number generators.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	Statistical software, random number generators, statistical test, random number tests
1	Ilie Savga, Michael Rudolf, Jacek Sliwerski, Jan Lehmann, Harald Wendel	API Changes - How FarWould You Go?	CSMR	2007	DBLP DOI BibTeX RDF
1	Silvia Franchini, Antonio Gentile, M. Grimaudo, C. A. Hung, Sandro Impastato, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile	A Sliced Coprocessor for Native Clifford Algebra Operations.	DSD	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	Antonino Tumeo, Marco Branca, Lorenzo Camerini, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	An Interrupt Controller for FPGA-based Multiprocessors.	ICSAMOS	2007	DBLP DOI BibTeX RDF
1	Jianguo Zhang, Fenghai Yu, Jianyong Sun, Yuanyuan Yang, Chenwen Liang	DICOM Image Secure Communications With Internet Protocols IPv6 and IPv4.	IEEE Transactions on Information Technology in Biomedicine	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	Andreas Dedner, Marcel Lüthi, Thomas Albrecht, Thomas Vetter	Curvature Guided Level Set Registration Using Adaptive Finite Elements.	DAGM-Symposium	2007	DBLP DOI BibTeX RDF
1	Hans-Christoph Steiner	Towards a catalog and software library of mapping methods.	NIME	2006	DBLP BibTeX RDF
1	David Chu, Kaisen Lin, Alexandre Linares, Giang Nguyen, Joseph M. Hellerstein	Sdlib: a sensor network data and communications library for rapid and robust application development.	IPSN	2006	DBLP DOI BibTeX RDF	wireless sensor networks, software library, collection, dissemination
1	Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum	Hybrid transactional memory.	ASPLOS	2006	DBLP DOI BibTeX RDF	transactional memory
1	Maurice Herlihy, Victor Luchangco, Mark Moir	A flexible framework for implementing software transactional memory.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java library, obstruction-free factory, shadow factory, software transactional memory (STM), concurrency, transactions, atomicity
1	Yu Bi, Gregory D. Peterson, G. Lee Warren, Robert J. Harrison	Poster reception - A reconfigurable supercomputing library for accelerated parallel lagged-Fibonacci pseudorandom number generation.	SC	2006	DBLP DOI BibTeX RDF
1	Michael Freeman, Thimal Jayasooriya	A Hardware IP-Core for Information Retrieval.	DSD	2006	DBLP DOI BibTeX RDF
1	John A. Williams, Irfan Syed, Jason Wu, Neil W. Bergmann	A Reconfigurable Cluster-on-Chip Architecture with MPI Communication Layer.	FCCM	2006	DBLP DOI BibTeX RDF
1	Anne Bracy, Kshitij Doshi, Quinn Jacobson	Disintermediated Active Communication.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
1	Kazuyoshi Furukawa, Masahiko Takenaka, Kouichi Itoh	A Fast RSA Implementation on Itanium 2 Processor.	ICICS	2006	DBLP DOI BibTeX RDF	Ita- 2, RSA, Montgomery multiplication, software implementation
1	Fabrizio Caruso	The SARAG Library: Some Algorithms in Real Algebraic Geometry.	ICMS	2006	DBLP DOI BibTeX RDF
1	Anton Leykin, Jan Verschelde	Interfacing with the Numerical Homotopy Algorithms in PHCpack.	ICMS	2006	DBLP DOI BibTeX RDF
1	Radu Mateescu	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	STTT	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
1	Marco Zennaro, Raja Sengupta	Distributing synchronous programs using bounded queues.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
1	John Patrick McGregor, Ruby B. Lee	Protecting cryptographic keys and computations via virtual secure coprocessing.	SIGARCH Computer Architecture News	2005	DBLP DOI BibTeX RDF
1	Robert D. Falgout, Jim E. Jones, Ulrike Meier Yang	Pursuing scalability for hypre's conceptual interfaces.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	User interfaces, scalability, parallel programming
1	Vicente Hernández, José E. Román, Vicente Vidal	SLEPc: A scalable and flexible toolkit for the solution of eigenvalue problems.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	singular values, Eigenvalue computation, spectral transform
1	Colin J. Fidge, Peter Robinson, Steve Dunne	Refinement Laws for Verifying Library Subroutine Adaptation.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
1	Matthew Ouellette, Daniel A. Connors	Analysis of Hardware Acceleration in Reconfigurable Embedded Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Noritaka Osawa, Kikuo Asai	Distributed automatic camera control system tracking markers for distance education.	ITRE	2005	DBLP DOI BibTeX RDF
1	Sumi Helal, William C. Mann, Hicham El-Zabadani, Jeffrey King, Youssef Kaddoura, Erwin Jansen	The Gator Tech Smart House: A Programmable Pervasive Space.	IEEE Computer	2005	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, Elias P. Tsigaridas	Real Solving of Bivariate Polynomial Systems.	CASC	2005	DBLP DOI BibTeX RDF
1	Jörg Gebhardt, Rudolf Kruse	Knowledge-Based Operations for Graphical Models in Planning.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Roman Dementiev, Lutz Kettner, Peter Sanders	: Standard Template Library for XXL Data Sets.	ESA	2005	DBLP DOI BibTeX RDF
1	Jens Brandt, Klaus Schneider	Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.	EUC	2005	DBLP DOI BibTeX RDF
1	Thomas Convard, Patrick Bourdot, Jean-Marc Vézien	Managing Deformable Objects in Cluster Rendering.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Tetsuro Ogi, Takuro Kayahara, Toshio Yamada, Michitaka Hirose	MVL Toolkit: Software Library for Constructing an Immersive Shared Virtual World.	VR	2004	DBLP DOI BibTeX RDF
1	Nicholas I. M. Gould, Jennifer A. Scott	A numerical evaluation of HSL packages for the direct solution of large sparse, symmetric linear systems of equations.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	symmetric linear systems, software, sparse matrices, Gaussian elimination, Direct solvers
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	Frank J. Seinstra, Dennis Koelma, Andrew D. Bagdanov	Finite State Machine-Based Optimization of Data Parallel Regular Domain Problems Applied in Low-Level Image Processing.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	data communications aspects, image processing software, optimization, Parallel processing
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	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
1	George Almási, Charles Archer, John A. Gunnels, Philip Heidelberger, Xavier Martorell, José E. Moreira	Architecture and Performance of the BlueGene/L Message Layer.	PVM/MPI	2004	DBLP DOI BibTeX RDF
1	Cyril Allauzen, Mehryar Mohri, Brian Roark	A General Weighted Grammar Library.	CIAA	2004	DBLP DOI BibTeX RDF
1	Victor Aladjev	Computer Algebra System Maple: A New Software Library.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	JiYeon Lee, Hoon Choi	A Software Library for SyncML Server Applications.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
1	Padmal Vitharana, Fatemeh Zahedi, Hemant K. Jain	Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	empirical study, software reuse, software library, component repository, Business component
1	Eric Woods, Paul Mason, Mark Billinghurst	MagicMouse: an inexpensive 6-degree-of-freedom mouse.	GRAPHITE	2003	DBLP DOI BibTeX RDF	six degrees of freedom, input device, 3D, camera, 2D
1	Ahmet Mutlu, Mustafa Ege	Java-XCOM Component Integration on Linux Operating System.	EUROMICRO	2003	DBLP DOI BibTeX RDF	java-c++ integration, native component, xcom bridge, omniidl, IDL, jni
1	Benjamin Schaeffer, Camille Goudeseune	Syzygy: Native PC Cluster VR.	VR	2003	DBLP DOI BibTeX RDF
1	Randi Moe	GRIBB - Branch-and-Bound Methods on the Internet.	PPAM	2003	DBLP DOI BibTeX RDF
1	Martin Lötzsch, Joscha Bach, Hans-Dieter Burkhard, Matthias Jüngel	Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL.	RoboCup	2003	DBLP DOI BibTeX RDF
1	Elisavet Konstantinou, Yannis C. Stamatiou, Christos D. Zaroliagis	A Software Library for Elliptic Curve Cryptography.	ESA	2002	DBLP DOI BibTeX RDF
1	Eric J. Gottlieb, Michael J. McDonald, Fred J. Oppel, J. Brian Rigdon, Patrick G. Xavier	Plebes, dogs, and robots: the Umbra simulation framework as applied to building HLA federates.	Winter Simulation Conference	2002	DBLP DOI BibTeX RDF
1	Francisco Guerra Santana, Javier Miranda, J. M. Santos, Ernestina Martel, Luis Hernández, E. Pulido	Programming Distributed Systems with Group_IO.	PDP	2002	DBLP DOI BibTeX RDF	Distributed Systems, Ada, Group Communication, Fault-Tolerant Systems
1	Marcus Raitner	HGV: A Library for Hierarchies, Graphs, and Views.	Graph Drawing	2002	DBLP DOI BibTeX RDF
1	Robert D. Falgout, Ulrike Meier Yang	hypre: A Library of High Performance Preconditioners.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Anirudh Modi, Lyle N. Long, Paul E. Plassmann	Real-Time Visualization of Wake-Vortex Simulations Using Computational Steering and Beowulf Clusters.	VECPAR	2002	DBLP DOI BibTeX RDF
1	Huilin Ye, Bruce W. N. Lo	Towards a self-structuring software library.	IEE Proceedings - Software	2001	DBLP BibTeX RDF
1	Kurt Mehlhorn	From Algorithm to Program to Software Library.	Informatics	2001	DBLP DOI BibTeX RDF
1	Edward Rutledge, Jeremy Kepner	PVL: An Object Oriented Software Library for Parallel Signal Processing. (PDF / PS)	CLUSTER	2001	DBLP DOI BibTeX RDF
1	Scott R. Kohn, Gary Kumfert, Jeffrey F. Painter, Calvin J. Ribbens	Divorcing Language Dependencies from a Scientific Software Library.	PPSC	2001	DBLP BibTeX RDF
1	Shankar Krishnan, Mark Foskey, Tim Culver, John Keyser, Dinesh Manocha	PRECISE: efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation.	Symposium on Computational Geometry	2001	DBLP DOI BibTeX RDF
1	Florin Dobrian, Alex Pothen	The design of I/O-efficient sparse direct solvers.	SC	2001	DBLP DOI BibTeX RDF