Sciweavers

1760 search results - page 188 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
SP
2006
IEEE
177views Security Privacy» more  SP 2006»
15 years 7 months ago
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, C...
137
Voted
IEEEINTERACT
2003
IEEE
15 years 6 months ago
Compiler-Directed Resource Management for Active Code Regions
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
Ravikrishnan Sree, Alex Settle, Ian Bratt, Daniel ...
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
Neuro-finite element static analysis of structures by assembling elemental neuro-modelers
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
Abdolreza Joghataie
LCPC
2000
Springer
15 years 4 months ago
Automatic Coarse Grain Task Parallel Processing on SMP Using OpenMP
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...
Hironori Kasahara, Motoki Obata, Kazuhisa Ishizaka
ICC
2007
IEEE
146views Communications» more  ICC 2007»
15 years 7 months ago
Optimal Double Correlation Filtering for Carrier Frequency Offset Estimation in MIMO OFDM
Abstract— A computationally efficient optimal double correlation (ODC) filter, which works on the fourth order statistics of received samples, is proposed for carrier frequency...
Patrick Ho Wang Fung, Chin Keong Ho