2836 search results - page 512 / 568 » Model Checking for Software Architectures |
132
Voted
SIMULATION
2010
14 years 9 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
121
click to vote
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
As the number of cores on a single-chip grows, scalable barrier synchronization becomes increasingly difficult to implement. In software implementations, such as the tournament ba...
130
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
128
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
120
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...