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: interpretation, analysis, abstract, absint, embedded, systems, tools, qualification, support, astrée, wcet, aipop, valueanalyzer, ait, timingexplorer, stackanalyzer, aisee, time, visualization, products, usage, error, stack, graph, run, code, postpass, optimization, release, notes, memory, pages, safety, early, estimation, stage, francophones, notices, deutsch, press,
Abstract-interpretation.com
|
Content Revalency:
Title: 33.33%
Description: 21.74%
Keywords: 56.00% | Document size: 4,957 bytes
More info: Whois - Trace Route - RBL Check |
|
| ABSTRACT-INTERPRETATION.COM - Site Location | |
| Country/Flag |  Germany |
| City/Region/Zip Code | , , |
| Organization | one4vision GmbH |
| Internet Service Provider | one4vision GmbH |
| ABSTRACT-INTERPRETATION.COM - Domain Information | |
| Domain | ABSTRACT-INTERPRETATION.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 |
| ABSTRACT-INTERPRETATION.COM - DNS Information | |
| IP Address | 212.82.38.66 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | auth02.sanet.de 78.46.129.45 auth01.sanet.de 212.82.32.7 auth03.sanet.de 83.171.141.72 |
| Mail Exchange | mx3.sanet.de 83.171.141.72 mx.sanet.de 212.82.32.4 mx2.sanet.de 78.46.129.45 |
| 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 | Thu, 07 Apr 2011 09:47:09 GMT |
| Content-Type | text/html |