Sciweavers

5409 search results - page 724 / 1082
» A performance study of client-broker-server systems
Sort
View
GECCO
2004
Springer
129views Optimization» more  GECCO 2004»
16 years 4 days ago
Memetic Optimization of Video Chain Designs
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
Walid Ali, Alexander P. Topchy
159
Voted
ICMI
2004
Springer
117views Biometrics» more  ICMI 2004»
16 years 4 days ago
AROMA: ambient awareness through olfaction in a messaging application
This work explores the properties of different output modalities as notification mechanisms in the context of messaging. In particular, the olfactory (smell) modality is introdu...
Adam Bodnar, Richard Corbett, Dmitry Nekrasovski
IFIP
2004
Springer
16 years 4 days ago
Safety assessment with AltaRica
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
Pierre Bieber, Christian Bougnol, Charles Castel, ...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
16 years 2 days ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICPP
2003
IEEE
16 years 1 days ago
Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, Ge...