Sciweavers

4957 search results - page 532 / 992
» Simplifying Distributed System Development
Sort
View
IPPS
2005
IEEE
16 years 2 days ago
Dynamic Scalable Visualization for Collaborative Scientific Applications
Science disciplines are experiencing a data avalanche. As a result, scientific research is limited by data analysis and visualization capabilities. We have been working closely wi...
Kai Li, Matthew A. Hibbs, Grant Wallace, Olga G. T...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 7 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
CONCUR
2004
Springer
15 years 12 months ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
ICDCSW
2003
IEEE
15 years 11 months ago
Smart Furniture: Improvising Ubiquitous Hot-Spot Environment
We developed Smart Furniture, which extemporaneously converts the legacy non-smart space into a Smart Hot-spot which consists of computational services. Since the Smart Furniture ...
Masaki Ito, Akiko Iwaya, Masato Saito, Kenichi Nak...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 9 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...