Sciweavers

2269 search results - page 319 / 454
» Behavioral Intrusion Detection
Sort
View
ICCD
1996
IEEE
104views Hardware» more  ICCD 1996»
14 years 2 months ago
Latch Redundancy Removal Without Global Reset
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
Shaz Qadeer, Robert K. Brayton, Vigyan Singhal
SIGGRAPH
1992
ACM
14 years 2 months ago
Dynamic simulation of non-penetrating flexible bodies
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...
David Baraff, Andrew P. Witkin
APSEC
2007
IEEE
14 years 2 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
ASPDAC
2007
ACM
144views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Control-Flow Aware Communication and Conflict Analysis of Parallel Processes
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
Axel Siebenborn, Alexander Viehl, Oliver Bringmann...
ARCS
2006
Springer
14 years 1 months ago
Large Event Traces in Parallel Performance Analysis
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
Felix Wolf, Felix Freitag, Bernd Mohr, Shirley Moo...