Low-power dichroic halogen lamps, usually used for display lighting, have low-voltage filament. The lightweight electronic transformer (ET), based on self-oscillating half-bridge ...
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
Nick Halper, Tobias Isenberg, Felix Ritter, Bert F...
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...