Sciweavers

1321 search results - page 209 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
EMSOFT
2004
Springer
15 years 3 months ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
ICS
2009
Tsinghua U.
15 years 4 months ago
Dynamic topology aware load balancing algorithms for molecular dynamics applications
Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
Abhinav Bhatele, Laxmikant V. Kalé, Sameer ...
ICNP
2002
IEEE
15 years 2 months ago
Sync-MS: Synchronized Messaging Service for Real-Time Multi-Player Distributed Games
Real-time, online multi-player games are becoming increasingly popular due to advances in game design and the proliferation of broadband Internet access. However, fairness remains...
Yow-Jian Lin, Katherine Guo, Sanjoy Paul
CCR
2006
103views more  CCR 2006»
14 years 9 months ago
A distributed traffic control scheme based on edge-centric resource management
The correct admission of flows in the Differentiated Services (DiffServ) environment is critical to provide stable and predictable quality of service (QoS) to the end user. Withou...
Yingxin Jiang, Aaron Striegel
WINET
2008
106views more  WINET 2008»
14 years 9 months ago
Octopus: A fault-tolerant and efficient ad-hoc routing protocol
Mobile ad-hoc networks (MANETs) are failure-prone environments; it is common for mobile wireless nodes to intermittently disconnect from the network, e.g., due to signal blockage....
Roie Melamed, Idit Keidar, Yoav Barel