Sciweavers

378 search results - page 24 / 76
» Information Flow Analysis for VHDL
Sort
View
CCR
2004
87views more  CCR 2004»
13 years 8 months ago
Non-stationarity and high-order scaling in TCP flow arrivals: a methodological analysis
The last decade has been a very fruitful period in important discoveries in network traffic modeling, uncovering various scaling behaviors. Self-similarity, long-range dependence,...
Steve Uhlig
DSN
2006
IEEE
14 years 2 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
CVPR
2004
IEEE
14 years 10 months ago
Error Analysis for a Navigation Algorithm Based on Optical-Flow and a Digital Terrain Map
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
Ehud Rivlin, Héctor Rotstein, Ronen Lerner
SCAM
2008
IEEE
14 years 3 months ago
Automatic Determination of May/Must Set Usage in Data-Flow Analysis
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
Andrew Stone, Michelle Strout, Shweta Behere
CSFW
2010
IEEE
14 years 16 days ago
Dynamic vs. Static Flow-Sensitive Security Analysis
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
Alejandro Russo, Andrei Sabelfeld