Sciweavers

1178 search results - page 39 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
KDD
2006
ACM
176views Data Mining» more  KDD 2006»
16 years 6 months ago
A framework for analysis of dynamic social networks
Finding patterns of social interaction within a population has wide-ranging applications including: disease modeling, cultural and information transmission, and behavioral ecology...
Tanya Y. Berger-Wolf, Jared Saia
CONCUR
2000
Springer
15 years 10 months ago
The Control of Synchronous Systems
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
CSFW
2009
IEEE
16 years 11 days ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld
KIVS
2001
Springer
15 years 10 months ago
Evaluating the GPRS Radio Interface for Different Quality of Service Profiles
This paper presents a discrete-event simulator for the General Packet Radio Service (GPRS) on the IP level. GPRS is a standard on packet data in GSM systems that will become commer...
Christoph Lindemann, Axel Thümmler
159
Voted
APLAS
2005
ACM
15 years 11 months ago
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruyn...