AbsInt: Analysis Tools for Embedded Systems
Description: AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis, worst-case execution time prediction and software visualization
Keywords: absint, angewandt, informatik, abstract, interpretation, compiler, technology, embedded, system, embedded, system, software, WCET, analysis, stack, usage, run, time, error, value, postpass, code, optimization, static, program, graph, visualization
Tags: technology, analysis, compiler, absint, embedded, tools, systems, astrée, qualification, support, wcet, time, visualization, timingexplorer, aisee, valueanalyzer, stackanalyzer, aipop, ait, products, graph, stack, code, run, usage, error, postpass, optimization, release, notes, safety, buy, memory, early, stage, estimation, press, center, español, русски,
Compiler-technology.com
|
Content Revalency:
Title: 33.33%
Description: 21.74%
Keywords: 56.00% | Document size: 4,930 bytes
More info: Whois - Trace Route - RBL Check |
|
| COMPILER-TECHNOLOGY.COM - Site Location | |
| Country/Flag |  Germany |
| City/Region/Zip Code | , , |
| Organization | one4vision GmbH |
| Internet Service Provider | one4vision GmbH |
| COMPILER-TECHNOLOGY.COM - Domain Information | |
| Domain | COMPILER-TECHNOLOGY.COM [ Traceroute RBL/DNSBL lookup ] |
| Registrar | CRONON AG Cronon AG |
| Registrar URL | http://www.cronon.net |
| Whois server | whois.cronon.net whois.cronon.net |
| Created | 14-Aug-2001 |
| Updated | 15-Aug-2016 |
| Expires | 14-Aug-2017 |
| Time Left | 0 days 0 hours 0 minutes |
| Status | ok https://icann.org/epp#ok ok https://icann.org/epp#ok |
| DNS servers | NS.STRATOSERVER.NET 81.169.163.40 NS2.STRATOSERVER.NET 81.169.148.41 ns.stratoserver.net 81.169.163.40 ns2.stratoserver.net 81.169.148.41 |
| COMPILER-TECHNOLOGY.COM - DNS Information | |
| IP Address | 212.82.38.66 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | auth03.sanet.de 83.171.141.72 auth02.sanet.de 78.46.129.45 auth01.sanet.de 212.82.32.7 |
| Mail Exchange | mx.sanet.de 212.82.32.4 mx2.sanet.de 78.46.129.45 mx3.sanet.de 83.171.141.72 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.8 (Ubuntu) PHP/5.2.4-2ubuntu5.14 with Suhosin-Patch mod_ssl/2.2.8 OpenSSL/0.9.8g mod_perl/2.0.3 Perl/v5.8.8 |
| Date | Sun, 10 Apr 2011 09:34:20 GMT |
| Content-Type | text/html |