Relevant bibliographies by topics / SDL

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'SDL'

Author: Grafiati
Published: 4 June 2021
Last updated: 4 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SDL.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "SDL"

1

Bræk, Rolv. "SDL basics." Computer Networks and ISDN Systems 28, no. 12 (June 1996): 1585–602. http://dx.doi.org/10.1016/0169-7552(95)00119-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bagić Babac, Marina, and Marijan Kunštić. "Mapping SDL Specification Fundamentals to Core SDL Ontology." Journal of Communications Software and Systems 6, no. 1 (March 21, 2010): 18. http://dx.doi.org/10.24138/jcomss.v6i1.195.

Full text
Abstract:
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications Union Telecommunications Standardization Sector (ITU-T) as recommendation Z.100. The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activitiesthat communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. Being visually appealing SDL provides us with a simple tool for communication either between the softwaredevelopers or between non-experts without advanced engineering skills. In this paper we propose the ontology for the basic SDL system and process elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.
APA, Harvard, Vancouver, ISO, and other styles
3

Zhang, Xuepeng, Jiali Cheng, Biao Wang, Peng Yan, Hongcui Dai, Yuanquan Chen, and Peng Sui. "Optimum Sowing Dates for High-Yield Maize when Grown as Sole Crop in the North China Plain." Agronomy 9, no. 4 (April 18, 2019): 198. http://dx.doi.org/10.3390/agronomy9040198.

Full text
Abstract:
The maize sole cropping system solves problems related to ground water resource shortages and guarantees food security in the North China Plain. Using optimal sowing dates is an effective management practice for increasing maize yield. The goal of this study was to explore an optimum sowing date for high-yield maize. Six sowing dates (SDs) from early April to late June with intervals of 10 to 20 days between SD—SD1 (early April), SD2 (mid to late April), SD3 (early May), SD4 (mid to late May), SD5 (early June), SD6 (late June)—were applied from 2012 to 2017. The results showed that yield was correlated with the sowing date based on the thermal time before sowing (r = 0.62**), which was defined as the pre-thermal time (PTt), and that the yield was steadily maintained at a high level (>10,500 kg ha−1) when PTt was greater than 479 °C. To satisfy the growing degree-days required for maturity, maize needs to be sown before a PTt of 750 °C. Data analysis of the results from 2014, 2015, and 2017 revealed the following: i) Most of the grain-filling parameters of late-sown dates (SD4, SD5 and SD6) were better than those in early-sown dates (SD1, SD2, and SD3) in all years, because of the high daily maximum temperature (Tmax) and wide diurnal temperature (Td) from silking to blister (R1–R2) of early-sown dates. The weight of maximum grain-filling rate (Wmax) of SD3 decreased compare with SD4 by the narrow Td from blister to physiological maturity (R2–R6) in all years (−5, −12, and −33 mg kernel−1 in 2014, 2015, and 2017, respectively). ii) In 2017, the pollination failure rates of early-sown dates were 8.4~14.5%, which was caused by the high Tmax and Td of R1–R2. The apical kernel abortion rates were 28.6 (SD2) and 38.7% (SD3), which were affected by Tmax and Td during R2–R6. iii) Compared with late-sown dates, the wide Td of early-sown dates in R1–R2 was caused by higher Tmax, but the narrow Td in R2-R6 was caused by higher Tmin. Our results indicate that high-yielding maize can be obtained by postponing the sowing date with a PTt of 480~750 °C, which can prevent the negative effects of the high Tmax of R1–R2 and high Tmin of R2–R6 on kernel number and weight formation. Moreover, these above-mentioned traits should be considered for heat tolerance breeding to further increase the maize yield.
APA, Harvard, Vancouver, ISO, and other styles
4

Chen, Lin, and Norzihani Saharuddin. "Exploring University Students' Self-Directed Learning in Online Learning." International Journal of Online Pedagogy and Course Design 14, no. 1 (April 26, 2024): 1–17. http://dx.doi.org/10.4018/ijopcd.342605.

Full text
Abstract:
This qualitative case study aims to understand the situation of university students' SDL and identify the factors that help university students solve the problem of SDL in online learning. It involved seven participants who were selected according to the inclusion criteria. Using thematic analysis of the interview data, the researchers found that the university students' perceptions of the problems of SDL in online learning are: traditional teaching and learning limits SDL, lack of effective monitoring and evaluation of the SDL process, insufficient awareness of SDL, insufficient effective resources for SDL, methods of teaching SDL need to be improved, and inadequate online learning platform. Besides, reforming online teaching and learning models, building a mechanism for monitoring and evaluating SDL, strengthening university students' knowledge of SDL, improving online learning resources, improving methods of teaching SDL, and creating an online favorable atmosphere for university students are solutions to help university students solve the problem of SDL in online learning.
APA, Harvard, Vancouver, ISO, and other styles
5

Bartlang, Manuela S., Inga D. Neumann, David A. Slattery, Nicole Uschold-Schmidt, Dominik Kraus, Charlotte Helfrich-Förster, and Stefan O. Reber. "Time matters: pathological effects of repeated psychosocial stress during the active, but not inactive, phase of male mice." Journal of Endocrinology 215, no. 3 (September 20, 2012): 425–37. http://dx.doi.org/10.1530/joe-12-0267.

Full text
Abstract:
Recent findings in rats indicated that the physiological consequences of repeated restraint stress are dependent on the time of day of stressor exposure. To investigate whether this is also true for clinically more relevant psychosocial stressors and whether repeated stressor exposure during the light phase or dark phase is more detrimental for an organism, we exposed male C57BL/6 mice to social defeat (SD) across 19 days either in the light phase between Zeitgeber time (ZT)1 and ZT3 (SDL mice) or in the dark phase between ZT13 and ZT15 (SDD mice). While SDL mice showed a prolonged increase in adrenal weight and an attenuated adrenal responsiveness to ACTHin vitroafter stressor termination, SDD mice showed reduced dark phase home-cage activity on observation days 7, 14, and 20, flattening of the diurnal corticosterone rhythm, lack of social preference, and higherin vitroIFNγ secretion from mesenteric lymph node cells on day 20/21. Furthermore, the colitis-aggravating effect of SD was more pronounced in SDD than SDL mice following dextran sulfate sodium treatment. In conclusion, the present findings demonstrate that repeated SD effects on behavior, physiology, and immunology strongly depend on the time of day of stressor exposure. Whereas physiological parameters were more affected by SD during the light/inactive phase of mice, behavioral and immunological parameters were more affected by SD during the dark phase. Our results imply that repeated daily SD exposure has a more negative outcome when applied during the dark/active phase. By contrast, the minor physiological changes seen in SDL mice might represent beneficial adaptations preventing the formation of those maladaptive consequences.
APA, Harvard, Vancouver, ISO, and other styles
6

Danial Nasution, Ismet, Haslinda Z. Tamin, Ariyani Ariyani, and Ivana Ivana. "Influence of Thermocycling and Sealer Coating Application on Shore Hardness of Soft Denture Lining Material." Open Access Macedonian Journal of Medical Sciences 9, no. D (November 12, 2021): 279–84. http://dx.doi.org/10.3889/oamjms.2021.7265.

Full text
Abstract:
BACKGROUND: One of the properties of the soft denture lining (SDL) material that needed to overcome the functional problems is softness. Loss of softness due to the aging process and to extend the duration of use, sealer coating was developed to maintain its softness. Sealer coating acts as mechanical barrier to provide protection against aging of SDL materials. AIM: This study aims to determine the influence of thermocycling and sealer coating application on the shore hardness of the acrylic-based and silicone-based auto-polymerizing soft denture lining materials. MATERIALS AND METHODS: Materials that were used in this study are acrylic-based auto-polymerizing SDL (Durabase Soft, Reliance Dental Manufacturing LLC, Illinois, USA) and silicone-based auto-polymerizing SDL (Mollosil, Detax GmbH, Ettlingen, Germany). In this study, we used monopoly as sealer coating for acrylic-based auto-polymerizing SDL and varnish for silicone-based auto-polymerizing SDL. Thermocycling was performed for 2000 cycles for a 2-year simulation time. For shore hardness test, a total of 40 discs shaped samples were made with a diameter of 35 mm and a thickness of 6 mm. The samples were divided into eight groups (n = 5), namely, the uncoated and non-thermocycling acrylic-based auto-polymerizing SDL, the coated and non-thermocycling acrylic-based auto-polymerizing SDL, the uncoated and thermocycling acrylic-based auto-polymerizing SDL, the coated and thermocycling acrylic-based auto-polymerizing SDL, the uncoated and non-thermocycling silicone-based auto-polymerizing SDL, the coated and non-thermocycling silicone-based auto-polymerizing SDL, the uncoated and thermocycling silicone-based auto-polymerizing SDL, and the coated and thermocycling silicone-based auto-polymerizing SDL. The hardness test was carried out using the shore A durometer. RESULTS: The obtained data were tested using the independent t-test with a significance level of p < 0.05. The results showed that there was a significant effect between coated and uncoated acrylic-based SDL group that underwent thermocycling and in the silicone-based SDL group. The study showed that the hardness value was lower in both coated acrylic-based and silicone-based SDL groups compared to the non-coated group, so it can be concluded that the sealer coating is able to protect the hardness of SDL material against aging with a thermocycling simulation. The results also showed that there was a significant effect of thermocycling on the hardness of the material both in the coated acrylic-based SDL group, the uncoated acrylic-based SDL group, and the uncoated silicone-based SDL group. Study also showed that there was no significant effect of thermocycling in the coated silicone-based SDL group. CONCLUSION: Based on the results, it can be concluded that the use of sealer coating can maintain the hardness properties of both acrylic-based SDL and silicon-based self-polymerizing SDL so that it can increase the durability of SDL materials. However, the effect of sealer coating in protecting the hardness of SDL materials against aging was more evident in the silicone-based SDL group.
APA, Harvard, Vancouver, ISO, and other styles
7

Geppert, Birgit, and Frank Rößler. "The SDL pattern approach – a reuse-driven SDL design methodology." Computer Networks 35, no. 6 (May 2001): 627–45. http://dx.doi.org/10.1016/s1389-1286(00)00202-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Yaoxue, Hua Chen, Yue Zhang, and Guoli Liu. "SDL-TRAN—An interactive generator for formal description language SDL." Journal of Computer Science and Technology 11, no. 1 (January 1996): 49–60. http://dx.doi.org/10.1007/bf02943521.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sachdeva, Kanika, and Anupama Mahajan. "Introduction of SDL in Department of Anatomy: Evaluation of Learning and SDL Readiness." International Journal of Anatomy and Research 10, no. 1 (January 5, 2022): 8301–11. http://dx.doi.org/10.16965/ijar.2021.213.

Full text
Abstract:
Background: Self-directed learning (SDL) is a process in which individuals assume the responsibility of identifying their learning needs, setting goals, locating sources, developing and implementing proper strategies, and evaluating the outcomes of learning both individually and collectively. The advantages of SDL include, but not limited to, gaining more autonomy in learning, having higher motivation for it, acquiring lifelong learning skills, and developing greater self-control, self-confidence, and self-management. SDL has become popular in medical curricula and has been advocated as an effective learning strategy for medical students to develop competence in knowledge acquisition. Aim and Objectives: To introduce self directed learning in the Department of Anatomy, to encourage faculty members to accept SDL as a Teaching Learning method and encouraging students to develop an attitude of self directed learning & to become lifelong learners. Methodology: After proper sensitization of the faculty & students regarding SDL, two sessions were conducted during the Anatomy Dissection Hall timings of the First Year students. The performance of the students, in the SDL topics was assessed using the MCQ & SAQ tests. Feedback regarding the SDL methodology was taken both from the students as well as the faculty. Also the Questionnaires were given to students applying Fischer’s Self Directed Learning Readiness Scale (SDLRS) & Jefferson Scale of Life Long learning –Health Profession Version (JeffSLL-HSP) & the results were statistically analyzed. Results: A total of 126 MBBS students of the first semester participated in SDL session. Most students scored more than mean score in the tests after SDL sessions and there was a fourfold increase in the number of students scoring more than 80% in the two SDL tests. Also participating students showed high readiness towards SDL and were oriented to become Life Long Learners. Conclusions: SDL can be effectively implemented in the Department of Anatomy and it motivates students to become life long learners. KEY WORDS: Self-directed learning (SDL), Teaching Learning method. Life long learners, MCQ, SEQ, Fischer’s Self Directed Learning Readiness Scale (SDLRS).
APA, Harvard, Vancouver, ISO, and other styles
10

Ravichandran, Mythry, Manish Taywade, and Debkumar Pal. "Role of Self-Directed Learning in Pedagogy – Current Scenario of Competency-Based Medical Education." Current Medical Issues 22, no. 1 (2024): 56–59. http://dx.doi.org/10.4103/cmi.cmi_77_23.

Full text
Abstract:
Abstract Self-directed learning (SDL) is a learning procedure among participants where they understand their learning goals, formulate them, and identify resources for learning. There are four key steps of SDL. SDL allows learners to be more effective learners and social beings through peer group discussions. Hence, it helps develop innovative ideas and valuable insights. The COVID-19 pandemic has caused a significant paradigm shift in teaching–learning methods. The self-paced online courses are appeared to be a crucial part in learning during the pandemic. Those courses are somehow interlinked with the principles of SDL, thus SDL can be a boon in the current scenario with the COVID-19 pandemic. However, lack of independence and self-motivation forms a major barrier to SDL learning. The lack of a healthy relationship between the teachers/instructors and students and adequate technology might also affect the adoption of SDL. SDL will attain a massive success with the availability of adequate resources and technology and their effective utilization.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "SDL"

1

Schröder, Ralf. "SDL-Datenkonzepte." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. http://dx.doi.org/10.18452/14926.

Full text
Abstract:
SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl Anspruch als auch praktischer Wert von SDL in der Ausführbarkeit als Spezifikationstechnik liegt, wird dieses gerade durch das verwendete Datenmodell beeinträchtigt. Verdeckt wird dieses Problem durch die Bereitstellung von vordefinierten Datentypen. Durch die Erweiterung von SDL um objektorientierte Konzepte im Jahr 1992 und durch die allgemein wachsende Bedeutung der Daten in Protokollbeschreibungen treten die vorhandenen Sprachprobleme bei den Daten immer mehr in der Vordergrund. Individuelle Lösungen zur Spezifikation von Daten in verfügbaren SDL-Werkzeugen sind die Folge. In der vorliegenden Arbeit werden sowohl die praxismotivierten Unzulänglichkeiten als auch die formalen Unstimmigkeiten im SDL-Datenkonzept aufgezeigt. Auf der Grundlage einer systematischen Analyse werden ein allgemeiner Anforderungskatalog und eine Methodik für Veränderungen am Datenkonzept erarbeitet. Zusätzlich werden wichtige Sprachmodifikationen mit dem Schwerpunkten Ausdruckskraft und Ausführbarkeit vorgestellt und bewertet. Es steht somit ein Instrumentarium zur Verfügung, das den unterschiedlichen SDL-Interessengruppen bei der Bewertung und Nutzung von SDL-Veränderungen dienlich ist. Die in der Arbeit vorgestellten Modifikationen des Datenkonzepts basieren auf den langjährigen Erfahrungen des Autors bei der Implementierung und dem Einsatz von Werkzeugen, die mit verschiedenen projektspezifischen Zielstellungen SDL-Beschreibungen in ausführbare Programme überführen. Die Kombination von SDL mit einer weiteren Spezifikationstechnik, ASN.1, spielt hier eine besondere Rolle. Durch die aktive Mitarbeit des Autors bei der SDL-Sprachstandardisierung werden in der Arbeit auch Vorschläge präsentiert, die über das Potential der vorhandenen Werkzeuge hinausgehen. Das schließt beispielsweise die Bewertung der neuen, in der Praxis noch nicht etablierten, SDL-Version aus dem Jahr 2000 mit ein.
SDL in the language version which was standardized in 1996 is the most-used language in the telecommunication domain for the specification of protocols today. An essential aspect of the language development since 1998 is the availability of a formal basis for semantic concepts. The algebraic technique ACT ONE is used for the data concept of the language. Although the requirement and the practical value of SDL is the execution a specification technique, this is impaired straight by the used data model. The problem is hidden by the supply of pre-defined data types. Because of the introduction of object oriented concepts in 1992 and because of the generally increasing importance of data for the protocol description the existing language problems are taking more and more attention. Individual solutions for the specification of data are the consequence with available SDL tools. In the presented document are pointed out the praxis motivated inadequacies as well as the formal discrepancy of the data concept. A general requirement catalogue and a methodology are designed for language modifications based on a systematic inspection of the SDL data concept. Furthermore important language modifications are introduced and evaluated with the focus to expression power and to execution. Instruments are provided thus, which are helpful to different SDL interest groups for the evaluation and for the application of SDL modifications. In the document presented data modifications are based on years of experience of the author in the implementation and application of tools that compile SDL specifications with different project-specific objectives into executable programs. The combination of SDL with a further specification technology, ASN.1, plays an important role here. Because of the active role of the author in the SDL standardization process also suggestions are presented going beyond the potential of the existing tools. That includes for example the evaluation of the new, in practice not yet established SDL version, published in 2000.
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Xiaoyu 1968. "Variables abstraction in SDL." Thesis, McGill University, 2001. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33856.

Full text
Abstract:
State explosion problem is an essential impediment in practical applications of formal languages such as SDL, Specification and Description Language. In the context of validation and testing, one of the possible solutions is to abstract a constructed formal specification by removing certain, unimportant from some viewpoint, variables. The resulting system could be more tractable by existing validation and testing tools. In this thesis, we first elaborate methods for abstracting variables in the Extended FSM model and then methods to treat SDL specifications that are based on the EFSM model. The methods are implemented in a tool that is successfully tested on a real life SDL specification.
APA, Harvard, Vancouver, ISO, and other styles
3

Prinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.

Full text
Abstract:
In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative eingeschränkte Sprache RSDL (Restricted SDL) ausgewählt, um die Konzepte der formalen Definition von SDL darzustellen. Die vorliegende Habilitationsschrift umfaßt zwei große Teile: die Definition der formalen Semantik von RSDL und ihre Implementierung. Die formale Definition der Semantik von RSDL ist verständlich, leicht mit der informalen Beschreibung zu vergleichen und repräsentiert die grundsätzliche Vorstellung von RSDL. Für die Beschreibung werden zwei Teile unterschieden, nämlich die statische Semantik und die dynamische Semantik. Die statische formale Sprachdefinition besteht aus einer konkreten Syntax, einer Menge von Korrektheitsbedingungen, einer Menge von Transformationsregeln und einer abstrakten Syntax als Basis für die dynamische Semantik. Das Ergebnis der statischen Beschreibung ist eine Repräsentation der Spezifikation in abstrakter Syntax. Die Formalisierung der dynamischen Semantik beginnt mit der abstrakten Syntax. Aus dieser abstrakten Syntax wird ein Verhaltensmodell abgeleitet, das auf der mathematischen Theorie der Abstrakten Zustandmaschinen ASM (Abstract State Machines) basiert. Um die Definition der Semantik besonders übersichtlich zu gestalten, wird eine Spezielle Abstrakte Maschine (SAM) unter Nutzung von ASM definiert. Diese abstrakte Maschine stellt eine abstrakte SDL-Maschine dar. Die formale Semantik beschreibt die Eigenschaften von SDL exakt. Um jedoch herauszufinden, ob die Semantik korrekt ist, muß sie mit der Sprachbeschreibung und den Intentionen der Sprachentwickler verglichen werden. Dies geschieht am einfachsten durch eine korrekte Implementierung der Semantik. Die Implementierung der formalen Semantik basiert auf einer Repräsentation der Eingabe als abstrakter Syntaxbaum. Um die Semantik mit minimalem Aufwand zu implementieren, werden existierende Werkzeuge verwendet. Der Compiler wird mit den Standardwerkzeugen lex und yacc generiert. Nach der Syntaxanalyse wird die weitere Verarbeitung über dem abstrakten Syntaxbaum der Eingabe definiert. Die Verarbeitung von abstrakten Syntaxbäumen wird durch ein Werkzeug namens kimwitu erledigt. Mit der hier vorgestellten Technologie wurde die formale Semantik von RSDL implementiert. Entsprechend wird die formale Semantik von SDL implementiert.
In this habilitation thesis the formal semantics of the standardised specification language SDL (Specification and Description Language) is described. Because of the size of the language SDL a representative subset of the language called RSDL (Restricted SDL) was selected to present the concepts of the formal definition. In this thesis two major parts are covered: the definition of the formal semantics and its implementation. The RSDL formal semantics is intelligible, easily comparable with the informal description and represents the general understanding of RSDL. We distinguish between two phases of the definition, namely the static semantics and the dynamic semantics. The static semantics comprises the definition of a concrete grammar, a set of correctness constraints, a set of transformation rules and an abstract syntax as basis for the dynamic semantics. The result of the static semantics is a representation of the specification in abstract syntax. The dynamic semantics starts with the abstract syntax. From here a behaviour model is derived based on the theory of Abstract State Machines (ASM). In order to keep the presentation intelligible a special abstract machine is defined using ASM. This abstract machine in fact represents an abstract SDL-machine. The formal semantics describes the properties of SDL exactly. However, in order to check the correctness of the formalisation, it has to be compared with the informal language description and the intentions of the language designers. This is most easily done using a correct implementation of the semantics. The implementation of the semantics is based on a representation of the input as an abstract syntax tree. For implementing the semantics with minimal effort existing tools are used. The compiler is produced using the standard tools lex and yacc. After parsing the remaining processing is defined over abstract syntax trees, which is covered by a tool called kimwitu. The formal semantics of RSDL is implemented using these tools. The same approach is applicable for SDL.
APA, Harvard, Vancouver, ISO, and other styles
4

Bay, Till G. "Eiffel SDL multimedia library (ESDL)." Zürich : ETH, Eidgenössische Technische Hochschule Zürich, Professur für Software Engineering /Chair of Software Engineering, 2003. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schröder, Ralf. "SDL-Datenkonzepte - Analyse und Verbesserungen." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969065582.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Záň, Stanislav. "SDL model pro Source Specific Multicast." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217545.

Full text
Abstract:
This work deals with questions of IP net communication, with using metod Source-Specific Multicast. It focused on questions of registration, unregistration and administration of clients in multicast group and IGMP protocol, which is made for this communication. Work deals also about problems of signalization between source of data and clients of multicast group.In the introduction of this work questions of communications in multicast are analyse. I tis followed by the chapter focused on the specific metod of multicast – Source Specific Multicast (SSM). Next chapter is based on the protocols in SSM, which are used for distribution of data stream in source to clients direction and also in the reverse direction. The net chapter deals with signalization of communication in SSM. It specializes for reflection and summarization metods, which are used here. This chapter also shows basic matematics formules for sending signalization packets and proposes other solutions and ways for simplify communication and minimalize delay, which is for signallization very important. After that, the work deals with differences between these two metods of signalization. The aplicationis builded in practical part of work from the knowlidge of theory from previous chapters and it simulates the real communication between data source and clients situated to multicast group. This communication is explained in MSC diagrams. The aplication also simulates both used metods of signalization and real count of cients in multicast group. The results of simulation are interpreted in the last part of work.
APA, Harvard, Vancouver, ISO, and other styles
7

Ribeiro, Júlio Resende. "J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste." Instituto Nacional de Pesquisas Espaciais (INPE), 2008. http://urlib.net/sid.inpe.br/mtc-m18@80/2008/12.02.12.01.

Full text
Abstract:
O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática de casos de testes, desde que o comportamento do software esteja representado como uma Máquina de Estados Finitos (MEF). São exemplos desses métodos: T, UIO, D e Switch Cover. Devido a algumas limitações das MEFs, investiga-se a geração automática de casos de teste a partir de técnicas formais de descrição que permitam a representação explícita de hierarquia e paralelismo, características muito necessárias para a representação dos softwares modernos. Isso já foi explorado por meio de uma metodologia baseada na representação do comportamento de software por meio de Statecharts. Essa metodologia consiste em converter a representação Statecharts em uma MEF a partir da qual possam ser aplicados os métodos de geração de testes. Essa dissertação de mestrado possui o objetivo de investigar uma outra técnica de modelagem: SDL. Será estudada a viabilidade de derivar casos de teste a partir de especificações em SDL, de forma direta, sem a necessidade de converter a especificação para MEFs. Para isso foi desenvolvido um framework denominado J-SDL que permite a simulação de comportamento, em termos de mudança de estados e consequentemente a geração automática de casos de teste.
The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representation of parallel activities and hierarchy very much necessary to model modern software. This has already been explored by using Statecharts in which the Statecharts representation is converted into a FSM from which test cases are generated. The approach used in this dissertation is to investigate the feasibility of using SDL to generate automatically test cases in a straightforward manner, i.e., without the necessity to convert into a FSM. A framework J-SDL has been developed to simulate the behavior in terms of state changes and by simulating this behavior it will be shown that test cases can be generated.
APA, Harvard, Vancouver, ISO, and other styles
8

Löwis, of Menar Martin von. "Formale Semantik des Datentypmodells von SDL-2000." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=970263821.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Abdalla, Mohamed Musa. "Automatic generation of SDL specifications from MSCs." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0017/MQ47822.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Figueiredo, Renato Jansen de Oliveira. "Sintese comportamental de circuitos digitais utilizado SDL." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261438.

Full text
Abstract:
Orientador: Ivanil Sebastião Bonatti
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
Made available in DSpace on 2018-07-20T15:34:37Z (GMT). No. of bitstreams: 1 Figueiredo_RenatoJansendeOliveira_M.pdf: 5779228 bytes, checksum: b2fb963a793332e11d4da83c66486ada (MD5) Previous issue date: 1995
Resumo: Metodologias de projeto de sistemas digitais em alto nível têm por objetivos principais permitir a descrição de sistemas cada vez mais complexos, mantendo a visão sistêmica do projeto durante todo o seu ciclo de desenvolvimento, e diminuir o tempo de desenvolvimento de projetos. Este trabalho apresenta uma abordagem à metodologia de projeto de sistemas digitais através do uso de uma linguagem de especificação(SDL - Specification and Description Language)para o projeto de circuitos. Um algoritmo de mapeamento de um sub-conjunto da linguagem SDL para VHDL (Very High Speed Integrated Circuit Hardware Description Language) sintetizável é apresentado, juntamente com exemplos de aplicação, e implementado em um programa de domínio público (Stoht - SDL to Hardware Translator) que realiza este mapeamento de maneira automática
Abstract: System-level design methodologies allow the description of more complex systems, keeping the view of the system as a whole throughout all its developing cycle, and also allow the shortening of project development schedule. This work presents an approach to system-level design by using a specification language (SDL - Specification and Description Language) to hardware design. An algorithm for the translation of a subset of SDL to synthesis able VHDL (Very High Speed Integrated Circuit Hardware Description Language) is presented together with examples of implementation. This algorithm has been implemented in a software translator (Stoht - SDL to Hardware Translator) that performs the language mapping automatically
Mestrado
Mestre em Engenharia Elétrica
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "SDL"

1

Pazera, Ernest. Focus on SDL. Cincinnati, Ohio: Premier Press, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Reed, Rick, and Jeanne Reed, eds. SDL 2001: Meeting UML. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-48213-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hogrefe, Dieter. Estelle, LOTOS und SDL. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-74238-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Reed, Rick, and Jeanne Reed, eds. SDL 2003: System Design. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-45075-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Prinz, Andreas, Rick Reed, and Jeanne Reed, eds. SDL 2005: Model Driven. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b137793.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Breed, P. J. Modelling SDL in VHDL. Manchester: UMIST, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Karabegov, A. V. Vvedenie v i︠a︡zyk SDL. Moskva: Radio i svi︠a︡zʹ, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

SDL Forum (8th 1997 Evry, Essonne, France). SDL ʼ97: Time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997. Amsterdam: Elsevier, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

1956-, Olsen Anders, ed. Systems engineering using SDL-92. Amsterdam: North-Holland, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL user guidelines. Geneva: International Telecommunication Union, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "SDL"

1

Lai, Richard, and Ajin Jirachiefpattana. "SDL." In Communication Protocol Specification and Verification, 111–38. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5549-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hogrefe, Dieter. "SDL." In Estelle, LOTOS und SDL, 117–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-74238-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Edwards, Stephen A. "SDL." In Languages for Digital Embedded Systems, 239–46. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4325-1_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Heinkel, Stefan, and Thomas Lindner. "SDL." In Lecture Notes in Computer Science, 171–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-58867-1_54.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gerdsen, Peter, and Peter Kröger. "SDL-Spezifikation." In Kommunikationssysteme 2, 27–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-95723-9_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hercog, Drago. "SDL Language." In Communication Protocols, 27–42. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-50405-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kuhn, Thomas, Alexander Geraldy, Reinhard Gotzhein, and Florian Rothländer. "ns+SDL – The Network Simulator for SDL Systems." In SDL 2005: Model Driven, 103–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11506843_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Blunk, Andreas, and Joachim Fischer. "Prototyping SDL Extensions." In System Analysis and Modeling: Models and Reusability, 304–11. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11743-0_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Koomen, C. J. "CCS and SDL." In The Design of Communicating Systems, 93–101. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4020-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Robnik, Ana. "Experiences of using SDL collected in IskraTEL SDL Methodology." In Formal Description Techniques VIII, 221–36. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-34945-9_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "SDL"

1

Krieger, Hans-Ulrich. "SDL." In the HLT-NAACL 2003 workshop. Morristown, NJ, USA: Association for Computational Linguistics, 2003. http://dx.doi.org/10.3115/1119226.1119238.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wakasugi, Kazuyuki. "Sensitivity Direction Learning with Neural Networks Using Domain Knowledge as Soft Shape Constraints." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/422.

Full text
Abstract:
If domain knowledge can be integrated as an appropriate constraint, it is highly possible that the generalization performance of a neural network model can be improved. We propose Sensitivity Direction Learning (SDL) for learning about the neural network model with user-specified relationships (e.g., monotonicity, convexity) between each input feature and the output of the model by imposing soft shape constraints which represent domain knowledge. To impose soft shape constraints, SDL uses a novel penalty function, Sensitivity Direction Error (SDE) function, which returns the squared error between coefficients of the approximation curve for each Individual Conditional Expectation plot and coefficient constraints which represent domain knowledge. The effectiveness of our concept was verified by simple experiments. Similar to those such as L2 regularization and dropout, SDL and SDE can be used without changing neural network architecture. We believe our algorithm can be a strong candidate for neural network users who want to incorporate domain knowledge.
APA, Harvard, Vancouver, ISO, and other styles
3

