Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:mdh "

Sökning: LAR1:mdh

Sortera/gruppera träfflistan
  • Abbas, M., et al. (författare)
  • Common Fixed Points of Generalized Rational Type Cocyclic Mappings in Multiplicative Metric Spaces
  • 2015
  • Ingår i: Discrete dynamics in nature and society. - 1026-0226. ; 2015
  • Tidskriftsartikel (refereegranskat)abstract
    • The aim of this paper is to present fixed point result of mappings satisfying a generalized rational contractive condition in the setup of multiplicative metric spaces. As an application, we obtain a common fixed point of a pair of weakly compatible mappings. Some common fixed point results of pair of rational contractive types mappings involved in cocyclic representation of a nonempty subset of a multiplicative metric space are also obtained. Some examples are presented to support the results proved herein. Our results generalize and extend various results in the existing literature.
  • Abbaspour Asadollah, Sara, et al. (författare)
  • 10 Years of research on debugging concurrent and multicore software : a systematic mapping study
  • ????
  • Ingår i: Software quality journal. - 0963-9314.
  • Tidskriftsartikel (refereegranskat)abstract
    • Debugging – the process of identifying, localizing and fixing bugs – is a key activity in software development. Due to issues such as non-determinism and difficulties of reproducing failures, debugging concurrent software is significantly more challenging than debugging sequential software. A number of methods, models and tools for debugging concurrent and multicore software have been proposed, but the body of work partially lacks a common terminology and a more recent view of the problems to solve. This suggests the need for a classification, and an up-to-date comprehensive overview of the area. This paper presents the results of a systematic mapping study in the field of debugging of concurrent and multicore software in the last decade (2005– 2014). The study is guided by two objectives: (1) to summarize the recent publication trends and (2) to clarify current research gaps in the field.Through a multi-stage selection process, we identified 145 relevant papers. Based on these, we summarize the publication trend in the field by showing distribution of publications with respect to year , publication venues , representation of academia and industry , and active research institutes . We also identify research gaps in the field based on attributes such as types of concurrency bugs, types of debugging processes , types of research  and research contributions.The main observations from the study are that during the years 2005–2014: (1) there is no focal conference or venue to publish papers in this area, hence a large variety of conferences and journal venues (90) are used to publish relevant papers in this area; (2) in terms of publication contribution, academia was more active in this area than industry; (3) most publications in the field address the data race bug; (4) bug identification is the most common stage of debugging addressed by articles in the period; (5) there are six types of research approaches found, with solution proposals being the most common one; and (6) the published papers essentially focus on four different types of contributions, with ”methods” being the type most common one.We can further conclude that there is still quite a number of aspects that are not sufficiently covered in the field, most notably including (1) exploring correction  and fixing bugs  in terms of debugging process; (2) order violation, suspension  and starvation  in terms of concurrency bugs; (3) validation and evaluation research  in the matter of research type; (4) metric  in terms of research contribution. It is clear that the concurrent, parallel and multicore software community needs broader studies in debugging.This systematic mapping study can help direct such efforts.
  • Abbaspour Asadollah, Sara, et al. (författare)
  • A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software
  • 2016
  • Ingår i: 2016 ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs SCTDCP2016.
  • Konferensbidrag (refereegranskat)abstract
    • With the development of multicore hardware, concurrent, parallel and multicore software are becoming increasingly popular. Software companies are spending a huge amount of time and resources to nd and debug the bugs. Among all types of software bugs, concurrency bugs are also important and troublesome. This type of bugs is increasingly becoming an issue particularly due to the growing prevalence of multicore hardware. In this position paper, we propose a model for monitoring and debugging Starvation bugs as a type of concurrency bugs in multicore software. The model is composed into three phases: monitoring, detecting and debugging. The monitoring phase can support detecting phase by storing collected data from the system execution. The detecting phase can support debugging phase by comparing the stored data with starvation bug's properties, and the debugging phase can help in reproducing and removing the Starvation bug from multicore software. Our intention is that our model is the basis for developing tool(s) to enable solving Starvation bugs in software for multicore platforms.
  • Abbaspour Asadollah, Sara, et al. (författare)
  • A Study on Concurrency Bugs in an Open Source Software
  • 2016
  • Ingår i: IFIP Advances in Information and Communication Technology, vol. 472. - 978-3-319-39224-0 ; s. 16-31
  • Konferensbidrag (refereegranskat)abstract
    • Concurrent programming puts demands on software debugging and testing, as concurrent software may exhibit problems not present in sequential software, e.g., deadlocks and race conditions. In aiming to increase efficiency and effectiveness of debugging and bug-fixing for concurrent software, a deep understanding of concurrency bugs, their frequency and fixingtimes would be helpful. Similarly, to design effective tools and techniques for testing and debugging concurrent software understanding the differences between non-concurrency and concurrency bugs in real-word software would be useful.
  • Abbaspour Asadollah, Sara, et al. (författare)
  • A Survey on Testing for Cyber Physical System
  • 2015
  • Ingår i: Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. - 978-3-319-25944-4 ; s. 194-207
  • Konferensbidrag (refereegranskat)abstract
    • Cyber Physical Systems (CPS) bridge the cyber-world of computing and communications with the physical world and require development of secure and reliable software. It asserts a big challenge not only on testing and verifying the correctness of all physical and cyber components of such big systems, but also on integration of these components. This paper develops a categorization of multiple levels of testing required to test CPS and makes a comparison of these levels with the levels of software testing based on the V-model. It presents a detailed state-of-the-art survey on the testing approaches performed on the CPS. Further, it provides challenges in CPS testing.
  • Abbaspour Asadollah, Sara, et al. (författare)
  • Towards Classification of Concurrency Bugs Based on Observable Properties
  • 2015
  • Ingår i: Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015. - 978-147991934-5 ; s. 41-47
  • Konferensbidrag (refereegranskat)abstract
    • In software engineering, classification is a way to find an organized structure of knowledge about objects. Classification serves to investigate the relationship between the items to be classified, and can be used to identify the current gaps in the field. In many cases users are able to order and relate objects by fitting them in a category. This paper presents initial work on a taxonomy for classification of errors (bugs) related to concurrent execution of application level software threads. By classifying concurrency bugs based on their corresponding observable properties, this research aims to examine and structure the state of the art in this field, as well as to provide practitioner support for testing and debugging of concurrent software. We also show how the proposed classification, and the different classes of bugs, relates to the state of the art in the field by providing a mapping of the classification to a number of recently published papers in the software engineering field.
  • Abbaspour, Sara, et al. (författare)
  • A Combination Method for Electrocardiogram Rejection from Surface Electromyogram
  • 2014
  • Ingår i: Open Biomedical Engineering Journal. - Netherlands : Bentham Science Publishers. - 1874-1207. ; 8:1, s. 13-19
  • Tidskriftsartikel (refereegranskat)abstract
    • The electrocardiogram signal which represents the electrical activity of the heart provides interference in the recording of the electromyogram signal, when the electromyogram signal is recorded from muscles close to the heart. Therefore, due to impurities, electromyogram signals recorded from this area cannot be used. In this paper, a new method was developed using a combination of artificial neural network and wavelet transform approaches, to eliminate the electrocardiogram artifact from electromyogram signals and improve results. For this purpose, contaminated signal is initially cleaned using the neural network. With this process, a large amount of noise can be removed. However, low-frequency noise components remain in the signal that can be removed using wavelet. Finally, the result of the proposed method is compared with other methods that were used in different papers to remove electrocardiogram from electromyogram. In this paper in order to compare methods, qualitative and quantitative criteria such as signal to noise ratio, relative error, power spectrum density and coherence have been investigated for evaluation and comparison. The results of signal to noise ratio and relative error are equal to 15.6015 and 0.0139, respectively.
Skapa referenser, mejla, bekava och länka
fritt online (1594)
Typ av publikation
konferensbidrag (3615)
tidskriftsartikel (3359)
bokkapitel (1072)
rapport (563)
doktorsavhandling (327)
licentiatavhandling (264)
visa fler...
annan publikation (255)
bok (181)
samlingsverk (redaktörskap) (108)
recension (101)
proceedings (redaktörskap) (41)
forskningsöversikt (30)
patent (8)
konstnärligt arbete (2)
visa färre...
Typ av innehåll
refereegranskat (6092)
övrigt vetenskapligt (3320)
populärvet., debatt m.m. (504)
Nolte, Thomas, (242)
Yan, Jinyue, (209)
Dahlquist, Erik, (168)
Sjödin, Mikael, (145)
Behnam, Moris, (143)
Sandberg, Anette, (133)
visa fler...
Crnkovic, Ivica, (130)
Lindén, Maria, (108)
Biesta, Gert, (103)
Punnekkat, Sasikumar ... (100)
Söderlund, Anne, (98)
Björkman, Mats (94)
Silvestrov, Sergei, ... (91)
Lundqvist, Kristina, (90)
Bate, Iain, (86)
Funk, Peter, (85)
Pettersson, Paul, (84)
Carlson, Jan, (82)
Jackson, Mats, (79)
Söderbaum, Peter, 19 ... (78)
Mäki-Turja, Jukka (74)
Thorin, Eva (72)
Mubeen, Saad, (71)
Dodig-Crnkovic, Gord ... (69)
Eriksson, Kimmo, (68)
Stier, Jonas, 1967-, (68)
Xiong, Ning (67)
Seceleanu, Cristina, (66)
Cicchetti, Antonio, (65)
Wiktorsson, Magnus, (65)
Granlund, Mats, (63)
Martínez-Ortega, Jos ... (63)
Li, Hailong, (63)
Hansson, Hans, (62)
Wallin, Fredrik (62)
Packalén, Sture, 194 ... (62)
Odlare, Monica, (60)
Ahmed, Mobyen Uddin, (60)
Lisper, Björn, (60)
Ingason, Haukur, (59)
Eriksson, Maria, 196 ... (59)
Tillgren, Per, (58)
Söderbäck, Maja, (57)
Holmström, Inger, (54)
Dotzauer, Erik, (54)
Folke, Mia, (53)
Begum, Shahina, (53)
Dobrin, Radu, (53)
Åkerberg, Johan, (52)
visa färre...
Mälardalens högskola (9924)
Uppsala universitet (658)
Karolinska Institutet (355)
Kungliga Tekniska Högskolan (276)
Högskolan Dalarna (258)
Stockholms universitet (236)
visa fler...
RISE (204)
Linköpings universitet (186)
Örebro universitet (163)
Göteborgs universitet (153)
Högskolan i Jönköping (147)
Linnéuniversitetet (114)
Chalmers tekniska högskola (90)
Röda Korsets Högskola (85)
Lunds universitet (83)
Karlstads universitet (77)
Ersta Sköndal högskola (75)
Högskolan i Halmstad (71)
Mittuniversitetet (67)
Södertörns högskola (59)
Umeå universitet (58)
Högskolan i Gävle (54)
Luleå tekniska universitet (50)
Högskolan i Skövde (49)
Blekinge Tekniska Högskola (45)
Högskolan i Borås (45)
Sveriges Lantbruksuniversitet (23)
Sophiahemmet Högskola (17)
Malmö högskola (12)
Högskolan Väst (6)
VTI - Statens väg- och transportforskningsinstitut (4)
Konstfack (4)
Högskolan Kristianstad (3)
Gymnastik- och idrottshögskolan (1)
visa färre...
Engelska (8029)
Svenska (1507)
Franska (37)
Tyska (31)
Spanska (30)
Norska (24)
visa fler...
Italienska (15)
Kinesiska (9)
Danska (4)
Finska (4)
Nederländska (4)
Polska (3)
Portugisiska (2)
Japanska (2)
Turkiska (2)
Kurdiska (2)
Koreanska (2)
Arabiska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Teknik (3667)
Samhällsvetenskap (2728)
Medicin och hälsovetenskap (1458)
Naturvetenskap (1397)
Humaniora (503)
Lantbruksvetenskap (24)


pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy