Sciweavers

4689 search results - page 565 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 29 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
307
Voted
ICDE
2008
IEEE
140views Database» more  ICDE 2008»
16 years 8 months ago
A Security Punctuation Framework for Enforcing Access Control on Streaming Data
The management of privacy and security in the context of data stream management systems (DSMS) remains largely an unaddressed problem to date. Unlike in traditional DBMSs where acc...
Rimma V. Nehme, Elke A. Rundensteiner, Elisa Berti...
227
Voted
TVCG
2008
147views more  TVCG 2008»
15 years 6 months ago
Cerebral: Visualizing Multiple Experimental Conditions on a Graph with Biological Context
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
Aaron Barsky, Tamara Munzner, Jennifer L. Gardy, R...
226
Voted
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
203
Voted
HPDC
1998
IEEE
15 years 11 months ago
Towards a Hierarchical Scheduling System for Distributed WWW Server Clusters
In this paper we present a model for dynamically scheduling HTTP requests across clusters of servers, optimizing the use of client resources as well as the scattered server nodes....
Daniel Andresen, Timothy McCune