Sciweavers

2681 search results - page 15 / 537
» Topics in asynchronous systems
Sort
View
LWA
2007
15 years 1 months ago
Towards Asynchronous Adaptive Hypermedia: An Unobtrusive Generic Help System
First, this paper introduces the concept and the upcoming features of Asynchronous Adaptive Hypermedia Systems (AAHS). The design of a concrete system will show how the new princi...
Andreas Putzinger
JLP
2008
134views more  JLP 2008»
14 years 11 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
LICS
1996
IEEE
15 years 3 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
15 years 5 months ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
CL
2010
Springer
14 years 11 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...