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 10 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 10 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 8 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 10 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 6 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