Sciweavers

1189 search results - page 36 / 238
» Pipeline Timing Analysis Using a Trace-Driven Simulator
Sort
View
ISCAS
2006
IEEE
86views Hardware» more  ISCAS 2006»
15 years 5 months ago
Fast timing analysis of plane circuits via two-layer CNN-based modeling
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
Yuichi Tanji, Hideki Asai, Masayoshi Oda, Yoshifum...
SIGMETRICS
2006
ACM
106views Hardware» more  SIGMETRICS 2006»
15 years 5 months ago
Automatic logging of operating system effects to guide application-level architecture simulation
Modern architecture research relies heavily on applicationlevel detailed pipeline simulation. A time consuming part of building a simulator is correctly emulating the operating sy...
Satish Narayanasamy, Cristiano Pereira, Harish Pat...
APNOMS
2006
Springer
15 years 3 months ago
Performance Analysis of a Centralized Resource Allocation Mechanism for Time-Slotted OBS Networks
Time-Slotted Optical Burst Switching (TS-OBS) is one of the most promising next-generation transport network technologies. This paper proposes a time-slot assignment procedure usin...
Tai-Won Um, Jun Kyun Choi, Seong Gon Choi, Won Ryu
IPPS
2008
IEEE
15 years 6 months ago
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue...
CAISE
2008
Springer
15 years 1 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek