AbsInt - PDFSEARCH.IO - Document Search Engine

AbsInt
Results: 70

#	Item
51	TimingProfiler Monitoring Timing Behavior During Code Development TimingProfiler helps developers identify application parts that are causing unsatisfactory execution times. It is ideally suited for constantly monitoring Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Profiling Software optimization Worst-case execution time GNU Compiler Collection Software Computing Computer programming
52	aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Computing Electronics Avionics Software requirements Formal methods DO-178B Worst-case execution time Astrée DO-178C Software development Embedded systems Safety
53	StackAnalyzer Proving the Absence of Stack Overflows AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Functional Safety Astrée DO-178C IEC 61508 Software development Safety Software requirements
54	aiT for Am486 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Real-time computing Worst-case execution time Am486 Programming language implementation X86 64-bit Toolchain Compiler Computing Computer architecture Software
55	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
56	Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Computer programming Primitive types Abstract interpretation Astrée Software bugs Uninitialized variable C Error Floating point Software engineering Computing Data types
57	StackAnalyzer for RX StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph a Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Programming language implementation Renesas Electronics Call graph Compiler Stack Compiler construction Software Computing
58	StackAnalyzer for ARM StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-02-17 09:23:11 ARM architecture Microcontrollers Compilers ARM9 GNU Compiler Collection Mbed microcontroller Software Computing Computer architecture
59	Towards Model-Driven Development of Hard Real-Time Systems Integrating ASCET and aiT/StackAnalyzer Christian Ferdinand1 , Reinhold Heckmann1 , Hans-J¨org Wolff2 , Christian Renz2 , Oleg Parshin3 , and Reinhard Wilhelm3 Add to Reading List Source URL: www.absint.com Language: English - Date: 2011-01-26 09:33:00 Real-time computing Worst-case execution time Procedural programming languages Model-driven engineering Stack C Debugging Software bug Analysis Computing Software engineering Computer programming
60	Design of a WCET-Aware C Compiler ∗ Heiko Falk Paul Lokuciejewski Henrik Theiling Add to Reading List Source URL: www.absint.com Language: English - Date: 2011-01-26 09:32:50 Compiler construction Real-time computing Worst-case execution time Compiler optimizations Compiler Loop optimization Code generation Control flow graph GNU Compiler Collection Software Programming language implementation Computing

UPDATE