Filters








160,198 Hits in 3.4 sec

Run-Time Profiling of Functional Logic Programs [chapter]

B. Brassel, M. Hanus, F. Huch, J. Silva, G. Vidal
2005 Lecture Notes in Computer Science  
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism.  ...  Finally, we describe a prototype implementation of a profiler based on the developments in this paper.  ...  Implementation The main purpose of profiling programs is to increase run-time efficiency.  ... 
doi:10.1007/11506676_12 fatcat:midygnrn3vbozgvry6hpqbkd5u

Towards Static Performance Guarantees for Programs with Run-Time Checks

Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo, Michael Wagner
2018 International Conference on Logic Programming  
The lack of inherent mechanisms for ensuring program data manipulation correctness (e.g., via full static typing or other forms of full static built-in verification) has sparked the evolution of flexible  ...  solutions, including assertion-based approaches in (constraint) logic languages, soft-  ...  Prior work on using profiling in the context of optimizing the performance of programs with run-time checks clearly demonstrates the benefits of this approach.  ... 
doi:10.4230/oasics.iclp.2018.10 dblp:conf/iclp/KlemenS0MH18 fatcat:nfj7sl6mr5hydj42u7jfed3psq

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation [chapter]

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel Hermenegildo
2006 Lecture Notes in Computer Science  
Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints.  ...  In most cases such cost properties are expressed using platform-independent metrics: e.g., the number of resolution steps that a procedure will execute as a function of the size of its input data [2, 3  ...  Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints.  ... 
doi:10.1007/11799573_36 fatcat:d5efh6q7rjcrpn7aumeztits7u

Model Predictive Control for Memory Profiling

Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
The first is a real-time, memory-profiling toolkit we call Memcov that provides both allocation/deallocation and access profiles of a running program.  ...  Our approach requires neither mark-and-sweep leak detection nor static analysis, and reports a superset of the memory leaks actually occurring as the program runs.  ...  This work was partially made possible thanks to a Computer Systems Research NSF award (CNS-0509230) and an NSF CAREER award in the Next Generation Software program (EIA-0133589).  ... 
doi:10.1109/ipdps.2007.370514 dblp:conf/ipps/CallananGSSZ07 fatcat:6dd3pqo2vrh5tg5nzyhshh5th4

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs [chapter]

Edison Mera, Teresa Trigo, Pedro Lopez-García, Manuel Hermenegildo
2011 Lecture Notes in Computer Science  
., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs.  ...  The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically.  ...  of some of them, such as the functional logic languages Curry and Toy [1] .  ... 
doi:10.1007/978-3-642-18378-2_6 fatcat:llcjfbidjnfh5moqczxki5by5m

Effective performance measurement and analysis of multithreaded applications

Nathan R. Tallent, John M. Mellor-Crummey
2008 Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09  
This requires bridging the gap between the expression of logical concurrency in programs and its realization at run-time as it is adaptively partitioned and scheduled onto a pool of threads.  ...  By employing a combination of compiler support and post-mortem analysis, we incur no measurement cost beyond normal profiling to glean this information.  ...  Representing logical call path profiles At run-time, we wish to efficiently obtain and represent a logical call path profile, i.e., a collection of logical call paths annotated with sample counts with  ... 
doi:10.1145/1504176.1504210 dblp:conf/ppopp/TallentM09 fatcat:5rzve6xgrnfqdbslpbj7ialaje

Effective performance measurement and analysis of multithreaded applications

Nathan R. Tallent, John M. Mellor-Crummey
2009 SIGPLAN notices  
This requires bridging the gap between the expression of logical concurrency in programs and its realization at run-time as it is adaptively partitioned and scheduled onto a pool of threads.  ...  By employing a combination of compiler support and post-mortem analysis, we incur no measurement cost beyond normal profiling to glean this information.  ...  Representing logical call path profiles At run-time, we wish to efficiently obtain and represent a logical call path profile, i.e., a collection of logical call paths annotated with sample counts with  ... 
doi:10.1145/1594835.1504210 fatcat:wemo3tqsmfajzmzadqp7kl3iyy

Profiling Tools for FPGA-Based Embedded Systems: Survey and Quantitative Comparison

Jason G. Tong, Mohammed A. S. Khalid
2008 Journal of Computers  
We show that Airwolf provides up to 66.2% improvement in accuracy of profiled results and reduces the run time performance overhead, caused by software-based profiling tools, by up to 41.3%.  ...  Profiling tools are used by embedded system designers to choose computationally intensive functions for hardware implementation and acceleration.  ...  The flat profile is a report of how much time the program is spent on each function and the number of times that function was called.  ... 
doi:10.4304/jcp.3.6.1-14 fatcat:crqpusbjijcfjorck2v4nvxeaa

Designing an XML-based context-aware transformation framework for mobile execution environments using CC/PP and XSLT

Tzu-Han Kao, Shyan-Ming Yuan
2004 Computer Standards & Interfaces  
logic occurring at static time.  ...  Mobile and embedded devices provide the function of surfing the Internet anytime and anywhere.  ...  This phase is called run-time compilation. Conceptually, the scenario of adapting user interfaces is mentioned below.  ... 
doi:10.1016/j.csi.2003.09.003 fatcat:xm5nsedepfawlovzxwfoxsipem

Dynamic run-time architecture techniques for enabling continuous optimization

Tipp Moseley, Daniel A. Connors, Alex Shye, Vijay Janapa Reddi, Matthew Iyer, Dan Fay, David Hodgdon, Joshua L. Kihm, Alex Settle, Dirk Grunwald
2005 Proceedings of the 2nd conference on Computing frontiers - CF '05  
Generally, run-time optimization is limited by the time required to collect profiles, the time required to perform optimization, and the inherent benefits of any optimization or decisions.  ...  Nevertheless, in order to continually and automatically adapt systems resources to program behaviors and application needs, specific run-time information must be collected to adequately enable dynamic  ...  A number of optimization techniques can use run-time profile to adapt program behavior as well as the allocation of resources.  ... 
doi:10.1145/1062261.1062296 dblp:conf/cf/MoseleySRIFHKSGC05 fatcat:rorwkfs2yrfbjg4th23f4gr3lm

Relativity of Depth and Sophistication [article]

Charles Alexandre Bédard
2020 arXiv   pre-print
Logical depth and sophistication are two quantitative measures of the non-trivial organization of an object.  ...  Although apparently different, these measures have been proven equivalent, when the logical depth is renormalized by the busy beaver function.  ...  I also wish to thank the Institute for Quantum Optics and Quantum Information of Vienna, in particular, Marcus Huber's group, for a warm welcome and inspiring discussions.  ... 
arXiv:2002.06709v1 fatcat:e3wtjmexrrafndj3yaixd6waxe

A Novel Approach to Error Detection and Correction of C Programs Using Machine Learning and Data Mining

Khushali Deulkar, Jai Kapoor, Priya Gaud, Harshal Gala
2016 International Journal on Cybernetics & Informatics  
The proposed work is based on use of hashtags to identify each correct program uniquely and this in turn can be compared with the logically incorrect program in order to identify errors.  ...  This struggle has led to a research in identification of syntactical and logical errors.  ...  The scope of this project deals with inclusion of more complex run-time and logical errors and correcting programs written in different programming languages like C++ and java.  ... 
doi:10.5121/ijci.2016.5204 fatcat:ctpkwukobrbhxo622j25jwbrmy

On the existence of probe effect in multi-threaded embedded programs

Young Wn Song, Yann-Hang Lee
2014 Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14  
Software instrumentation has been a convenient and portable approach for dynamic analysis, debugging, or profiling of program execution.  ...  The execution model of a program is constructed from the trace of instrumented program execution and is used in a simulation analysis where instrumentation overhead is removed.  ...  Let's consider multiple runs of a program and the ordering of interaction events from each run.  ... 
doi:10.1145/2656045.2656062 dblp:conf/emsoft/SongL14 fatcat:sxtio7diubefrpptairnii2ouu

Using reconfigurability to achieve real-time profiling for hardware/software codesign

Lesley Shannon, Paul Chow
2004 Proceeding of the 2004 ACM/SIGDA 12th international symposium on Field programmable gate arrays - FPGA '04  
The user is able to obtain a clock cycle accurate profile of the real time performance of a software program running on a soft-core processor instantiated on an FPGA.  ...  This paper introduces SnoopP, a non-intrusive, real time, profiling tool.  ...  Where profilers such as gprof sample the program counter to approximate the portion of time spent executing each function, SnoopP counts actual clock cycles and does it very quickly.  ... 
doi:10.1145/968280.968308 dblp:conf/fpga/ShannonC04 fatcat:eotxv3gdr5cwxf6mhamn5mw33q

Performance profiling with EndoScope, an acquisitional software monitoring framework

Alvin Cheung, Samuel Madden
2008 Proceedings of the VLDB Endowment  
We show results from using our profiler on a collection of real-world programs, including a TPC-C implementation using the Derby database and the petstore application running on top of Tomcat application  ...  Furthermore, a flexible, high level language and the ability to attach to running programs enable developers to build various program analysis and monitoring applications beyond traditional software profilers  ...  At the end of program execution, a profile is constructed by computing the number of times the profiled program invoked each function.  ... 
doi:10.14778/1453856.1453866 fatcat:bj4tukgjyfc5zg47bjzkrfhh6i
« Previous Showing results 1 — 15 out of 160,198 results