Sciweavers

1915 search results - page 205 / 383
» A language for functional interpretation of model based simu...
Sort
View
ICCS
2005
Springer
15 years 12 months ago
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
Frédéric Loulergue, Fréd&eacu...
ACTA
2010
104views more  ACTA 2010»
15 years 6 months ago
Reachability results for timed automata with unbounded data structures
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ICC
2007
IEEE
142views Communications» more  ICC 2007»
16 years 24 days ago
Performance Evaluation of Network Systems Accounting for User Behaviors
—Considering user behaviors in the performance evaluation of mobile networks is crucial as traffic generation in such networks is highly dependent on mobility and communication a...
Shigeru Kaneda, Akihito Hiromori, Yoshikazu Akinag...
IAT
2007
IEEE
16 years 24 days ago
A Computational Model for Adaptive Emotion Regulation
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback ...
Tibor Bosse, Matthijs Pontier, Jan Treur
IEEECIT
2010
IEEE
15 years 5 months ago
A Learning Spectrum Hole Prediction Model for Cognitive Radio Systems
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
Zhigang Wen, Chunxiao Fan, Xiaoying Zhang, Yuexin ...