Sciweavers

684 search results - page 92 / 137
» Compiler Tools in APL
Sort
View
ADAEUROPE
2004
Springer
14 years 3 months ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
ECOOP
2004
Springer
14 years 3 months ago
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
Robert DeLine, Manuel Fähndrich
DATE
2002
IEEE
206views Hardware» more  DATE 2002»
14 years 2 months ago
Accurate Area and Delay Estimators for FPGAs
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
Anshuman Nayak, Malay Haldar, Alok N. Choudhary, P...
DATE
2002
IEEE
153views Hardware» more  DATE 2002»
14 years 2 months ago
Low Power Embedded Software Optimization Using Symbolic Algebra
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
Armita Peymandoust, Tajana Simunic, Giovanni De Mi...
DIGITALCITIES
2000
Springer
14 years 2 months ago
Digital City for Disaster Reduction - Development of Pictogram System for Disaster Management
The purpose of this study is to apply digital city concept for the development of a pictogram system for natural disaster reduction. Long lasting and tangible achievement of IDNDR ...
Haruo Hayashi, Satoshi Tanaka, Kazunori Urabe, Har...