"Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Static Program Analysis	Anders Møller, Michael I. Schwartzbach	2018	Aarhus University
Introduction to Static Analysis Using SolidWorks Simulation	Radostina V. Petrova	2014	Routledge
Combined arms training program cost analysis	Charles D. Lea	1980	Naval Postgraduate School
An interactive analysis system for execution-time errors	Alan Mark Davis	1975	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Recursive Estimation and Time-Series Analysis: An Introduction	Peter Young	1984	Springer Berlin Heidelberg
Development of design parameters for H-piles in sand using static analysis	Ronald Ungaro	1988
Combined Analysis	Daniel Chateigner	2010	John Wiley & Sons
Offender Profiling and Crime Analysis	Peter Ainsworth	2001	Routledge
Revised error components: more efficient estimation with combined cross section and time series	Robert W. Resek	1975	College of Commerce and Business Administration, University of Illinois at Urbana-Champaign
Recursive Estimation and Time-Series Analysis: An Introduction for the Student and Practitioner	Peter C. Young	2nd ed. 2011	Springer Berlin Heidelberg
Advances in Electric Power and Energy: Static State Estimation	Mohamed E. El-Hawary	2020	Wiley-IEEE Press
Maximum Likelihood Estimation: Logic and Practice	Scott R. Eliason	August 1993	SAGE Publications, Inc
Maximum likelihood estimation: logic and practice	Scott R. Eliason	1993	Sage
Static schedulers for embedded real-time systems	Murat Kilic	1989	Naval Postgraduate School;Available from the National Technical Information Services
Density Estimation for Statistics and Data Analysis	Bernard. W. Silverman	1998	Routledge
Nonparametric Estimation of Educational Production and Costs using Data Envelopment Analysis	Vincent Blackburn; Shae Brennan; John Ruggiero	2014	Springer US
Qualitative analysis and econometric estimation of continuous time dynamic models	Giancarlo Gandolfo	1981	North-Holland Pub. Co.;sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Combined cycle research program	Massachusetts Institute of Technology. Energy Laboratory	1977	Dept. of Energy;for sale by the National Technical Information Service
Electrostatics: exploring, controlling, and using static electricity	A. D. Moore	1968	Doubleday
Electrostatics: exploring, controlling, and using static electricity	Moore, A. D.	1968	Doubleday
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
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation	Edison Mera; Pedro López-García; Germán Puebla; Manuel Carro; Manuel Hermenegildo	Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings	Sandro Etalle; Mirosław Truszczyński	2006	Springer Berlin Heidelberg
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimati		Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings	Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)	2006	Springer-Verlag Berlin Heidelberg
Combining Static Analysis and Profiling for Estimating Execution Times	Edison Mera; Pedro López-García; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo	Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings	Michael Hanus	2007	Springer Berlin Heidelberg
Execution Time Profiling		Unix System Programming with Standard ML	Anthony L. Shipman	2001
aiT: Worst-Case Execution Time Prediction by Static Program Analysis	Christian Ferdinand; Reinhold Heckmann	Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France	Rene Jacquart	2004	Springer US
program execution time	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Program Execution Time		Great Ideas in Computer Science with Java	Alan W. Biermann	2001	MIT Press
Using currentTimeMillis( ) to Time Program Execution		Java: The Complete Reference	Herbert Schildt	2021	McGraw-Hill Education
Using currentTimeMillis( ) to Time Program Execution		Java: The Complete Reference, Eleventh Edition	Herbert Schildt	2019	McGraw-Hill Education
Static Program Analysis via 3-Valued Logic	Thomas W. Reps; Mooly Sagiv; Reinhard Wilhelm	Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings	Rajeev Alur; Doron A. Peled	2004	Springer Berlin Heidelberg
Static Program Analysis via 3-Valued Logic	Thomas Reps	Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings	Manuel Hermenegildo; German Puebla	2002	Springer Berlin Heidelberg
Static Program Analysis		Encyclopedia of Cryptography and Security	Henk C.A. van Tilborg; Sushil Jajodia	2nd ed. 2011	Springer US
Static Program Analysis		Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems	Heather Adkins; Betsy Beyer; Paul Blankinship; Ana Oprea; Piotr Lewandowski; Adam Stubblefield	2020	O'Reilly Media
A Combined Hardware/Software Measurement for ARM Program Execution Time	Liangliang Kong; Jianhui Jiang	Computer Engineering and Technology: 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers	Weixia Xu; Liquan Xiao; Pingjing Lu; Jinwen Li; Chengyi Zhang	2013	Springer Berlin Heidelberg
A Combined Hardware/Software Measurement for ARM Program Execution Time		Computer Engineering and Technology: 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers	Weixia Xu	2013	Springer Berlin Heidelberg;Imprint: Springer
Static Program Analysis for Security	Y.N. Srikant; Priti Shankar	The Compiler Design Handbook: Optimizations and Machine Code Generation, Second Edition	Rajib Mall; Y.N. Srikant; Priti Shankar; Uday Khedker; K. Gopinath; Sharad Malik; R. Govindarajan; Sanjay Rajopadhye; Evelyn Duesterwald; Rajiv Gupta; Robert Nigel Horspool; Ganga Bishnu Mund; Thomas Reps; Mooly Sagiv; Neelam Gupta; Andreas Krall; David August; Nikil Dutt; Amitabha Sanyal; Tulika Mitra; Abhik Roychoudhury; Aviral Shrivastava; Xiangyu Zhang; Easwaren Raman; K Anada Vardhan; Kapil Vaswani; P. J. Joseph; Mathew T. Jacob; Jens Palsberg; Todd Millstein; J Prakash Prabhu; Reinhard Wilhelm; Lakshminarayann Renganarayana; Gautam Gupta; Michelle Strout; Wei Qin; Subramanian Rajagopalan; Hongbo Rong; V Krishna Nandivada	2008	Routledge
Kernel execution time estimation using CUDA events		Learn CUDA Programming: A beginner's guide to GPU programming and parallel computing with CUDA 10. x and C/C++	Jaegeun Han, Bharatkumar Sharma	2019	Packt Publishing
Execution Profiling		Windows 2000 Native API reference	MS	1999	Sams Publishing
210 Program Execution Time		The HCS12 9S12: An Introduction to Software and Hardware Interfacing	Han-Way Huang	2009	Cengage Learning
Using call/exit analysis for logic program transformation	Dmitri Boulanger; Maurice Bruynooghe	Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR ' 94 and META ' 94, Pisa, Italy, June 20 - 21, 1994. Proceedings	Laurent Fribourg; Franco Turini	1994	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation" - similar Books and Chapters