c compiler  (423 Angebote unter 30.845.148 Artikeln)

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is ...

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of c...

The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand ...

On behalf of the program and organizing committee members of this conference, we th are pleased to present you with the proceedings of the 12 Asia-Pacific Computer Systems Architecture Conference (...

Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementati...

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world s...

Grenzfrequenz = 25MHz Device MIPS = 70MIPS Datenbus-Breite = 16bit RAM Speicher-Größe = 4 KB Instruktionssatz-Architektur = C-Compiler, DSP, MCU, Harvard modifiziert Programmspeicher-Größe = 32 KB ...

Grenzfrequenz = 25MHz Device MIPS = 70MIPS Datenbus-Breite = 16bit RAM Speicher-Größe = 4 KB Instruktionssatz-Architektur = C-Compiler, DSP, MCU, Harvard modifiziert Programmspeicher-Größe = 32 KB ...

The pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its best. Modern commodity operating system...

In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the wo...

The pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its best. Modern commodity operating system...

Keynote Lectures.- Enabling Numerical and Software Technologies for Studying the Electrical Activity in Human Heart.- Parallel Patient-Specific Computational Haemodynamics.- High Performance Comput...

8400 - Mobiler Computer, Bluetooth, 16MB SRAM, 29 Tasten, Laser Scanner inkl. Handgurt, USB Kabel, Netzteil und Batterie --- Allgemeine Beschreibung der Produkt-Serie des Herstellers: --- (Modellau...

8400 - Mobiler Computer, Bluetooth, 16MB SRAM, 29 Tasten, Linear Imager inkl. Handgurt, USB Kabel, Netzteil und Batterie --- Allgemeine Beschreibung der Produkt-Serie des Herstellers: --- (Modellau...

8400 - Mobiler Computer, Bluetooth, 16MB SRAM, 39 Tasten, Laser Scanner inkl. Handgurt, USB Kabel, Netzteil und Batterie --- Allgemeine Beschreibung der Produkt-Serie des Herstellers: --- (Modellau...