Sciweavers

2956 search results - page 61 / 592
» Asim: A Performance Model Framework
Sort
View
134
Voted
WSC
2004
15 years 5 months ago
A Framework for Adaptive Synchronization of Distributed Simulations
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
Bertan Altuntas, Richard A. Wysk
ICCAD
2003
IEEE
198views Hardware» more  ICCAD 2003»
16 years 1 months ago
A CAD Framework for Co-Design and Analysis of CMOS-SET Hybrid Integrated Circuits
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
Santanu Mahapatra, Kaustav Banerjee, Florent Pegeo...
APN
2009
Springer
15 years 7 months ago
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
Michael Westergaard, Lars Michael Kristensen
ACSC
2010
IEEE
14 years 11 months ago
Analysis of the periodical payment framework using restricted proxy certificates
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
Grigori Goldman, Lawrie Brown
173
Voted
RE
2010
Springer
14 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis