Sciweavers

6014 search results - page 124 / 1203
» Parametric Analysis of Computer Systems
Sort
View
CONCUR
2001
Springer
15 years 10 months ago
A Static Analysis Technique for Graph Transformation Systems
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
Paolo Baldan, Andrea Corradini, Barbara König
HICSS
2008
IEEE
98views Biometrics» more  HICSS 2008»
16 years 24 days ago
Improvements in Security Alert Analysis with a Truth Maintenance System
A high percentage of false positives remains a problem in current network security detection systems. With the growing reliance of industry on computer networks, and the growing v...
Albert Tang, Pradeep Ray, Lundy Lewis
ICPP
2006
IEEE
16 years 11 days ago
False Rate Analysis of Bloom Filter Replicas in Distributed Systems
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
Yifeng Zhu, Hong Jiang
PPSN
2010
Springer
15 years 4 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang
DATE
2010
IEEE
107views Hardware» more  DATE 2010»
15 years 11 months ago
Worst case delay analysis for memory interference in multicore systems
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
Rodolfo Pellizzoni, Andreas Schranzhofer, Jian-Jia...