Sciweavers

7397 search results - page 1239 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
PAAPP
2002
150views more  PAAPP 2002»
15 years 6 months ago
Scalability analysis of parallel GMRES implementations
Applications involving large sparse nonsymmetric linear systems encourage parallel implementations of robust iterative solution methods, such as GMRES(k). Two parallel versions of...
Masha Sosonkina, Donald C. S. Allison, Layne T. Wa...
FSEN
2009
Springer
16 years 1 months ago
A Timed Calculus for Wireless Systems
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
Massimo Merro, Eleonora Sibilio
ICASSP
2008
IEEE
16 years 29 days ago
Address assignment sensitive variable partitioning and scheduling for DSPS with multiple memory banks
Multiple memory banks design is employed in many high performance DSP processors. This architectural feature supports higher memory bandwidth by allowing multiple data memory acce...
Chun Jason Xue, Tiantian Liu, Zili Shao, Jingtong ...
JUCS
2006
145views more  JUCS 2006»
15 years 6 months ago
Computer Science, Logic, Informatics Education
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
Katalin Pásztor-Varga, Magda Várter&...
ICRA
2003
IEEE
165views Robotics» more  ICRA 2003»
15 years 11 months ago
Multi-robot task-allocation through vacancy chains
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
Torbjørn S. Dahl, Maja J. Mataric, Gaurav S...
« Prev « First page 1239 / 1480 Last » Next »