Sciweavers

2029 search results - page 224 / 406
» informs 2002
Sort
View
DEDS
2002
90views more  DEDS 2002»
15 years 4 months ago
Perturbation Analysis for Stochastic Fluid Queueing Systems
Recent study for congestion control in high speed networks indicates that the derivative information for the congestion at the common buffer for multiple sources could be useful i...
Yong Liu, Weibo Gong
ENTCS
2002
105views more  ENTCS 2002»
15 years 4 months ago
Towards component based systems: refining connectors
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Matthias Anlauff, Asuman Sünbül
ENTCS
2002
139views more  ENTCS 2002»
15 years 4 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
ET
2002
85views more  ET 2002»
15 years 4 months ago
Signal Integrity: Fault Modeling and Testing in High-Speed SoCs
As we approach 100nm technology the interconnect issues are becoming one of the main concerns in the testing of gigahertz system-onchips. Voltage distortion (noise) and delay viol...
Mehrdad Nourani, Amir Attarha
ET
2002
97views more  ET 2002»
15 years 4 months ago
Test Generation for Crosstalk-Induced Faults: Framework and Computational Results
Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This...
Wei-Yu Chen, Sandeep K. Gupta, Melvin A. Breuer