2662 search results - page 405 / 533 » Tools Demonstrations |
190
Voted
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
150
Voted
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
148
click to vote
SIMULATION
2010
14 years 11 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...
231
click to vote
TAOSD
2010
14 years 11 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
142
click to vote
TCAD
2010
14 years 11 months ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...