"A refinement methodology for developing data-parallel applications"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Adaptive mesh refinement for parallel processors.	Marsha J. Berger	1987	Courant Institute of Mathematical Sciences, New York University
Data Fusion Methodology and Applications	Marina Cocchi	2019	Elsevier
A unified methodology for developing systems	Robert H. Wallace	1987	Intertext Publications;McGraw-Hill
Data Envelopment Analysis: Theory, Methodology, and Applications	Abraham Charnes; William W. Cooper; Arie Y. Lewin; Lawrence M. Seiford	1994	Springer Netherlands
Data Mining: Theory, Methodology, Techniques, and Applications	Graham J. Williams; Simeon J. Simoff	2006	Springer Berlin Heidelberg
Data Mining Theory, Methodology, Techniques, and Applications	Eds Simoff S., Williams G.	2006	Springer
Enterprise architecture planning: developing a blueprint for data, applications, and technology	Steven H. Spewak	1993	QED Pub. Group
Clustering Methodology for Symbolic Data	Lynne Billard	2019	John Wiley & Sons
Developing a comprehensive methodology for computer-family selection	Eric S. Davis	1989	Naval Postgraduate School;Available from the National Technical Information Service
Logic-Driven Traffic Big Data Analytics: Methodology and Applications for Planning	Shaopeng Zhong; Daniel (Jian) Sun	1st ed. 2022	Springer Nature Singapore
Decomposition Methodology For Knowledge Discovery And Data Mining: Theory And Applications	Oded Z. Maimon, Lior Rokach	2005	World Scientific Publishing Company
Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology	Ralph Bergmann; Klaus-Dieter Althoff; Sean Breen; Mehmet Göker; Michel Manago; Ralph Traphöner; Stefan Wess	2nd ed. 2003	Springer Berlin Heidelberg
Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology	Ralph Bergmann, Klaus-Dieter Althoff, Sean Breen, Mehmet Göker, Michel Manago, Ralph Traphöner, Stefan Wess (auth.)	2003	Springer-Verlag Berlin Heidelberg
Refinement: Semantics, Languages and Applications	John Derrick; Eerke Boiten	1st ed. 2018	Springer International Publishing
Parallel Multilevel Methods: Adaptive Mesh Refinement and Loadbalancing	Gerhard Zumbusch	2003	Vieweg+Teubner Verlag
Vector models for data-parallel computing	Blelloch G.	1990	MIT
Goal Programming: Methodology and Applications: Methodology and Applications	Marc J. Schniederjans	1995	Springer US
Dynamic Load Distribution for Parallel Applications	Georg Stellner	1997	Vieweg+Teubner Verlag
Economic Impact Analysis: Methodology and Applications: Methodology and Applications	S. Pleeter	1980	Springer Netherlands
Methodology and tools for data base design	Stefano Ceri	1983	North-Holland Pub. Co.;Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
A refinement methodology for developing data-parallel applications	Lars Nyland; Jan Prins; Allen Goldberg; Peter Mills; John Reif; Robert Wagner	Euro-Par ' 96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I	Luc Bouge; Pierre Fraigniaud; Anne Mignotte; Yves Robert	1996	Springer Berlin Heidelberg
A Methodology for Developing		Strategic Information Systems: Concepts, Methodologies, Tools, and Applications (4 - Volumes)	M. Gordon Hunter	2009	Information Science Reference
Towards a Communication Characterization Methodology for Parallel Applications	S. Chodnekar, V. Srinivasan and A. S. Vaidya [et al.]	Third International Symposium on High-Performance Computer Architecture: proceedings, February 1-5, 1997, San Antonio, Texas /	International Symposium on High-Performance Computer Architecture (3rd 1997 San Antonio, Texas)	[1997], ©1997.	IEEE Computer Society Press,
A Methodology for Developing and Deploying Distributed Applications	Graham N. C. Kirby; Scott M. Walker; Stuart J. Norcross; Alan Dearle	Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings	Alan Dearle; Susan Eisenbach	2005	Springer Berlin Heidelberg
A tool for data refinement	Rimvydas Rukšėnas; Joakim von Wright	Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs' 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings	Jim Grundy; Malcolm Newey	1998	Springer Berlin Heidelberg
Developing Parallel Applications Using Kaira	Stanislav Böhm; Marek Běhálek; Ondřej Garncarz	Digital Information Processing and Communications: International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011. Proceedings	Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh	2011	Springer Berlin Heidelberg
Porting and Developing Parallel Applications	H. Stephen Morse	Practical Parallel Computing	H. Stephen Morse	1994	Academic Press
A parallel container model for data intensive applications	Setrag Khoshafian; Patrick Valduriez	Database Machines: Sixth International Workshop, IWDM ' 89, Deauville, France, June 19-21, 1989. Proceedings	Haran Boral; Pascal Faudemay	1989	Springer Berlin Heidelberg
Developing a Methodology		Retail Management	Gibson E. Vedamani	2017	Pearson Education
Developing a Methodology		Doing Work Based Research: Approaches to Enquiry for Insider-Researchers	Carol Costley; Geoffrey C Elliott; Paul Gibbs	March 2010	SAGE Publications Ltd
DEVELOPING A METHODOLOGY		Narrative Inquiry in Practice: Advancing the Knowledge of Teaching (Practitioner Inquiry Series, 22)	Vicki Kubler Laboskey, Nona Lyons	2002	Teachers College Press
A Refinement Methodology for Object-Oriented Programs	Asma Tafat; Sylvain Boulmé; Claude Marché	Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers	Bernhard Beckert; Claude Marché	2011	Springer Berlin Heidelberg
Developing Big Data Applications	David Loshin	Big Data Analytics	David Loshin	2013	Morgan Kaufmann
Developing a Data-Parallel Application with DaParT	Cevat Sęner; Yakup Paker; Ayşe Kiper	Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers	Roman Wyrzykowski; Jack Dongarra; Marcin Paprzycki; Jerzy Wasniewski	2002	Springer Berlin Heidelberg
Refinement of data parallel programs in PEI	E. Violard; S. Genaud; G.-R. Perrin	Algorithimic Languages and Calculi	Richard Bird; Lambert Meerkens	1st ed. 1997	Springer US
Data refinement	Derek Andrews	A Theory and Practice of Program Development	Derek J. Andrews	1997	Springer London
Data Refinement		Constructing Correct Software	D. John Cooke	2nd ed. 2005	Springer London
Data refinement		Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction	Markus Müller-Olm	1997	Springer Berlin Heidelberg
Data Refinement in a Market Research Applications’ Data Production Process	Thomas Ruf; Thomas Kirsche	Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday	Theo Härder; Wolfgang Lehner	2005	Springer Berlin Heidelberg
A General Data Layout for Distributed Consistency in Data Parallel Applications	Roxana Diaconescu	High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings	Sartaj Sahni; Viktor K. Prasanna; Uday Shukla	2002	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"A refinement methodology for developing data-parallel applications" - similar Books and Chapters