Sciweavers

3218 search results - page 3 / 644
» Timed Extensions for SDL
Sort
View
SAM
2000
80views Hardware» more  SAM 2000»
13 years 6 months ago
SDL for Real-Time: What is Missing?
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...
FORTE
1996
13 years 6 months ago
Combined Application of SDL-92, OMT, MSC and TTCN
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
Eurico Inocêncio, Manuel Ricardo, Hitoshi Sa...
ICSE
2003
IEEE-ACM
13 years 10 months ago
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
Dolores M. Zage, Wayne M. Zage
INFOCOM
2007
IEEE
13 years 11 months ago
Feedforward SDL Constructions of Output-Buffered Multiplexers and Switches with Variable Length Bursts
Abstract— In this paper, we study the problem of exact emulation of two types of optical queues: (i) N-to-1 output-buffered multiplexers with variable length bursts, and (ii) N Ã...
Yi-Ting Chen, Cheng-Shang Chang, Jay Cheng, Duan-S...