Sciweavers

2632 search results - page 291 / 527
» Alternating Timed Automata
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
A global address space framework for locality aware scheduling of block-sparse computations
In this paper, we present a mechanism for automatic management of the memory hierarchy, including secondary storage, in the context of a global address space parallel programming ...
Sriram Krishnamoorthy, Ümit V. Çataly&...
ISCAS
2007
IEEE
120views Hardware» more  ISCAS 2007»
15 years 10 months ago
CREMA: A Parallel Hardware Raytracing Machine
— A raytracer calculates how a camera would observe a potentially complex scene consisting of numerous objects and light sources. If all the objects are modeled by n primitives, ...
Ulf Ochsenfahrt, Ralf Salomon
MUE
2007
IEEE
79views Multimedia» more  MUE 2007»
15 years 10 months ago
Fuzzy Audio Similarity Measures Based on Spectrum Histograms and Fluctuation Patterns
Spectrum histograms and fluctuation patterns are representations of audio fragments. By comparing these representations, we can determine the similarity between the corresponding...
Klaas Bosteels, Etienne E. Kerre
QEST
2007
IEEE
15 years 10 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
SMC
2007
IEEE
169views Control Systems» more  SMC 2007»
15 years 10 months ago
Simulated and experimental study of antilock braking system using grey sliding mode control
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...
Yesim Oniz, Erdal Kayacan, Okyay Kaynak