1133 search results - page 136 / 227 » Local Logics for Traces |
183
click to vote
INFOCOM
2006
IEEE
16 years 11 days ago
2006
IEEE
— Detecting coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have two logically distinct elements: ...
142
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
145
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
201
click to vote
SFM
2005
Springer
15 years 12 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
173
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of thes...