Sciweavers

519 search results - page 54 / 104
» Parallel Simulation of Group Behaviors
Sort
View
130
Voted
HYBRID
2000
Springer
15 years 7 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
ENTCS
2008
109views more  ENTCS 2008»
15 years 4 months ago
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
Ezio Bartocci, Flavio Corradini, Maria Rita Di Ber...
155
Voted
COLCOM
2008
IEEE
15 years 10 months ago
Security through Collaboration in MANETs
It is well understood that Mobile Ad Hoc Networks (MANETs) are extremely susceptible to a variety of attacks, and traditional security mechanisms do not work well. Many security sc...
Wenjia Li, James Parker, Anupam Joshi
142
Voted
ISCA
1990
IEEE
186views Hardware» more  ISCA 1990»
15 years 8 months ago
Adaptive Software Cache Management for Distributed Shared Memory Architectures
An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...
John K. Bennett, John B. Carter, Willy Zwaenepoel
150
Voted
MAGS
2007
115views more  MAGS 2007»
15 years 3 months ago
Designing modular architectures in the framework AKIRA
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
Giovanni Pezzulo, Gianguglielmo Calvi