Sciweavers

71 search results - page 10 / 15
» Control-Flow Analysis in Cubic Time
Sort
View
DBSEC
2008
137views Database» more  DBSEC 2008»
13 years 9 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
SAC
2010
ACM
13 years 9 months ago
Reactive parallel processing for synchronous dataflow
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
Claus Traulsen, Reinhard von Hanxleden
MOMM
2006
ACM
14 years 1 months ago
Change Detection from Multitemporal Land-cover Class Images
Earth-observing satellites, such Landsat, provide many multitemporal images of earth and with classification techniques, land-cover class images can easily be prepared. Multitempo...
Petrus Paryono
PRL
2010
209views more  PRL 2010»
13 years 2 months ago
Efficient update of the covariance matrix inverse in iterated linear discriminant analysis
For fast classification under real-time constraints, as required in many imagebased pattern recognition applications, linear discriminant functions are a good choice. Linear discr...
Jan Salmen, Marc Schlipsing, Christian Igel
VTC
2007
IEEE
111views Communications» more  VTC 2007»
14 years 2 months ago
Analysis of a Spline Based, Obstacle Avoiding Path Planning Algorithm
—The Overbot is one of the original DARPA Grand Challenge vehicles now being used as a platform for autonomous vehicle research. The vehicle, equipped with a complete actuator an...
John Connors, Gabriel Elkaim