Sciweavers

1785 search results - page 24 / 357
» Modeling Communication with Synchronized Environments
Sort
View
ICWE
2003
Springer
15 years 2 months ago
Organizing Problem Solving Activities for Synchronous Collaborative Learning of Design Domains
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
Crescencio Bravo, Miguel A. Redondo, Manuel Ortega...
ASYNC
2003
IEEE
97views Hardware» more  ASYNC 2003»
15 years 2 months ago
Energy and Performance Models for Clocked and Asynchronous Communication
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
Kenneth S. Stevens
CONCUR
1999
Springer
15 years 1 months ago
From Synchrony to Asynchrony
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
Albert Benveniste, Benoît Caillaud, Paul Le ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
74
Voted
INFOCOM
2006
IEEE
15 years 3 months ago
Source-Assisted Direction Estimation Inside Buildings
— Direction estimation inside buildings is a difficult and challenging task due to severe multipath signal propagation. Numerous algorithms and techniques exist that provide hig...
Kamran Sayrafian-Pour, Dominik Kaspar