Sciweavers

935 search results - page 138 / 187
» Designing and implementing a family of intrusion detection s...
Sort
View
ISPDC
2006
IEEE
14 years 4 months ago
An Agent-Based Approach to Grid Service Monitoring
The centralised management of distributed computing infrastructures presents a number of considerable challenges, not least of which is the effective monitoring of physical resour...
Keith Rochford, Brian A. Coghlan, John Walsh
LCPC
2005
Springer
14 years 3 months ago
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
Hansang Bae, Rudolf Eigenmann
EDBT
2010
ACM
189views Database» more  EDBT 2010»
14 years 3 months ago
Efficient physical operators for cost-based XPath execution
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
CODES
2008
IEEE
14 years 4 months ago
A security monitoring service for NoCs
As computing and communications increasingly pervade our lives, security and protection of sensitive data and systems are emerging as extremely important issues. Networks-onChip (...
Leandro Fiorin, Gianluca Palermo, Cristina Silvano
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
14 years 10 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima