- Full text PDF available (3)
- This year (0)
- Last 5 years (4)
- Last 10 years (4)
Journals and Conferences
There has always been a demand to be able to compute with physical items where dimensional correctness is checked. A survey of methods is presented how to do this with the features of Ada. Compile-time methods use the type checking mechanism whereas run-time methods use additional components to represent dimensions.
With its tagged types and appropriate dynamic binding facilities, Ada95 has become a mighty language. Virtually ad libidum, you can add new components to given types of a class. This seems to imply some kind of arbitrariness in the choice of the starting point of a type hierarchy (the root of a class). However, this arbitrariness is only a seeming one and… (More)
Let's get started… In Gem #97, a reference-counting pointer was presented, where a Get function returns an access to the data. This could be dangerous, since the caller might want to free the data (which should remain under control of the reference type). In this Gem, we present a method to prevent the misuse of the result of Get.
An ultra wideband MMIC low noise amplifier (LNA) based on the 0.15-μm pHEMT 3MI Triquint power process has been demonstrated. A feedforward noise cancellation technique was employed to reduce the thermal noise in the LNA. The LNA has a surface area of 2 mm by 2 mm. The gain of LNA is 15 dB between 400 MHz and 12.5 GHz with ±0.3dB gain flatness… (More)
A large and dark room. In the foreground a terminal, at the rear wall a huge screen showing everything that happens at the terminal. At first the screen is off, the room in twilight. Below the stage, but visible, Lady Ada in a coffin. Around the stage on a gallery, nearly invisible in the dark (also when the stage is lit), the chorus of Ada gurus.
Intention der Fachgruppe: Software garantiert häufig direkt die Sicherheit für Menschen. Ada wird in internationalen Sicherheitsstandards empfohlen und unterstützt in einzigartiger Weise moderne Analyse, Design und Programmiermethoden und damit die Entwicklung großer zuverlässiger Software-Systeme. Die Fachgruppe will über die Konzepte von Ada und deren… (More)
We consider the effect of reducing the density of final hole states for Auger processes on the Auger rate at room temperature and 77K at densities near lasing thresholds. The system of interest is a strain-compensated superlattice based on the InAs/GaInSb material system with a 3.7 microm band gap. At 77K the Auger lifetime is reduced by two orders of… (More)
Let's get started… In Gem #107, we presented an accessor for safely referencing objects stored in a container. The example concerned a reference-counted pointer, but such accessors can be defined on any kind of container. An advantage of using accessors rather than simple access types is that the former cannot be used to deallocate the designated object.… (More)
Prokrustes hat allerdings, schlau wie er ist (er stammt ja schließlich aus einer uralten Räuberfamilie), inzwischen den Wechselapparat gegen den eines anderen Herstellers ausgetauscht. Als Alexeus nachzählt, traut er seinen Augen nicht: Prokrustes hat unseren armen Handlungsreisenden um die Hälfte seiner Bits betrogen (gemäß der Devise: Wer wird denn eine… (More)