Sciweavers

1304 search results - page 220 / 261
» RTOS Modeling for System Level Design
Sort
View
IIWAS
2008
15 years 1 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
LREC
2008
153views Education» more  LREC 2008»
15 years 1 months ago
Coding Emotional Events in Audiovisual Corpora
The modelling of realistic emotional behaviour is needed for various applications in multimodal human-machine interaction such as the design of emotional conversational agents (Ma...
Laurence Devillers, Jean-Claude Martin
RML
2002
162views Business» more  RML 2002»
14 years 11 months ago
A Markup Language for ORM Business Rules
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
Jan Demey, Mustafa Jarrar, Robert Meersman
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
14 years 9 months ago
Throughput-Effective On-Chip Networks for Manycore Accelerators
As the number of cores and threads in manycore compute accelerators such as Graphics Processing Units (GPU) increases, so does the importance of on-chip interconnection network des...
Ali Bakhoda, John Kim, Tor M. Aamodt
IJHPCA
2010
117views more  IJHPCA 2010»
14 years 10 months ago
Fine-Grained Multithreading Support for Hybrid Threaded MPI Programming
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
Pavan Balaji, Darius Buntinas, David Goodell, Will...