Run-time type information
Semantic Scholar uses AI to extract papers important to this topic.
In this paper, the performance of the well-known Generalized Adaptive Smoothing Method (GASM) as online traffic speed estimator… Expand De nascholingsmarkt is gecommercialiseerd. Heeft dat nadelen voor de kwaliteit van het aanbod, bijvoorbeeld van nieuwe… Expand Bounded model checking (BMC) of C and C++ programs is challenging due to the complex and intricate syntax and semantics of these… Expand Abstract. Variations in ground thermal conditions in Svalbard were studied based on measurements and modelling. Ground… Expand We present a novel “lazy” list-based implementation of a concurrent set object. It is based on an optimistic locking scheme for… Expand List-based implementations of sets are a fundamental building block of many concurrent algorithms. A skiplist based on the lock… Expand Software design is an area where it is most important to elicit an accurate and complete set of requirements. Determining the… Expand The logic/functional language Mercury uses a strong, mostly static type system based on polymorphic many-sorted logic. For… Expand We have developed a set of object-oriented classes and programs in C++ that implement molecular electrostatic models that can be… Expand Design applications of the run-time type identiication constructs proposed by Stroustrup and Lenkov are illustrated via several… Expand