Search results for "package"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Jacob W. Kallman, Pedrum Minaie, Jason Truppi, Sergiu Dascalu, Frederick C. Harris Jr.	Software Modeling for Open Distributed Network Monitoring Systems.	SAPIR	2004	DBLP DOI BibTeX RDF
11	Dexuan Xie, Suresh B. Singh, Eugene M. Fluder	Principal component analysis combined with truncated-Newton minimization for dimensionality reduction of chemical databases.	Math. Program.	2003	DBLP DOI BibTeX RDF
11	George Baourakis, George Baltas	Comparative behavioural analysis in selected EU countries: A brand modelling approach.	Oper. Res.	2003	DBLP DOI BibTeX RDF	food marketing, modelling, marketing, consumer behaviour
11	George F. Corliss, Jun Yu	Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
11	Al Geist	Progress towards Petascale Virtual Machines.	PVM/MPI	2003	DBLP DOI BibTeX RDF
11	Edward J. Williams, Ali K. Gunal	Supply chain simulation software I: supply chain simulation and analysis with SimFlex?	WSC	2003	DBLP DOI BibTeX RDF
11	Nouhad J. Rizk	Parallelisation of IBD Computation for Determining Genetic Disease Map.	IPDPS	2003	DBLP DOI BibTeX RDF
11	Eelco Dolstra	Integrating Software Construction and Software Deployment.	SCM	2003	DBLP DOI BibTeX RDF
11	Tero Kojo, Tomi Männistö, Timo Soininen	Towards Intelligent Support for Managing Evolution of Configurable Software Product Families.	SCM	2003	DBLP DOI BibTeX RDF
11	Juan M. de Olazábal	Computer Aided Symbolic Linear Algebra.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
11	Tomasz Olas, Roman Wyrzykowski, Adam Tomas, Konrad Karczewski	Performance Modeling of Parallel FEM Computations on Clusters.	PPAM	2003	DBLP DOI BibTeX RDF
11	Jen-Her Wu, Yuh-Min Wang	Enterprise Resource Planning Experience in Taiwan: An Empirical Study and Comparative Analysis.	HICSS	2003	DBLP DOI BibTeX RDF
11	Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen	Single Point Algorithms in Genetic Linkage Analysis.	EUROCAST	2003	DBLP DOI BibTeX RDF
11	Khoa N. Nguyen, Thuy T. Le	Evaluation and Co parison Perfor ance of Various MPI plementations on an OSCAR Linux Cluster.	ITCC	2003	DBLP DOI BibTeX RDF
11	Kevin Skadron, Mircea R. Stan, Wei Huang 0004, Sivakumar Velusamy, Karthik Sankaranarayanan, David Tarjan	Temperature-Aware Microarchitecture.	ISCA	2003	DBLP DOI BibTeX RDF
11	Chokchai Leangsuksun, Lixin Shen, Tong Liu 0008, Hertong Song, Stephen L. Scott	Availability Prediction and Modeling of High Availability OSCAR Cluster.	CLUSTER	2003	DBLP DOI BibTeX RDF
11	William M. Evanco, June M. Verner	Some Architectural Features of Ada Systems Affecting Defects.	Ada-Europe	2003	DBLP DOI BibTeX RDF
11	Joze Korelc	Multi-language and Multi-environment Generation of Nonlinear Finite Element Codes.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Finite element, Code optimization, Symbolic methods
11	José Antonio Calvo-Manzano Villalón, Gonzalo Cuevas Agustín, Tomás San Feliu Gilabert, Antonio de Amescua Seco, Luis García Sánchez, Manuel Pérez Cota	Experiences in the Application of Software Process Improvement in SMES.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	action packages, transition packages, requirements engineering, software processes, software process improvement, process assessment
11	David Dice, Alex Garthwaite	Mostly lock-free malloc.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	lock-free operations, malloc, restartable critical sections, locality, affinity
11	Shinji Uchiyama, Kazuki Takemoto, Kiyohide Satoh, Hiroyuki Yamamoto, Hideyuki Tamura	MR Platform: A Basic Body on Which Mixed Reality Applications Are Built.	ISMAR	2002	DBLP DOI BibTeX RDF
11	Xavier Franch, Juan Pablo Carvallo 0001	A Quality-Model-Based Approach for Describing and Evaluating Software Packages.	RE	2002	DBLP DOI BibTeX RDF
11	Zafer Bingul, Poolsak Koseeyaporn, George E. Cook	Windows-based robot simulation tools.	ICARCV	2002	DBLP DOI BibTeX RDF
11	Lorenzo Moreno Ruiz, Carina S. González, Vanesa Muñoz, José Ignacio Estévez Damas, Rosa María Aguilar, José L. Sánchez 0001, José F. Sigut, José D. Piñeiro	Integrating Multimedia Technology, Knowledge Based System and Speech Processing for the Diagnostic and Treatment of Developmental Dyslexia.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF	Intelligent multimedia and hypermedia systems, case-based reasoning systems, developmental dyslexia
11	Syed Sibte Raza Abidi	A Case Base Reasoning Framework to Author Personalized Health Maintenance Information.	CBMS	2002	DBLP DOI BibTeX RDF
11	Sung-Mo Kang	On-chip thermal engineering for peta-scale integration.	ISPD	2002	DBLP DOI BibTeX RDF
11	Tamrat W. Tewoldeberhan, Alexander Verbraeck, Edwin Valentin, Gilles Bardonnet	Software evaluation and selection: an evaluation and selection methodology for discrete-event simulation software.	WSC	2002	DBLP DOI BibTeX RDF
11	Nicholas M. I. Noble, Derek L. G. Hill, Marcel Breeuwer, Julia A. Schnabel, David J. Hawkes, Frans A. Gerritsen, Reza Razavi	Myocardial Delineation via Registration in a Polar Coordinate System.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
11	Manuel A. d'Abreu	Noise-Its Sources, and Impact on Design and Test of Mixed Signal Circuits.	DELTA	2002	DBLP DOI BibTeX RDF
11	Tarek M. Sobh, Abdelshakour A. Abuzneid, Raul Mihali	A PC-Based Simulator/Controller/Monitor Software for a Generic 6-DOF Manipulator.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	prototyping, automation, manipulator, robot control, robot simulation
11	Michela Bertolotto, James D. Carswell, Liam McGeown, John McMahon	ISMART(tm) + i-Spatia(tm) - Information Server: Deploying Integrated Web-Based Spatial Applications within an Oracle Database Environment.	WISE (2)	2001	DBLP DOI BibTeX RDF	Web-Based Spatial Applications, GIS, Spatial Databases
11	José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut	An Action Semantics for MML.	UML	2001	DBLP DOI BibTeX RDF
11	J. Willmott, L. I. Wright, David B. Arnold, A. M. Day	Rendering of large and complex urban environments for real time heritage reconstructions.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF	occluder shadows, view frustum culling, level of detail, avatars, ROAM, openGL, urban environments, culling
11	Tillal Eldabi, Robert D. Macredie, Ray J. Paul	Explorative Modeling for Prioritizing Liver Transplantation Waiting Lists.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
11	Michael Richichi, Paul Coene	Supporting ubiquitous computing through directory enabled technologies.	SIGUCCS	2001	DBLP DOI BibTeX RDF	ZENworks, eDirectory, laptop programs, ubiquitous computing, management, LDAP, directory services
11	Pierre L'Ecuyer	Software for uniform random number generation: distinguishing the good and the bad.	WSC	2001	DBLP DOI BibTeX RDF
11	Kenneth L. Ehresman, Joey L. Frantzen	Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck.	SIGAda	2001	DBLP DOI BibTeX RDF	Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT
11	Sidney S. Fels, Matthew J. Yedlin	EASYOGL: Fast Prototyping Platform For 3d Multimedia Integration Using Tcl/Tk And Opengl.	ICME	2001	DBLP DOI BibTeX RDF
11	X. Huang, G. A. Woolsey	Multimedia Materials For Teaching Signal Processing.	ICME	2001	DBLP DOI BibTeX RDF
11	Tomasz Olas, Konrad Karczewski, Adam Tomas, Roman Wyrzykowski	FEM Computations on Clusters Using Different Models of Parallel Programming.	PPAM	2001	DBLP DOI BibTeX RDF
11	Jana Schwarz, Václav Matousek	Creation of a Corpus of Training Sentences Based on Automated Dialogue Analysis.	TSD	2001	DBLP DOI BibTeX RDF
11	Joze Korelc	Hybrid system for multi-language and multi-environment generation of numerical codes.	ISSAC	2001	DBLP DOI BibTeX RDF	finite element environments, symbolic approach, code generation
11	Robert Haining, Stephen Wise, Jingsheng Ma	Designing and implementing software for spatial statistical analysis in a GIS environment.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
11	Avishai Wool	Key management for encrypted broadcast.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	pay-per-view, conditional access
11	Timothy Stokes 0001, Michael Bulmer	A Complex Change of Variables for Geometrical Reasoning.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
11	William J. Stewart 0001	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
11	Yingwei Cui, Jennifer Widom	Practical Lineage Tracing in Data Warehouses.	ICDE	2000	DBLP DOI BibTeX RDF	auxiliary view, data warehouse, data lineage
11	Selim Aksoy, Ming Ye, Michael L. Schauf, Mingzhou Song 0001, Yalin Wang 0001, Robert M. Haralick, Jim R. Parker, Juraj Pivovarov, Dominik Royko, Changming Sun, Gunnar Farnebäck	Algorithm Performance Contest.	ICPR	2000	DBLP DOI BibTeX RDF
11	Lynne P. Baldwin, Tillal Eldabi, Ray J. Paul, Andrew K. Burroughs	Using simulation for the economic evaluation of liver transplantation.	WSC	2000	DBLP DOI BibTeX RDF
11	James E. Fowler	QccPack: An Open-Source Software Library for Quantization, Compression, and Coding.	Data Compression Conference	2000	DBLP DOI BibTeX RDF
11	Iddo Hanniel, Dan Halperin	Two-Dimensional Arrangements in CGAL and Adaptive Point Location for Parametric Curves.	WAE	2000	DBLP DOI BibTeX RDF
11	Michael M. Resch	Invited Talk: Metacomputing in a High Performance Computing Center.	ICPP Workshops	2000	DBLP DOI BibTeX RDF	PACX-MPI, Communication, Applications, Metacomputing
11	Dana Petcu	Numerical Solution of ODEs with Distributed Maple.	NAA	2000	DBLP DOI BibTeX RDF	parallel numerical methods for ordinary differential equations, distributed computer algebra systems, performance analysis
11	Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi	Reliability and Performability Modeling Using SHARPE 2000.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
11	Robert J. Renka	Remark on Algorithm 752.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	surface under tension, interpolation, smoothing, scattered-data fitting
11	A. Gulati, S. Rai	Core discovery in Internet multicast routing protocol.	IPCCC	1999	DBLP DOI BibTeX RDF
11	Mordechai Ben-Ari, Shawn Silverman	DPLab: an environment for distributed programming.	ITiCSE	1999	DBLP DOI BibTeX RDF	Java, distributed programming
11	Eric Acosta, Bryan Stephens, Bharti Temkin, John A. Griswold, Sammy A. Deeb, Thomas M. Krummel, Paul J. Gorman	Development of a Haptic Virtual Environment.	CBMS	1999	DBLP DOI BibTeX RDF	G2H, Virtual Environment, Haptic, Interface, Graphics
11	Jae C. Oh, Daniel Mossé	Teaching real time OSs with DORITOS.	SIGCSE	1999	DBLP DOI BibTeX RDF
11	Tobin J. Lehman, Stephen W. McLaughry, Peter Wyckoff	T Spaces: The Next Wave.	HICSS	1999	DBLP DOI BibTeX RDF
11	A. J. Elms, Steve Procter, John Illingworth	The advantage of using an HMM-based approach for faxed word recognition.	Int. J. Document Anal. Recognit.	1998	DBLP DOI BibTeX RDF	Hidden Markov models, OCR, Word recognition
11	M. J. Hagger	Automatic domain decomposition on unstructured grids (DOUG).	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	parallel solver, additive Schwarz, general purpose software, MPI, finite elements, partial differential equations, domain decomposition, 65N55, unstructured grids, 65N22, 65F10
11	Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan 0001	A Comparison of Presburger Engines for EFSM Reachability.	CAV	1998	DBLP DOI BibTeX RDF
11	Lewis Barnett, Joseph F. Kent, Justin Casp, David Green	Design and implementation of an interactive tutorial framework.	SIGCSE	1998	DBLP DOI BibTeX RDF
11	Moeko Nerome, Kenji Yamada, Satoshi Endo, Hayao Miyagi	Competitive co-evolution based game-strategy acquisition with the packaging.	KES (3)	1998	DBLP DOI BibTeX RDF
11	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF
11	Vladimír Székely, András Poppe, Andras Pahi, Alpar Csendes, G. Hajas, Márta Rencz	Electro-thermal and logi-thermal simulation of VLSI designs.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
11	Volker Weispfenning	Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Fast quantifier elimination and decision methods, First-order theory of reals, Constraint solving, Automatic theorem proving
11	Iain S. Duff, Jennifer A. Scott	The Design of a New Frontal Code for Solving Sparse, Unsymmetric Systems.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	frontal method, large sparse matrices, real unsymmetric matrices, Gaussian elimination, level 3 BLAS
11	Robert A. Richards, Sheri D. Sheppard	A Learning Classifier System for Three-Dimensional Shape Optimization.	PPSN	1996	DBLP DOI BibTeX RDF
11	Bruce Lowekamp, Adam Beguelin	ECO: Efficient Collective Operations for Communication on Heterogeneous Networks.	IPPS	1996	DBLP DOI BibTeX RDF
11	Toby S. Berk	A simple student environment for lightweight process concurrent programming under SunOs.	SIGCSE	1996	DBLP DOI BibTeX RDF
11	B. G. S. Doman, C. J. Pursglove, W. M. Coen	A Set of Ada Packages for High Precision Calculations.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	arithmetic elementary-function evaluation, multiple-precision portable software, Ada, accuracy, floating point
11	Ingrid Bongartz, Andrew R. Conn, Nicholas I. M. Gould, Philippe L. Toint	CUTE: Constrained and Unconstrained Testing Environment.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	test problems
11	Amelia Shen, Srinivas Devadas, Abhijit Ghosh	Probabilistic manipulation of Boolean functions using free Boolean diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
11	Anton Betten, Adalbert Kerber, Axel Kohnert, Reinhard Laue, Alfred Wassermann	The Discovery of Simple 7-Designs with Automorphism Group PTL (2, 32).	AAECC	1995	DBLP DOI BibTeX RDF
11	So-Zen Yao, Nan-Chi Chou, Chung-Kuan Cheng, T. C. Hu	A multi-probe approach for MCM substrate testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
11	Tai-Yu Chou, Zoltan J. Cendes	Capacitance calculation of IC packages using the finite element method and planes of symmetry.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
11	J. H. Jacobs, Mark R. Swanson	Syntax and Semantics of a Persistent Common Lisp.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Common Lisp
11	Cosimo Antonio Prete	Cachesim: A Graphical Software Environment to Support the Teaching of Computer Systems with Cache Memories.	CSEE	1994	DBLP DOI BibTeX RDF
11	Wolfgang Schreiner	Virtual Tasks for the PACLIB Kernel.	CONPAR	1994	DBLP DOI BibTeX RDF
11	N. D. Mekras, A. G. Malama, G. P. Parnassas, Ilias P. Tatsiopoulos	An Expert System as a Manager in the Application of Production Planning and Control Software in CIM Environments.	DEXA	1993	DBLP DOI BibTeX RDF
11	Mani B. Srivastava, Robert W. Brodersen	Using VHDL for High-Level, Mixed-Mode System Simulation.	IEEE Des. Test Comput.	1992	DBLP DOI BibTeX RDF
11	Jason Cong	Pin assignment with global routing for general cell designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
11	A. Yu Boozin, Igor Pospelov	APL Technology of Computer Simulation.	APL	1991	DBLP DOI BibTeX RDF	APL
11	Helen Gustafson, Ed Dawson, William J. Caelli	Comparison of Block Ciphers.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
11	Jiri Soukup	Organized C: A Unified Method of Handling Data in CAD Algorithms and Databases.	DAC	1990	DBLP DOI BibTeX RDF	C++
11	Hal Berghel, Cecily Andreu	TALISMAN: A Prototype Expert System for Spelling Correction.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF
11	William R. Gerlt	ARMS: arbitrary robot modelling system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz	Manhattanville College expert academic advisor - preliminary report (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Mark H. Castner, Cathy Bacon	In-house documentation in a small college.	SIGUCCS	1987	DBLP DOI BibTeX RDF
11	Richard C. Waters	Efficient interpretation of synchronizable series expressions.	PLDI	1987	DBLP DOI BibTeX RDF
11	Henry Crapo, Juliette Ryan	Scene Analysis and Geometric Homology.	SCG	1986	DBLP DOI BibTeX RDF
11	Robert B. Schnabel, John E. Koontz, Barry E. Weiss	A Modular System of Algorithms for Unconstrained Minimization.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	UNCMIN
11	Andrew Birrell	Secure Communication Using Remote Procedure Calls	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF
11	John Kreuter	A user friendly interactive graphics system (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
11	Javier Jiménez, Jose L. Navalón	The Structure Of Queries On Geometric Data.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF
11	Alfred V. Aho, Stephen C. Johnson	Tools For Automatic Compiler Generation (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
11	Alfred V. Aho, Susan L. Graham	Tools For Automatic Compiler Generation (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
11	Toby J. Teorey, K. Sundar Das	Application of an Analytical Model to Evaluate Storage Structures.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF