Sciweavers

2637 search results - page 101 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
ISPASS
2007
IEEE
15 years 10 months ago
PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
Matt T. Yourst
TOOLS
1999
IEEE
15 years 8 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
WSC
2001
15 years 5 months ago
JWARS output analysis
The Joint Warfare System (JWARS) is being equipped with a growing set of tools for microanalysis of single replications and for macro-analysis across multiple replications. These ...
H. Ric Blacksten, James W. Jones, Michael L. Pouma...
POLICY
2001
Springer
15 years 8 months ago
The Ponder Policy Specification Language
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 8 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel