Filters








2,693 Hits in 3.7 sec

Specialisation of Higher-Order Functions for Debugging

Bernard Pope, Lee Naish
2002 Electronical Notes in Theoretical Computer Science  
doi:10.1016/s1571-0661(04)80355-4 fatcat:ximbhaeiavhald7pjx4bzbmjfi

Efficient Hardware Debugging Using Parameterized FPGA Reconfiguration

Alexandra Kourfali, Dirk Stroobandt
2016 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)  
Functional errors and bugs inadvertently introduced at the RTL stage of the design process are responsible for the largest fraction of silicon IC re-spins.  ...  These tools can run at much higher operating frequencies and achieve higher coverage than simulation.  ...  ACKNOWLEDGMENT The first author is sponsored by a Ph.D. grant of the Flemish Fund for Scientific Research (FWO).  ... 
doi:10.1109/ipdpsw.2016.95 dblp:conf/ipps/KourfaliS16 fatcat:zwf5mbw7u5ejtif4b27bu4kptq

LIX: an Effective Self-applicable Partial Evaluator for Prolog [chapter]

Stephen-John Craig, Michael Leuschel
2004 Lecture Notes in Computer Science  
, and some higher-order and meta-level features such as call and findall.  ...  The lix system is derived from the development of the logen compiler generator system. It achieves a similar kind of efficiency and specialisation, but can be used for other applications.  ...  Using lix we can produce a debugging or non-debugging specialiser from the same base code, the overhead of debugging being specialised away when it is not required.  ... 
doi:10.1007/978-3-540-24754-8_8 fatcat:5m2thirmhzff7dklh3xi2tn3r4

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack

Maarten Faddegon, Olaf Chitil
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging.  ...  Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by  ...  Acknowledgments We thank the anonymous reviewers for their thorough reviews and insightful comments.  ... 
doi:10.1145/2737924.2737985 dblp:conf/pldi/FaddegonC15 fatcat:fn2d76oeqnf5vobe3qqzmkiqeu

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack

Maarten Faddegon, Olaf Chitil
2015 SIGPLAN notices  
This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging.  ...  Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by  ...  Acknowledgments We thank the anonymous reviewers for their thorough reviews and insightful comments.  ... 
doi:10.1145/2813885.2737985 fatcat:zrdux2kdnbhjfg5ftd4okagvae

The Ecce and Logen partial evaluators and their web interfaces

Michael Leuschel, Dan Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
2006 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06  
These enable non-expert users to specialise logic programs using a web browser, without the need for a local installation.  ...  We present ECCE and LOGEN, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications.  ...  We also would like to thank the partners of the ASAP project, in particular the people from UPM for their support and improvements to Ciao Prolog, and Kim Henriksen and Andrew Moss for their feedback on  ... 
doi:10.1145/1111542.1111557 dblp:conf/pepm/LeuschelEVCF06 fatcat:zxu2fzsi3jg4davs3ngjzbcl7q

Practical aspects of declarative debugging in Haskell 98

Bernard Pope, Lee Naish
2003 Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03  
We build a debugger which focuses on the high-level logical meaning of a program rather than its evaluation order.  ...  The traditional debugging technique of examining the program execution step-by-step, popular with imperative languages, is less suitable for Haskell because its unorthodox evaluation strategy is difficult  ...  A program transformation for debugging Haskell-98. Australian Computer Science Communications, 25(1):227-236, 2003. • B. Pope and L. Naish. Specialisation of higher-order functions for debugging.  ... 
doi:10.1145/888251.888273 dblp:conf/ppdp/PopeN03 fatcat:yoyz5zy4yjhlfhasmhm34x6ovi

Autonomous on-Chip Debugging for Sensors Based on AVR Microcontrollers

Antoine Bossard
2021 Journal of sensor technology  
Journal of Sensor Technology DB4 to DB7), yet it can be noted that all connections are smartly gathered at one single port (D) in order to minimise the number of pins reserved for debugging.  ...  Because of the specific hardware of sensors, their software development, including debugging, is also particular.  ...  And he sincerely thanks Takeyuki Nagao (Chiba University of Commerce, Japan) for his advices on microcontrollers.  ... 
doi:10.4236/jst.2021.112002 fatcat:mqow75bzhjcfbe5kpdp6g5ld4a

Practical Tooling for Serverless Computing

Josef Spillner
2017 Proceedings of the10th International Conference on Utility and Cloud Computing - UCC '17  
Furthermore, it presents practical open source tools for deriving functions from legacy code and for the management and execution of functions in private and public clouds.  ...  Cloud applications are increasingly built from a mixture of runtime technologies.  ...  Improved debugging, profiling and autotuning of functions is also required.  ... 
doi:10.1145/3147213.3149452 dblp:conf/ucc/Spillner17 fatcat:ct2ad52mp5f2fdwzvuthl54e4q

Overview of the MPSoC design challenge

Grant Martin
2006 Proceedings of the 43rd annual conference on Design automation - DAC '06  
Debugging MP systems for the typical application developer becomes a much more complex job, when compared to traditional single-processor debug, or the debug of simple MP systems that are only very loosely  ...  After reviewing the design challenges, we end by focusing on the requirements for design tools that may ameliorate many of these issues, and illustrate some of the possible solutions, based on experiments  ...  view of system state in order to track down the root cause of a problem, poses a formidable challenge to concurrent debugging tools.  ... 
doi:10.1145/1146909.1146980 dblp:conf/dac/Martin06 fatcat:3cqyuwolgneprmq6ytaiqyknii

Overview of the MPSoC design challenge

G. Martin
2006 Proceedings - Design Automation Conference  
Debugging MP systems for the typical application developer becomes a much more complex job, when compared to traditional single-processor debug, or the debug of simple MP systems that are only very loosely  ...  After reviewing the design challenges, we end by focusing on the requirements for design tools that may ameliorate many of these issues, and illustrate some of the possible solutions, based on experiments  ...  view of system state in order to track down the root cause of a problem, poses a formidable challenge to concurrent debugging tools.  ... 
doi:10.1109/dac.2006.229245 fatcat:4qyzcjlujzhj7idsfqb3hatmxa

Efficient and flexible access control via Jones-optimal logic program specialisation

Steve Barker, Michael Leuschel, Mauricio Varea
2008 Higher-Order and Symbolic Computation  
For processing access control requests we specialise the meta-program for a given access policy and database by using the logen partial evaluation system.  ...  In addition to describing our approach, we give a number of performance measures for our implementation of an access control checker.  ...  We are also grateful to Julia Lawall and the anonymous referees of Higher Order and Symbolic Computation, for their careful feedback and useful suggestions, and to Stephen-John Craig for helping out with  ... 
doi:10.1007/s10990-008-9030-8 fatcat:gna2at7nhvcmpg6b7n3alfkbhy

Combining algorithmic debugging and program slicing

Josep Silva, Olaf Chitil
2006 Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06  
In this work, we show for functional languages how the combination of both techniques produces a more powerful debugging schema that reduces the number of questions that programmers must answer to locate  ...  Currently, program slicing and algorithmic debugging are two of the most relevant debugging techniques for declarative languages. They help programmers to find bugs in a semiautomatic manner.  ...  Functional programs impose different technical challenges (i.e., generalised use of higher order functions, absence of nondeterminism and unification) which implies the use of different formalisms compared  ... 
doi:10.1145/1140335.1140355 dblp:conf/ppdp/SilvaC06 fatcat:552quwetyve4fjg6rqygredode

Real MagiCol 98: Team Description and Results [chapter]

E. González, H. Loaiza, A. Suárez, C. Moreno
1999 Lecture Notes in Computer Science  
The hardware and software architectures of the Real MagiCol robots are presented. The robots were built for the RoboCup98 competition, but future research in other subjects has been also considered.  ...  Relevant aspects of the vision system, the BOC model of our goalie and the team strategy are presented.  ...  This decision implied a greater amount of work in hardware aspects than expected but the time left for debugging and refinig the strategies was short.  ... 
doi:10.1007/3-540-48422-1_43 fatcat:n6e3prijmzhtfeoambjmzemlfu

Debugging Low-Power and Lossy Wireless Networks: A Survey

A. Schoofs, G. M. P. O'Hare, A. G. Ruzzelli
2012 IEEE Communications Surveys and Tutorials  
Tracing is a specialised use of logging to record information about a program's execution, in order to understand its behaviour.  ...  Similar to Heisenbugs, the insertion of debugging messages in the network may engender new paths and delays for the ongoing network communication, resulting in the study of a non-functional or different  ...  Debugging tools In  ... 
doi:10.1109/surv.2011.021111.00098 fatcat:dvplxsbi4rck5jbjinqizqadqq
« Previous Showing results 1 — 15 out of 2,693 results