Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,830,568 papers from all fields of science
Search
Sign In
Create Free Account
Simple DirectMedia Layer
Known as:
Simple DirectMedia Library
, SDL.NET
, Simple Direct Media Layer
Expand
Simple DirectMedia Layer (SDL) is a cross-platform software development library designed to provide a hardware abstraction layer to computer…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
0 A.D.
Allegro
Amiga support and maintenance software
Android
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Identifying Security Requirements Hybrid Technique
Vandana Gandotra
,
Archana Singhal
,
Punam Bedi
Fourth International Conference on Software…
2009
Corpus ID: 10638571
There were times when software systems and networks posed no or very little security problems. However, with expanding…
Expand
2006
2006
A wireless communication platform for long-term health monitoring
D. Dietterle
,
J. Ebert
,
G. Wagenknecht
,
R. Kraemer
Fourth Annual IEEE International Conference on…
2006
Corpus ID: 17657543
Recent advances in wireless communication technology have opened the way for long-term health monitoring applications. In this…
Expand
Review
2003
Review
2003
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
L. Doldi
2003
Corpus ID: 60244587
Preface. Foreword. Introduction. Quick Tutorial on SDL. The V.76 Protocol Case Study. Interactive Simulation. Automatic…
Expand
2001
2001
Using SDL Tools to Test Properties of Distributed Systems
H. Hallal
,
A. Petrenko
,
A. Ulrich
,
S. Boroday
2001
Corpus ID: 1396561
We present an ongoing project on reasoning on properties of distributed systems based on monitoring of their executions. The…
Expand
2001
2001
Design Patterns of Communicating Extended Finite State Machines in SDL
Youngjoon Byun
,
B. Sanders
,
ChangSup Keum
2001
Corpus ID: 287918
1. Abstract A design pattern provides a generic solution for recurring problems. Thus a design solution that has worked well in a…
Expand
2000
2000
Using SDL for implementing a wireless medium access control protocol
Marko Htiniktinen
,
J. Knuutila
,
T. Hämäläinen
,
J. Saarinen
Proceedings International Symposium on Multimedia…
2000
Corpus ID: 21656770
Specification and Description Language (SDL) is a high abstraction level system design language with a clear graphical notation…
Expand
1999
1999
Automatic generation of SDL specifications from MSCs
M. Abdalla
1999
Corpus ID: 61863515
Software systems go through different phases during their life cycle. From user requirements to the deployment and maintenance, a…
Expand
1996
1996
Automatic Test Generation for EFSM-based Systems
C. Bourhfir
,
R. Dssouli
,
E. Aboulhamid
1996
Corpus ID: 18153773
The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically…
Expand
1993
1993
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL
H. Ural
,
A. Williams
Formal Techniques for (Networked and) Distributed…
1993
Corpus ID: 38846877
1993
1993
Generating Tests for Control Portion of SDL Specifications
G. Luo
,
Anindya Das
,
G. Bochmann
Protocol Test Systems
1993
Corpus ID: 5329853
ABSTRACT The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages…
Expand