Casas, Pau Fonseca i. "SDL distributed simulator." In 2008 Winter Simulation Conference (WSC). IEEE, 2008. http://dx.doi.org/10.1109/wsc.2008.4736433.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Morozkin, Pavel. "Obtaining an SDL entity identifier using SDL/SystemC co-modeling." In 2012 12th Conference of Open Innovations Association (FRUCT) and Seminar on e-Travel. IEEE, 2012. http://dx.doi.org/10.23919/fruct.2012.8122090.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cookson, M. D. "Software engineering using SDL." In IEE Colloquium on `Practical Application of Formal Methods'. IEE, 1995. http://dx.doi.org/10.1049/ic:19950711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Giridharan, Anandi. "A Formal Model for Service Discovery Protocol (SDP) using SDL." In ICMLC 2017: 2017 the 9th International Conference on Machine Learning and Computing. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3055635.3056627.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Yeoh, B. L., S. H. Goh, Y. H. Chan, G. F. You, Y. E. Koh, and Jeffrey Lam. "Optimization of Soft Defect Localization Technique Scan Time Using Dummy Subroutine Test Vector Insertion." In ISTFA 2013. ASM International, 2013. http://dx.doi.org/10.31399/asm.cp.istfa2013p0350.

Full text
Abstract:
Abstract Soft Defect Localization (SDL) is a laser scanning methodology that is commonly used to isolate integrated circuits soft defects. The device is exercised by a functional vector set in a loop manner while localized laser heating stimulates a change in the pass/ fail (P/F) response at the location of the defect or critical path. Although SDL is effective for this purpose, long scan time arising from test overheads, can be a concern to turnaround time for root cause understanding. In this paper, an optimized scheme on synchronous SDL that has a potential to eliminate more than 90% of tester overheads and improve overall SDL test time by at least 17% is proposed. This is achieved by optimizing SDL test loop algorithm.
APA, Harvard, Vancouver, ISO, and other styles
8

Yang, Yang, Yang Lu, and Xiaokang Lin. "SDL-based network performance simulation." In Asia-Pacific Optical Communications, edited by Kwok-wai Cheung, Gee-Kung Chang, Guangcheng Li, and Ken-Ichi Sato. SPIE, 2005. http://dx.doi.org/10.1117/12.632598.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

El rhaffari, Ikram, and Ounsa Roudies. "Benchmarking SDL and CLASP lifecycle." In 2014 9th International Conference on Intelligent Systems: Theories and Applications (SITA). IEEE, 2014. http://dx.doi.org/10.1109/sita.2014.6847280.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kannavara, Raghudeep, Jacob Vangore, William Roberts, Marcus Lindholm, and Priti Shrivastav. "Automating Threat Intelligence for SDL." In 2018 IEEE Cybersecurity Development (SecDev). IEEE, 2018. http://dx.doi.org/10.1109/secdev.2018.00033.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "SDL"

1

Kramer, Mitch. SDL BeGlobal 1.1. Boston, MA: Patricia Seybold Group, May 2011. http://dx.doi.org/10.1571/pr05-12-11cc.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

BOOZ-ALLEN AND HAMILTON INC BETHESDA MD. Multiprotocol Gateway SDL Description. Fort Belvoir, VA: Defense Technical Information Center, August 1989. http://dx.doi.org/10.21236/ada227912.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Carlson, J., P. Langner, E. Hernandez-Valencia, and J. Manchester. PPP over Simple Data Link (SDL) using SONET/SDH with ATM-like framing. RFC Editor, May 2000. http://dx.doi.org/10.17487/rfc2823.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Forbes, D. L. HMCS Cormorant and SDL-1 Operations On the Inner Scotian Shelf [Cruise Report 89302]. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1991. http://dx.doi.org/10.4095/132377.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Barrie, J. V., and W. T. Collins. Preliminary Results of Investigations Into Seabed Stability in the Hibernia Region of the Grand Banks During Operations of HMCS Cormorant and SDL-1 Submersible. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/130151.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Berberich, Magdalena. Market development for large scale SDH/SDC systems in country reports. IEA SHC Task 55, October 2020. http://dx.doi.org/10.18777/ieashc-task55-2020-0011.

Full text
Abstract:
This publication of IEA SHC Task 55 describes the market development of Solar District Heating and Cooling in seven countries. Within country report presentations during the eight taskmeetings, the market developments in the participating countries were presented and discussed in the international expert group and the information is summarized in this factsheet.
APA, Harvard, Vancouver, ISO, and other styles
7

Smith, Rhett. SDN Project. Office of Scientific and Technical Information (OSTI), December 2016. http://dx.doi.org/10.2172/1367558.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dennig, Yasmin. SNL HPC 2018. Office of Scientific and Technical Information (OSTI), September 2018. http://dx.doi.org/10.2172/1476162.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rescoria, Eric, and Kevin Dick. Authoritative SSL Auditor. Fort Belvoir, VA: Defense Technical Information Center, July 2006. http://dx.doi.org/10.21236/ada457576.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Abe, Toshinori. QCD with SLD. Office of Scientific and Technical Information (OSTI), October 1999. http://dx.doi.org/10.2172/15076.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'SDL' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography