Sciweavers

2261 search results - page 220 / 453
» Relationships Between Models of Concurrency
Sort
View
ITNG
2007
IEEE
14 years 2 months ago
Multi-path Routing for Mesh/Torus-Based NoCs
In networks-on-chip (NoC) designs, delay variations and crosstalk noise have become a serious issue with the continuously shrinking geometry of semiconductor devices and the incre...
Yaoting Jiao, Yulu Yang, Ming He, Mei Yang, Yingta...
GTTSE
2007
Springer
14 years 2 months ago
Design Space of Heterogeneous Synchronization
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
Michal Antkiewicz, Krzysztof Czarnecki
CODES
2000
IEEE
14 years 23 days ago
Towards a new standard for system-level design
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
Stan Y. Liao
FCT
1999
Springer
14 years 18 days ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
AAAI
2004
13 years 9 months ago
Learning and Inferring Transportation Routines
This paper introduces a hierarchical Markov model that can learn and infer a user's daily movements through the commue model uses multiple levels of abstraction in order to b...
Lin Liao, Dieter Fox, Henry A. Kautz