Ändra sökning
Avgränsa sökresultatet
925926927928929930931 46351 - 46400 av 46741
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 46351.
    Åkerud, Daniel
    et al.
    Blekinge Tekniska Högskola, Sektionen för teknik, Avdelningen för programvarusystem.
    Rendlo, Henrik
    Blekinge Tekniska Högskola, Sektionen för teknik, Avdelningen för programvarusystem.
    Natural Language Processing from a Software Engineering Perspective2004Självständigt arbete på avancerad nivå (magisterexamen)Studentuppsats (Examensarbete)
    Abstract [en]

    This thesis is intended to deal with questions related to the processing of naturally occurring texts, also known as natural language processing (NLP). The subject will be approached from a software engineering perspective, and the problem description will be formulated thereafter. The thesis is roughly divided into two major parts. The first part contains a literature study covering fundamental concepts and algorithms. We discuss both serial and parallel architectures, and conclude that different scenarios call for different architectures. The second part is an empirical evaluation of an NLP framework or toolkit chosen amongst a few, conducted in order to elucidate the theoretical part of the thesis. We argue that component based development in a portable language could increase the reusability in the NLP community, where reuse is currently low. The recent emergence of the discovered initiatives and the great potential of many applications in this area reveal a bright future for NLP.

  • 46352.
    Åkesson, Daniel
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    An LLVM Back-end for REPLICA: Code Generation for a Multi-core VLIWProcessor with Chaining2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    REPLICA är en VLIW liknande PRAM-NUMA arkitektur, med möjlighet för attkedja ihop instruktioner så att resultat från tidigare instruktioner kan användassom indata till nästa instruktion i samma exekveringssteg.

    Inom REPLICA projetet finns planer på att utecklar ett nytt C-baserat pro-grammeringsspråk, kompilatorer och bibliotek för att snabbba upp utvecklingen avparallella program. Som en del av REPLICA projektet har vi utvecklat ett kompi-lator back-end för LLVM som kan användas för att generera kod till REPLICA. Vihar även utvecklat en enklare optimerings algoritm för att bättre utnyttja REPLI-CAs förmåga för instruktions parallelisering. Vi har även gjort ändringar i Clang,LLVMs front-end för C/C++/Objective-C, så att vi kan använda inline assembleri REPLICA program.

    Med Clang kan man kompilera C-kod till LLVMs interna representation somi sin tur genom LLVM och REPLICA back-end kan omvandlas till MBTAC3 as-sembler.

  • 46353.
    Åkesson, Daniel
    Högskolan i Skövde, Institutionen för datavetenskap.
    Driftssäkerhet hos datorutrustning som används som arbetsredskap2003Självständigt arbete på grundnivå (kandidatexamen)Studentuppsats
    Abstract [sv]

    Idag är datorutrustning en central del av många personers arbete. Vissa personer är helt beroende av datorutrustning för att kunna utföra sitt arbete. Om denna datorutrustning havererar kan detta leda till att en anställd person på ett företag inte kan utföra sitt arbete vilket leder till en ekonomisk förlust för företaget. Ett haveri av datorutrustning kan även innebära att viktig data som företaget använder i sin verksamhet kan gå förlorad, vilket kan vara dyrt att återställa.

    Detta arbete kartlägger hur väl förberedda företag idag är för att minimera de ekonomiska förluster och förluster av data ett haveri av datorutrustning kan innebära.

    Resultatet av den genomförda intervjuundersökningen tyder på att små företag idag har en relativt dålig framförhållning för att minimera förluster till följd av haveri av datorutrustning. Därtill har guidelines arbetats fram för att vara ett stöd för företag att välja rutiner för att minimera konsekvenserna av ett haveri av datorutrustning

  • 46354.
    Åkesson, Gustav
    et al.
    Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
    Rantzow, Pontus
    Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
    Performance evaluation of multithreading in a Diameter Credit Control Application2010Självständigt arbete på grundnivå (kandidatexamen)Studentuppsats (Examensarbete)
    Abstract [en]

    Moore's law states that the amount of computational power available at a given cost doubles every 18 months and indeed, for the past 20 years there has been a tremendous development in microprocessors. However, for the last few years, Moore's law has been subject for debate, since to manage heat issues, processor manufacturers have begun favoring multicore processors, which means parallel computation has become necessary to fully utilize the hardware. This also means that software has to be written with multiprocessing in mind to take full advantage of the hardware, and writing parallel software introduces a whole new set of problems. For the last couple of years, the demands on telecommunication systems have increased and to manage the increasing demands, multiprocessor servers have become a necessity. Applications must fully utilize the hardware and such an application is the Diameter Credit Control Application (DCCA). The DCCA uses the Diameter networking protocol and the DCCA's purpose is to provide a framework for real-time charging. This could, for instance, be to grant or deny a user's request of a specific network activity and to account for the eventual use of that network resource. This thesis investigates whether it is possible to develop a Diameter Credit Control Application that achieves linear scaling and the eventual pitfalls that exist when developing a scalable DCCA server. The assumption is based on the observation that the DCCA server's connections have little to nothing in common (i.e. little or no synchronization), and introducing more processors should therefore give linear scaling. To investigate whether a DCCA server's performance scales linearly, a prototype has been developed. Along with the development of the prototype, constant performance analysis was conducted to see what affected performance and server scalability in a multiprocessor DCCA environment. As the results show, quite a few factors besides synchronization and independent connections affected scalability of the DCCA prototype. The results show that the DCCA prototype did not always achieve linear scaling. However, even if it was not linear, certain design decisions gave considerable performance increase when more processors were introduced.

  • 46355.
    Åkesson, Karl-Petter
    et al.
    RISE, Swedish ICT, SICS. ICE.
    Bullock, Adrian
    Rodden, Tom
    A toolkit for user re-configuration of ubiquitous domestic environments2002Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper describes a distributed system with the aim to allow inhabitants to re-configure arrangements of devices and to understand the behaviour of these devices in tandem by making visible the various configurations. The purpose is to address the evolutionary nature of the domestic environments. We describe two different configuration facilities and the underlying infrastructure.

  • 46356.
    Åkesson, Karl-Petter
    et al.
    RISE - Research Institutes of Sweden, IKT, SICS.
    Ljungberg, Fredrik
    Coupling real and virtual environments1998Konferensbidrag (Refereegranskat)
  • 46357.
    Åkesson, Karl-Petter
    et al.
    RISE, Swedish ICT, SICS. ICE.
    Nilsson, Andreas
    Designing Leisure Applications for the Mundane Car-Commute.2002Ingår i: Personal and Ubiquitous Computing, ISSN 1617-4909, E-ISSN 1617-4917, Vol. 6, 176-187 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Commuting by car from home to work can be very time consuming. We have conducted a study to explore what people are doing, and want to do, while commuting. People use their time in the car on a wide variety of activities with great innovation. There was no unanimous activity that everyone wanted, rather a wide variety of activities were requested. Three different categories of activity were identified which we refer to as mundane, vocational and traffic related. To demonstrate a possible IT service supporting commuters, a prototype based on speech output and a simple input mechanism from a wheel was developed. This service moves sampling of music from the conventional shop into the car. The prototype was informally tested with users, which resulted in a number of improvements. Preliminary user results indicate good functionality, a comprehensive interaction interface.

  • 46358.
    Åkesson, Karl-Petter
    et al.
    RISE, Swedish ICT, SICS. ICE.
    Simsarian, Kristian
    RISE, Swedish ICT, SICS. ICE.
    Reality Portals1999Konferensbidrag (Refereegranskat)
    Abstract [en]

    Through interactive augmented virtuality we provide the ability to interactively explore a remote space inside a virtual environment. This paper presents a tool and technique that can be used to create such virtual worlds that are augmented by video textures taken of real world objects. The system constructs and updates, in near real-time, a representation of the user-defined salient and relevant features of the real world. This technique has the advantage of constructing a virtual world that contains the relevant video-data of the real world, while maintaining the flexibility of a virtual world. The virtual-real world representation is not dependent on physical location and can be manipulated in a way not subject to the temporal, spatial, and physical constraints found in the real world. Another advantage is that spatializing the video-data may afford more intuitive examination.

  • 46359.
    Åkesson, Maria
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Digital Innovation in the Value Networks of Newspapers2009Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    After decades of digital developments, we are now entering a truly digital era. Digital information and communication technology has become a naturally embedded part ofthe designed environment we live in. Most parts of life are today pervaded by digital products and services. Evidence of such immersion can be noted in, for instance, media consumption. This development is gradually shaping and cultivating a media environment that is ubiquitous. Such ubiquity is manifested in media’s constant presence and thechanges in media consumption in the purview of digital innovation. Indeed, digital innovation is not only a shift in technology. It alters existing value networks and calls forrethinking existing value perceptions. While this disruptive change driven by digitizationcan be found in many industries, this thesis focuses on its impact on value networks in thenewspaper industry.The digitization of newspapers started with the introduction of the internet in the 90´sand soon emerged into new media innovations. While these new media innovations have not replaced existing media, they have been disruptive to newspaper value networks. Recently, the emergence of yet another digital innovation is specifically interesting whenstudying changes to value networks of the newspaper industry: the e-paper. This innovation (a screen technology very close to print on paper) exhibits inherent valuesthat make future replacement of print on paper a possibility. It is therefore regarded as avery promising technology in the newspaper industry. This thesis can be positioned at the intersection of the friction between forces to embarkon a new media trajectory and forces to hang on to the established structures andcontrol. The research question addressed in this thesis is: How are value networks of newspapers influenced by digital innovation? Addressing the research question, a multimethod approach was adopted to gain a broad understanding of how digital innovationinfluences value networks of newspapers. Drawing on digital innovation literature, the thesis presents a theoretical perspective with which to understand how digital innovation influences value networks. This perspective is instantiated as a model of value network configuration. The model emphasizes the multi-layered, dynamic, dialectic, and diametrical character of value networks in digital innovation. The model is offered as abasis and analytical tool to further explore value networks in digital innovation. This tool is useful for newspaper stakeholders when entering the digital era.

  • 46360.
    Åkesson, Maria
    Högskolan i Skövde, Institutionen för datavetenskap.
    En studie om förändringsarbete och dess kritiska steg1999Självständigt arbete på grundnivå (kandidatexamen)Studentuppsats
    Abstract [sv]

    I detta arbete behandlas frågor som berör förändringsarbete. Alla verksamheter och organisationer arbetar kontinuerligt med att förbättra och effektivisera den egna verksamheten. Genom att arbete med förändringar på ett strukturerat sätt kan företag och organsiationer öka sannolikheten när det gäller att arbeta fram rätt lösningar och förändringsförslag till den utvecklade verksamheten.

    I mitt arbete har jag undersökt hur verksamhetsutvecklare genomför förändringar. Jag har, genom intervjuer, tagit reda på vilka metoder som används och hur dessa metoder är uppbyggda. Genom att studera de metoder som angivits har jag kommit fram till att metoderna, i stora drag, innehåller liknade arbetssteg. Metoderna inleds med en processkartläggning, denna processkartläggning används som underlag till nästa arbetssteg där verksamhetens problem identifieras. Arbetet avslutas med att lösningar till problemen arbetas fram och prövas.

    Det finns ett antal kriterier och riktlinjer som kan vara viktiga att ha i åtanke när förändringsarbete genomförs. Jag har med hjälp av intervjumaterialet sammanställt ett antal punkter som alla kan hjälpa till när det gäller att öka sannolikheten till att rätt förändringar identifieras. Några utav de kriterier som jag arbetat fram är till exempel att ha en hög grad av användarmedverkan i projektgrupperna, att utnyttja användarnas kunskap och kompetens samt att skapa en gemensam målformulering hos de medverkande.

  • 46361.
    Åkesson, Maria
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Mobile service value: presenting the newspaper publisher view on how to attract users and advertisers2006Ingår i: Proceedings of the 29th IRIS, 2006, 19- s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents results from a study of news publisher’s perceptions of reader and advertiser value of mobile services. Literature on mobile service features and benefits has been used to discuss these values. The study was conducted in 10 European newspaper publishing organizations. The data on the value perceptions was analyzed iteratively to discover patterns of attributes, and resulted in a set of values for readers respectively advertisers. These finding suggest a re-shaped service model for newspaper publishers. The perception of reader values are availability, experience, relevance, sociability, and credibility, and of advertiser value mass coverage, targeting, tracking and mediating. This set of value attributes can be of guidance for content-providing organizations attempting to practice a value-centered approach to mobile service design.

  • 46362.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Ihlström, Carina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Towards a Ubiquitous Media Environment: Adding the e-newspaper Channel2006Ingår i: Proceedings of the Technical Association of the Graphic Arts, TAGA, Sewickley, USA: Technical Association of the Graphic Arts , 2006, 1-23 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    As most of today’s media houses publish in multiple channels, theyalso exist in a multitude of infrastructures. Given the ongoing diffusion ofpersonal computers, handheld devices, and mobile telephones as well as theadvent of new technologies such as the e-paper, a new type of ubiquitousinformation environment is emerging. In this paper we give an update on thedevelopment of e-paper technology and provide a literature review ofinfrastructure issues in ubiquitous information environments. From empiricalresults from 19 interviews and 9 workshops with newspaper managers anddesigners in Sweden, Belgium, France and the Netherlands, we address thefollowing research question: What infrastructure considerations arise with theintroduction of a new channel in a ubiquitous media environment?

  • 46363.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Ihlström Eriksson, Carina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Advertising Challenges in Ubiquitous Media Environments2010Ingår i: Handbook of Research on Mobile Marketing Management / [ed] Key Pousttchi, Dietmar G Wiedemann, Hershey, PA: Business Science Reference , 2010, 77-93 s.Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    Mobile advertising opportunities have attracted interest from industry and academics as a response to the trend of diffusion of new mobile technology. One industry particularly interested in new advertising opportunities is the newspaper industry. Many media houses envision a future multi-channel media environment supporting device independent, anytime, anywhere publishing, i.e. a Ubiquitous Media Environment (UME). In this paper we explore how ubiquitous advertising challenges the role of media houses. Ubiquitous advertising refers to advertising in a UME, anytime, anywhere and in any device. Based on results from interviews and workshops with advertisers and publishers we discuss how media houses traditional role is challenged. We contribute with an understanding of how media houses can develop their role to succeed with ubiquitous advertising and to m-advertising literature with insights into the dynamics of balancing consumer and advertiser value of ubiquitous advertising.

  • 46364.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Ihlström Eriksson, Carina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Designing and evaluating the calm electronic newspaper2006Ingår i: Proceedings of the 14th European Conference on Information Systems, ECIS 2006 / [ed] Jan Ljungberg, Göteborg: IT-universitetet, Göteborgs universitet , 2006, 12- s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper reports from an ongoing action research study concerning the design of the future e-newspaper, i.e. a newspaper on e-paper technology. The e-paper innovation is of great importance to the newspaper publishers since it has the potential of eventually replacing the printed newspaper due to its readability and high contrast. This study addresses the challenge of how to design calm user experience of the e-newspaper. The action research approach followed the canonical action research method, in collaboration with publisher, reader and advertiser clients. The activities include a range of data collection techniques such as project meetings, workshops, interviews and prototype testing. In the diagnosing phase we identified the core challenges for designing the e-newspaper which directed us to the literature of calm technology. Three design principles for calm user experience were formulated in the action planning phase, followed by designing three e-newspaper prototypes, which embeds the design principles, in the action taking phase. The prototypes were evaluated with 36 readers in the evaluating phase and the outcome of these evaluations was later assessed in collaboration with newspaper designers for specifying learning. The results indicate that the design principles support calm user experience.

  • 46365.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Ihlström Eriksson, Carina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Mobile Service Adoption: the Swedish Case Between 2006 and 20082008Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper describes the development of mobile service adoption between 2006 and 2008 using the Global Acceptance of Technology model (GAT) for categorization. Two online surveys were conducted, one in 2006 and one in 2008. The online questionnaires were presented at the web sites at two Swedish newspapers with comparable circulation. The sample from 2006 includes 131 respondents and the 2008 sample include 152 respondents. The samples have comparable distribution of gender, age and mobile phone penetration. The findings show a positive development in mobile service adoption in Sweden from 2006 to 2008, e.g. a large portion of the users have upgraded their mobile phones to 3G, the cost is nolonger an important barrier for adoption and users seem to be more acquainted with using mobile services and therefore do not regard mobile services to be as complicated. However, the value of mobile services was generally rated lower in 2008 than in 2006, suggesting a new challenge for the mobile service producers.

  • 46366.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Ihlström Eriksson, Carina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    The vision of ubiquitous media services: How close are we?2007Ingår i: Human interface and the management of information: Symposium on Human Interface 2007, held as part of HCI International 2007, Beijing, China, July 22 - 27, 2007 : proceedings. P. 2, Interacting in information environments / [ed] Michael J. Smith, Gavriel Salvendy, Berlin / Heidelberg: Springer Berlin/Heidelberg, 2007, 222-232 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    The high penetration of mobile devices implies that we are closing up to the vision of ubiquitous media environments. This paper reports from a broad survey about barriers, use patterns, and motivations for using mobile media services. The aim is to contribute to the understanding of mobile service adoption process by studying users in different phases of the adoption process. The findings imply that mobile services are still not adopted and ubiquitously ingrained in use patterns. There is still a long way to go.

  • 46367.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Thomsen, Michel
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Challenges to Newspapers in Digital Platform Ecosystems2015Ingår i: MCIS 2015 Proceedings, Mediterranean Conference on Information Systems (MCIS) , 2015, Paper 14- s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Incumbent content providers such as newspapers experience radical changes in their business environment. Digital platforms are becoming increasingly important to innovate digital media services and business. The generativity of digital platforms afforded by digital technology offers new opportunities, but also new challenges. Digital platforms exist in an ecosystem of complex networks of actorsand resources. In this paper we shed light on the challenges for incumbent content providers to adapt to and realize business opportunities in digital platforms. We do this from the viewpoints of newspaper management, platform provider and analysts of media business.

  • 46368.
    Åkesson, Maria
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Thomsen, Michel
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Människa och Informationsteknologi (MI-lab).
    Digital Innovation and Social Dilemmas2014Ingår i: Creating Values For All Through IT: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014. Proceedings / [ed] Bergvall-Kåreborn, Birgitta & Nielsen, Peter Axel, Heidelberg; New York; Dordrecht; London: Springer Berlin/Heidelberg, 2014, 49-61 s.Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Digital innovation is rapidly reshaping society, affecting fundamental aspects of our everyday activities and lives. This development is accompanied with benefits as well as social dilemmas. In this paper we approach this class of challenges in IS digital innovation research. We investigate how social challenges are attended in research agendas, and reflect upon social challenges emerging from a digital service innovation project. Based on the empirical case, we present a scenario that illustrates how social challenges can unfold in digital service innovation. The case exemplifies three conflicts of interest that are used to discuss implications for the research agendas for digital innovation. We propose that explicit attention is paid to social and ethical challenges, taking a large scale and interdisciplinary approach on social and ethical challenges in digital ecosystems.

  • 46369.
    Åkesson, Martin
    et al.
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Svensson, Jimmie
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Nydesign av kommunalt corenät2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete behandlar ett antal problem som Uddevalla kommun har i sitt corenät. Nätverket är idag uppbyggt på enbart lager2-länkar och routingen är fördelad på ett antal för ändamålet dedikerade multilayerswitchar. Dessa switchar, vars enda uppgift är att routa, är konfigurerade med enbart statiska routes. Att fördela routingen på detta sätt innebär ineffektiva trafikflöden, vilket belastar länkar och nätverksenheter onödigt mycket. Då kommunen skall byta ut och uppgradera sitt corenät, arbetas det fram ett designförslag som löser dessa problem.

    Framtagandet av designförslag för det nya corenätet har genomförts genom att i laborationsmiljö göra mätningar som jämför dagens distribuerade routinglösning med en lösning där routingen flyttas så nära källan som möjligt. Utifrån resultaten av dessa mätningar har ett designförslag arbetats fram för att optimera både routing och trafikflöden.

    Det designförslag som tagits fram bygger på Ciscos hierarkiska modell, vilket är en modell som beskriver hur ett skalbart och redundant nätverk bör byggas. I denna modell delas nätverket in i de tre lagren; core, distribution och access. I förslaget effektiviseras routingen genom att den flyttas till distributionslagret. Detta medför även ett mer optimerat trafikflöde i nätverket. Vidare föreslås att routingprotokollet OSPF implementeras med fyra areor

  • 46370.
    Åkesson, Moa
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Att animera mänskliga Karaktärer: En studie kring animation med hjälp av icke verbal kommunikation2012Självständigt arbete på grundnivå (kandidatexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I detta arbete undersöks det vilken av två animationsmetoder, handanimation eller motion capture som främst skapar animation som upplevs av åskådaren som naturlig i sitt rörelsemönster. För att besvara denna fråga har en litteraturstudie genomförts som främst fokuserar på området kroppsspråk. Tre typer av animationer har skapats dels med hjälp av motion capture-teknik och dels med handanimation. Sedan utvärderas de olika animationsklippen genom en kvalitativ undersökning där det visade sig att de animationer som skapats med hjälp av motion capture-teknik upplevdes som naturligast i sitt rörelsemönster.    

  • 46371.
    Åkesson, Peter
    Högskolan i Kalmar, Institutionen för kommunikation och design.
    Bandesign för Multiplayerspel2009Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Denna rapport är en undersökning om hur man gör en bana i ett FPS-spel så att banan blirintressant och rolig så att så många spelare som möjligt vill spela den. För att komma framtill det har jag skapat en bana i Hammer till spelet Team Fortress 2 för att göra vissa testerpå den för att därigenom komma fram till mitt resultat.

    Slutligen kom jag fram till att det viktigaste när man skapar en bana är variation och att hamed något som passar alla. Dessutom kan det ha en viss vikt hur banan ser ut annarskommer folk inte ens testa banan.

  • 46372.
    Ålander, Ture
    et al.
    Department of Public Health and Caring Sciences, Uppsala University, Sweden.
    Scandurra, Isabella
    Örebro universitet, Handelshögskolan vid Örebro Universitet.
    Experiences of Healthcare Professionals to the Introduction in Sweden of a Public eHealth Service: Patients' Online Access to their Electronic Health Records2015Ingår i: Studies in Health Technology and Informatics, ISSN 0926-9630, E-ISSN 1879-8365, Vol. 216, 153-157 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Patients' increasing demands for medical information, the digitization of health records and the fast spread of Internet access form a basis of introducing new eHealth services. An international trend is to provide access for patients to health information of various kind. In Sweden, access by patients to their proper electronic health record (EHR) has been provided in a pilot county since November 2012. This eHealth service is controversial and criticism has arised from the clinical professions, mainly physicians. Two web surveys were conducted to discover whether the opinions of healthcare professionals differ; between staff that have had experience with patients accessing their own EHR and those who have no such expericence. Experienced nurses found the EHR more important for the patients and a better reform, compared to unexperienced nurses in the rest of the country. Similarly, physicians with their own experience had a more positive attitude compared to non-experienced physicians. The conclusion of this study is that healthcare professionals must be involved in the implementation of public eHealth services such as EHRs and that real experiences of the professionals should be better disseminated to their inexperienced peers.

  • 46373.
    Ålind, Markus
    Linköpings universitet, Institutionen för datavetenskap.
    A Skeleton library for Cell Broadband Engine2008Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The Cell Broadband Engine processor is a powerful processor capable of over 220 GFLOPS. It is highly specialized and can be controlled in detail by the programmer. The Cell is significantly more complicated to program than a standard homogeneous multi core processor such as the Intel Core2 Duo and Quad. This thesis explores the possibility to abstract some of the complexities of Cell programming while maintaining high performance. The abstraction is achieved through a library of parallel skeletons implemented in the bulk synchronous parallel programming environment NestStep. The library includes constructs for user defined SIMD optimized data parallel skeletons such as map, reduce and more. The evaluation of the library includes porting of a vector based scientific computation program from sequential C code to the Cell using the library and the NestStep environment. The ported program shows good performance when compared to the sequential original code run on a high-end x86 processor. The evaluation also shows that a dot product implemented with the skeleton library is faster than the dot product in the IBM BLAS library for the Cell processor with more than two slave processors.

     

  • 46374.
    Ålind, Markus
    et al.
    Linköpings universitet.
    Eriksson, Mattias
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar.
    Kessler, Christoph
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar.
    BlockLib: A Skeleton Library for Cell Broadband Engine2008Ingår i: Proceedings - International Conference on Software Engineering, New York, USA: ACM , 2008, 7-14 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Cell Broadband Engine is a heterogeneous multicore processor for high-performance computing and gaming. Its architecture allows for an impressive peak performance but, at the same time, makes it very hard to write efficient code. The need to simultaneously exploit SIMD instructions, coordinate parallel execution of the slave processors, overlap DMA memory traffic with computation, keep data properly aligned in memory, and explicitly manage the very small on-chip memory buffers of the slave processors, leads to very complex code. In this work, we adopt the skeleton programming approach to abstract from much of the complexity of Cell programming while maintaining high performance. The abstraction is achieved through a library of parallel generic building blocks, called BlockLib. Macro-based generative programming is used to reduce the overhead of genericity in skeleton functions and control code size expansion. We demonstrate the library usage with a parallel ODE solver application. Our experimental results show that BlockLib code achieves performance close to hand-written code and even outperforms the native IBM BLAS library in cases where several slave processors are used.

  • 46375. Ålund, Anders
    et al.
    Lötstedt, Per
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för teknisk databehandling. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Numerisk analys.
    Sillén, Mattias
    Parallel single grid and multigrid solution of industrial compressible flow problems1997Ingår i: Computers & Fluids, ISSN 0045-7930, E-ISSN 1879-0747, Vol. 26, 775-791 s.Artikel i tidskrift (Refereegranskat)
  • 46376. Ålund, Anders
    et al.
    Lötstedt, Per
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för teknisk databehandling. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Numerisk analys.
    Sillén, Mattias
    Parallel solution of industrial compressible flow problems with static load balancing1997Ingår i: Parallel Computational Fluid Dynamics: Algorithms and Results Using Advanced Computers, Amsterdam, The Netherlands: Elsevier Science , 1997, 336-343 s.Konferensbidrag (Refereegranskat)
  • 46377.
    Åman, Agnes
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Nyblom, Hanna
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Measuring the extent of interdisciplinary research and creating a collaboration group structure at KTH2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    With interdisciplinary research being a possibility in modern research environ- ments, it is interesting to optimise collaborations between researchers in order to further develop the research environment. The scope of this thesis was therefore to develop a method to measure how widespread the interdisciplinary research is and to propose collaboration groups of researchers created by the use of graph theory.

    This problem was approached by studying the research at KTH by col- lecting research publications from the publication database DiVA using a web crawler. Then representing the authors of the publications as nodes and the collaborations between two authors as edges in a graph. A graph partitioning algorithm developed by Flake et al. was chosen after a literature study, then applied to the graph to produce the requested collaboration groups.

    The results showed that while interdisciplinary research is not the norm at KTH, 23% of the proposed collaboration groups consisted of two or more researchers from different schools at KTH. The original ratio of school associ- ation was retained through the partitioning of the graph. A measurement of collaboration per researcher in each collaboration group was suggested and the calculated values of these measurements was found to be largely in the same range, with the exception of one collaboration group. The results also high- lighted some inconsistencies in DiVA.

    The conclusions were that interdisciplinary research was not very widespread at KTH, however 77 groups were suggested which could be of use for researchers at KTH from now on and in the future. A conclusion was also that this method for finding suitable collaboration groups could be applied at other universities where perhaps interdisciplinary research is more frequent. 

  • 46378.
    Åman Pohjola, Johannes
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för datalogi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Bells and Whistles: Advanced language features in psi-calculi2013Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to every instance of the framework.

    The contribution of this licentiate thesis is to significantly extend the applicability and expressiveness of psi-calculi by incorporating several advanced language features into the framework: broadcasts, higher-order communication, generalised pattern matching, sorts and priorities. The extensions present several interesting technical challenges, such as negative premises. The machine-checked proofs for standard results about bisimilarity are generalised to each of these new settings, and the proof scripts are freely available online.

  • 46379.
    Åman Pohjola, Johannes
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för datalogi.
    Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation results2016Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems.

    Defining modelling languages is easy; there is a stupefying variety of them in the literature. Verifying their foundations and proof techniques, and developing an understanding of their interrelationship with other modelling languages, is difficult, tedious and error-prone. The contributions of this thesis support these tasks in reusable and trustworthy ways, by results that apply to a wide variety of modelling languages, verified to the highest standards of mathematical rigour in an interactive theorem prover.

    To this end, we extend psi-calculi - a family of process calculi with reusable foundations for formal verification - with several new language features. We prove that the bisimulation meta-theory of psi-calculi carries over to these extended settings. This widens the scope of psi-calculi to important application areas, such as cryptography and wireless communication. We develop bisimulation up-to techniques - powerful proof techniques for showing that two processes exhibit the same observable behaviour - that apply to all psi-calculi. By showing how psi-calculi can encode dynamic priorities under very strong quality criteria, we demonstrate that the expressive power is greater than previously thought. Finally, we develop a simple and widely applicable technique for showing that a process calculus adds expressiveness over another, based on little more than whether parallel components may act independently or not. Many separation results, both novel ones and strengthenings of known results from the literature, emerge as special cases of this technique.

  • 46380.
    Åman Pohjola, Johannes
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Borgström, Johannes
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Parrow, Joachim
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Raabjerg, Palle
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Rodhe, Ioana
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Negative premises in applied process calculi2013Rapport (Övrigt vetenskapligt)
  • 46381.
    Åman Pohjola, Johannes
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Parrow, Joachim
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Bisimulation up-to techniques for psi-calculi2016Ingår i: Proc. 5th ACM SIGPLAN Conference on Certified Programs and Proofs / [ed] Avigad, J; Chlipala, A, New York: ACM Press, 2016, 142-153 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to all calculi within the framework. Bisimulation up-to techniques are methods for reducing the size of relations needed in bisimulation proofs. In this paper, we show how these bisimulation proof methods can be adapted to psi-calculi. We formalise all our definitions and theorems in Nominal Isabelle, and show examples where the use of up to-techniques yields drastically simplified proofs of known results. We also prove new structural laws about the replication operator.

  • 46382.
    Åman Pohjola, Johannes
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Parrow, Joachim
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Priorities Without Priorities: Representing Preemption in Psi-Calculi2014Ingår i: Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, 2014, 2-15 s.Konferensbidrag (Refereegranskat)
  • 46383.
    Åman Pohjola, Johannes
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Parrow, Joachim
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    The Expressive Power of Monotonic Parallel Composition2016Ingår i: Programming Languages and Systems, Berlin: Springer, 2016, 780-803 s.Konferensbidrag (Refereegranskat)
  • 46384. Ånäs, Sofia
    A comparative validation of the human variant simulator SIMdrom2017Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The past decade’s progress in next generation sequencing has drastically decreased

    the price of whole genome and exome sequencing, making it available as a clinical tool

    for diagnosing patients with genetic disease. However, finding a disease-causing

    mutation among millions of non-pathogenic variants in a patient’s genome, is not an

    easy task. Therefore, algorithms for finding variants relevant for clinicians to

    investigate more closely are needed and constantly developed. To test these

    algorithms a software called SIMdrom has been developed to simulate test data. In

    this project, the simulated data is validated through comparison to real genetic data to

    ensure that it is suitable to use as test data. Through ensuring the data’s reliability and

    finding possible improvements, the development of algorithms for finding

    disease-causing mutations can be facilitated. This in-turn could lead to better

    diagnosing-possibilities for clinicians. When visualizing simulated data together with

    real genomes using principal components analysis, it clusters near it’s real

    counterpart. This shows that the simulated data resembles the real genomes.

    Simulated exomes also performed well when used as a part in one of three training

    sets for the classifier in the Prioritization of Exome Data by Image Analysis study.

    Here they perform second best after an in-house data set consisting of real exomes.

    To conclude, the SIMdrom simulated data performs well in both parts of this project.

    Additional tests of its validity should include testing against larger real data sets, an

    improvement possibility could be to implement a simulation option for spiking in

    noise.

  • 46385.
    Årling, Matts
    et al.
    Örebro universitet, Institutionen för ekonomi, statistik och informatik.
    Svensson, Erik
    Örebro universitet, Institutionen för ekonomi, statistik och informatik.
    Instant messaging: Matchning av IM-funktioner och kommunikationsbehov hos medarbetare på IT-företag.2007Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Vi ville med denna uppsats undersöka om instant messaging matchar de kommunikationsbehov som IT-anställda har. För att ta reda på detta använde vi oss av ett kvalitativt angreppssätt i form av intervjuer. Dessa intervjuer skapade även ytterligare kunskap vilken vi benämnt barriärer. En lista på IM-funktioner hämtades från Wikipedia och reviderades senare av oss. Kommunikationsbehoven identifierades under analysen av intervjuerna. Matchningen genererade en tabell som kan användas som karta över vilka IM-funktioner som tillgodoser några vanliga kommunikationsbehov som finns på datortäta arbetsplatser. Barriärerna är till för att visa vad som försvårar tillgodoseendet av behoven. Vidare erhöll vi även kunskap om att de av oss identifierade kommunikationsbehov som i dagsläget inte tillgodoses av IM inte heller behöver göra det. Vi kom också fram till att IM skulle kunna utvecklas till att vara en brygga mellan annan kommunicerande programvara och kollegor.

  • 46386.
    Årman, Erik
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Grå dilemman i dataspel: Konsekvensers inverkan på spelares agerande i moraliska dilemman2015Självständigt arbete på grundnivå (kandidatexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Arbetet redogör för konsekvensers inverkan på spelares agerande i moraliska dilemman i dataspel. Arbetet försöker även underlätta framtida debatt inom området genom att definiera begreppen svart-vita dilemman, grå dilemman, moraliska konsekvenser och praktiska konsekvenser. Tidigare statistik visar att ungefär 15 % av spelare agerar omoraliskt i spel som inte ger några incentiv till att göra så, arbetet testar hypotesen att andelen spelare som agerar omoraliskt ökar om spelet uppmuntrar omoraliskt beteende. Arbetet lät åtta testpersoner spela ett spel där de ställdes inför åtta svart-vita dilemman, undertiden samlades data in om deras agerande i spelet. Resultatet visade att testpersonerna agerade omoraliskt 17 % av gångerna, alltså ingen signifikant ökning från 15 %. Slutsatsen blev att ungefär 15 % av alla spelare agerar omoraliskt i moraliska dilemman och att den siffran är svår att förändra, även när omoraliskt beteende uppmuntras genom praktiska konsekvenser. Slutligen diskuteras svagheter med arbetet och potentiell framtida forskning, inklusive liknande arbeten med större fokus på skillnaderna mellan könens agerande i moraliska dilemman.

  • 46387.
    Årsköld, Martin
    Blekinge Tekniska Högskola, Institutionen för arbetsvetenskap och medieteknik.
    Processoperatörens mobilitet -teknikstöd för mobil larmhantering2002Självständigt arbete på avancerad nivå (magisterexamen)Studentuppsats (Examensarbete)
    Abstract [sv]

    Processindustrin har möjligheten att ta steget in i en ny utvecklingsfas där teknik kommer att spela stor roll. I och med att teknik allt mer stödjer mobilitet öppnas möjligheten för processoperatörer att på valfri plats kunna övervaka och styra tillverkningsprocessen. Med denna rapport presenterar författaren sin empiriska studie på en högteknologisk fabrik. Studiens fokus ligger i betydelsen av processoperatörernas mobilitet och hur den framträder i deras arbete. Studien visar att mobilitet för operatörerna på fabriken är en del av deras yrkesutövande och väsentlig för att kunna styra tillverkningsprocessen. Utifrån studien ges förslag på teknik som kan stödja denna mobilitet genom att möjliggöra mobil larmhantering.

  • 46388.
    Åsberg, Mikael
    Linköpings universitet, Institutionen för datavetenskap.
    Jämförelse av Oracle och MySQL med fokus på användning i laborationer för universitetsutbildning2008Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Syftet med arbetet som beskrivs i denna rapport var att undersöka om den Oracle-baserade laborationsmiljö som användes hos ADIT gick att överföra till MySQL. Oracle är ett komplext system som är krävande att administrera, något som ADIT ansvarat för med egen personal och egen hårdvara och detta var inte idealiskt. I kombination med ett stort intresse från studenter att använda just MySQL vid laborationer hos ADIT beslutades det att man skulle undersöka om MySQL nu var moget att axla den roll som Oracle tidigare haft. Utifrån detta går rapporten igenom vad som behövde göras med det befintliga laborationsmaterialet. En introduktion till relations¬modellen och SQL samt förklaringar av skillnader i features mellan Oracle och MySQL som hade betydelse för laborationerna återfinns också. Det visade sig att överföringen var enkel att göra och sist i rapporten sammanställs våra erfarenheter.

  • 46389.
    Åsberg, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    On the Development of Hierarchical Real-Time Systems2012Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Hierarchical scheduling (also referred to as resource reservation) is a hot topic within the research of real-time systems. It has many advantages such that it can facilitate software integration, fault isolation, structured analysis, legacy system integration etc. The main idea is to partition resources into well defined slots and the resource itself may be the processor, memory etc. This technique is rarely used in real-time applications, however, it is well adopted in the avionics industry in order to isolate error propagation between system parts, and facilitate analysis of the system.Much of the research within resource reservation deals with theoretical schedulability analysis of partitioned systems, including shared resources (other than the processor). We will in this thesis address more practical issues related to resource reservation. We focus on implementation and prototyping aspects, as well as verification and instrumentation. One of our assumptions is that we deal only with fixed-priority preemptive scheduling (FPPS).The first part in this thesis deals with individual software systems that may have its own tasks as well as a scheduler and it is assumed to be part of another larger system, hence, we refer to this individual system as a subsystem. The subsystem is assumed to be integrated together with other subsystems, but at a early stage, we make it possible to simulate the subsystem running together with the rest of the subsystems. This "simulation`` does not require the actual resource reservation mechanism, the only requirement is an operating system with support for FPPS. This pre-study may be a natural step towards the "real`` integration, since each individual subsystem can be test executed within its assigned partition. All subsystems are assumed to run together using a resource reservation mechanism (during the actual integration). We have developed two prototypes of this mechanism. The first prototype is hand-crafted and it is equipped with a program tracer for partitoned based schedulers. This instrumentation is useful for debugging and visualization of program traces for this type of scheduling. The second prototype is developed using timed automata with tasks (task automata). This model-based scheduler is verified for correctness and it is possible to automatically generate source code for the scheduler. We have successfully synthesized this scheduler for the real-time operating system VxWorks. However, it can easily be executed on most other platforms. Both prototypes has pros and cons. The first version has good performance while the second can guarantee its correctness, hence, there is a trade-off between performance and correctness.

  • 46390.
    Åsberg, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik. Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Synthesis and Synchronization Support for Hierarchically Scheduled Real-Time Systems2014Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    A piece of software, that we define as a software system, can consist of anything from a few lines of program code or the entire software stack in a vehicle. Software systems can be divided into smaller and partially independent parts called subsystems/partitions (we use the words partition and subsystem interchangeably). The non-functional isolation of subsystems, that appears when the software system is hierarchically divided, has great advantages when it comes to preventing fault propagation between subsystems. The hierarchical division, that we refer to as hierarchical scheduling, has other advantages as well. It facilitates re-usability and it makes timing analysis of software systems easier. Hierarchical scheduling has been shown to be a useful tool in counteracting the verification challenges that comes from the growing complexity in software. For example, the avionics-specification ARINC653 and the safety-critical operating systems seL4 and PikeOS safely divide resources for independent safety-critical applications by using hierarchical scheduling.

    Hierarchical scheduling can be implemented in many different ways, depending on what resource that is supposed to be shared among applications. The resource could be the CPU, memory, network etc. The work in this thesis is focused on the practical aspects of timing isolation among subsystems, i.e., sharing of the CPU resource. Hence, this work elaborates on how to adapt and extend the operating-system task-scheduler to support hierarchical scheduling. We have focused on both independent and semi-dependent subsystems. Independent subsystems only share general resources such as the CPU and memory. Semi-independent subsystems share not only the general resources, but also other logical resources that can only be accessed in a mutually exclusive way, i.e., by one subsystem at a time. An example of such a resource could be a shared memory-space, e.g., a database, a memory-mapped device etc.

    This thesis has two main parts related to hierarchical scheduling: scheduler synthesis, and synchronization.

    Scheduler synthesis is related to implementation and design strategies when adding support for hierarchical scheduling in an operating system. We have focused on various operating systems that were lacking the feature of hierarchical scheduling. The two most interesting operating systems that we worked on was Linux and seL4. These two operating systems represent two extremes, where Linux is more focused towards soft real-time systems and seL4 towards pure hard real-time (safety-critical) systems. Linux-based systems have in general less strict demands on correctness and more requirements on usability. Usability implies less installation efforts and less limitations in the usage of the available Linux functionality. The usability aspect is especially important for Linux systems since kernel updates occur much more frequently compared to any other operating system. Hence, extending/modifying the functionality of Linux must be done in a way that does not require any modifications to the kernel. seL4 on the other hand has strict requirements on safety, i.e., functional and non-functional correctness, but also performance efficiency. Guaranteeing correctness implies a potential loss of performance due to the added overhead that the verified software can bring. The correctness aspect includes strategies on how to verify hierarchical schedulers, but also how to minimize the scheduler overhead and achieve as good run-time performance as possible. Conclusively, there are many challenges when it comes to scheduler synthesis. There are requirements on performance, usability, correctness etc. The contribution in the synthesis part includes a scheduler framework called ExSched (External Scheduler). We have also contributed with a novel approach to verify hierarchical schedulers, and a code generator called TAtoC (Timed Automata to C) which contributes to the effective run-time performance of synthesized timed-automata models.

    The second part of this thesis, synchronization, is an important general aspect of hierarchically scheduled systems since the isolation of subsystems makes resource sharing among subsystems more challenging. We have advanced the state-of-the-art in this research area by introducing a new synchronization protocol called RRP (Rollback Resource Policy) that improves on the robustness and run-time performance compared to the existing protocols. We have also conducted a large scale experimental evaluation of all existing protocols that we have implemented in the widely used real-time operating system VxWorks.

  • 46391.
    Åsberg, Mikael
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Forsberg, Nils
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Kato, Shinpei
    Carnegie Mellon University, USA.
    Towards Real-Time Scheduling of Virtual Machines Without Kernel Modifications2011Ingår i: 16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA'11), Work-in-Progress (WiP) session, Toulouse, France, 2011Konferensbidrag (Refereegranskat)
    Abstract [en]

    Virtualization is a well used technique in the area of internet server systems for managing several (legacy) applications on a single physical machine. These applications do not have strict time deadlines, which also reflects how these applications are scheduled. Using virtualization in an embedded real-time systems context is of course attractive, since we want to pack as much software as possible on a, as small as possible, hardware platform. The problem is that this kind of software does not easily cope well together, in the aspect of time related properties. Hence, we need a new mechanism, i.e., a scheduler, that can satisfy the timing requirements of each application. However, scheduler implementations typically require modifications to middleware or kernel and this is not acceptable in the area embedded systems, due to stability and reliability reasons. Hence, in this paper, we propose a framework for scheduling (soft real-time) applications residing in separate operating systems (virtual machines) using hierarchical fixed-priority preemptive scheduling, without the requirement of kernel modifications.

  • 46392.
    Åsberg, Mikael
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Pettersson, Paul
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES2010Ingår i: FTRA Journal of Convergence, ISSN 2093-7741, Vol. 1, nr 1, 75-84 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In hierarchical scheduling a system is organized as a tree of nodes, where each node schedules its child nodes. A node contains tasks and/or subsystems, where a subsystem is typically developed by a development team. Given a system where each part is subcontracted to different developers, they can benefit from hierarchical scheduling by parallel development and simplified integration of subsystems. Each team should have the possibility to test their system before integration. Hence, we show how a node, in a hierarchical scheduling tree, can be analyzed in the Times tool by replacing all interference from nodes with a small set of higher priority tasks. We show an algorithm that can generate these tasks, including their parameters. Further, we use the Times code-generator, in combination with operating system extensions, to generate source code that emulates the scheduling environment for a subsystem, in an arbitrary level in the tree. Our experiments include two example systems. In the first case we generate source code for an industrial oriented platform (VxWorks) and conduct a performance evaluation. In the second example we generate source code that emulates the scheduling environment for a video application, running in Linux, and we perform a frame-rate evaluation.

  • 46393.
    Åsberg, Mikael
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Strömbäck, Lena
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Bioinformatics: From Disparate Web Services to Semantics and Interoperability2010Ingår i: International Journal of Advances in Software, ISSN 1942-2628, Vol. 3, nr 3-4, 396-406 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In the field of bioinformatics, there exists a large number of web service providers and many competing standards regarding how data should be represented and interfaced. However, these web services are often hard to use for a non-programmer and it can be especially hard to understand how different services can be used together to create scientific workflows. In this paper we have performed a literature study to identify problems involved in developing interoperable webservices for the bioinformatics community and steps taken by other projects to address them. We have also conducted a case study by developing our own bioinformatic web service to further investigate these problems. Based on our case study we have identified a number of design issues important to consider when designing web services. The paper is concluded by discussing current approaches aimed at making web services easier to use and by presenting our own proposal of an easy-to-use solution for integrating information from web services.

  • 46394.
    Åsberg, Sanna
    Linköpings universitet, Institutionen för datavetenskap.
    Sökfrasanalys på Gula Sidorna2006Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [sv]

    Söktjänsten på Gula Sidorna innefattar sökningar på produkter, varor och tjänster och där görs tusentals sökningar varje dag. Enligt Eniro finns en del problem med söktjänsten och syftet med studien är att fastställa vilka dessa problem är och om systemet med språkteknologiska metoder kan förbättra träffarnas relevans, omfattning och rankning.

    Studiens huvudsakliga frågeställning är om det är möjligt att med språkteknologiska metoder förbättra sökningen på Gula Sidorna med avseende på träffarnas relevans och täckning samt rankning av dessa träffar, och vilka språkteknologiska metoder som i så fall mest höjer systemets kvalitet utifrån användningssynpunkt, inom ramarna för företagets intressen.

    Genom lingvistisk analys av en månads sökordssökningar på www.gulasidorna.eniro.se identifierades sju olika problemtyper utifrån hur väl träffarna matchade sökfrasens syntax och semantik. Med bakgrund i systemets existerande struktur och den typ av data som finns lagrad togs ett antal lösningsförslag fram utifrån teorier om språkteknologiska metoder i informationssökningssystem. Sju kortsiktiga och fem långsiktiga lösningar presenterades och dess effekter på prestationen vid en eventuell implementering diskuterades. Med nämnda förbättringsförslag som grund gavs förslag på hur rankningssystemet för Gula Sidorna skulle kunna förbättras.

    Slutsatser som kan dras utifrån resultaten är att de kortsiktiga lösningarna vid implementering bör kunna lösa drygt hälften av de identifierade problemen. Dock krävs vidare studier för att säkerställa att de långsiktiga lösningarna inte orsakar fler problem än de löser.

  • 46395.
    Åsbrink, Natalie
    et al.
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Elgerot, Anna
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Utformning av informationsmaterial: Med rörelse och dansglädje i fokus2006Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Vårt examensarbete har varit att producera informationsmaterial till dansskolan Danshuset i Västerås. Huvudarbetet har varit att ta fram en broschyr som ska informera om dansskolans dansklasser och förmedla rörelse och dansglädje. Vi har dessutom tagit fram en affisch som ska informera om Danshusets vårföreställning. I utformningen av vårt informationsmaterial har vi tillämpat de olika designelementen för god informationsdesign och som arbetsmetod har vi utgått från den modell vi kallar den kreativa informationsdesignprocessen. Genom att utforma vårt informationsmaterial enligt principerna för god informationsdesign anser vi oss ha större chans att få vårt budskap att nå fram med full effekt.

  • 46396.
    Åsfält, Pär
    et al.
    Blekinge Tekniska Högskola, Sektionen för teknik, Avdelningen för programvarusystem.
    Stüeken, Jan
    Blekinge Tekniska Högskola, Sektionen för teknik, Avdelningen för programvarusystem.
    Controlling Changes in Large-Scale Software Development2007Självständigt arbete på avancerad nivå (magisterexamen)Studentuppsats (Examensarbete)
    Abstract [en]

    Changes to a software system are the result of changing requirements or defects during the development. Each change consumes resources for the analysis, decision making, implementation, and verification. Hence, having control over changes is crucial for software development projects to meet schedules, keep quality standards and budgets. Reuse of functionality helps to create new products based on already existing building blocks. Integrating mature components enables to create reliable systems. Software product lines provide means to develop several similar systems based on reuse. Often new products also need to be released frequently to fulfil the customer needs. Shortened lead time for the development then strengthens the importance of reuse. At the same time, limited budgets and competition on the market requires projects to utilize resources efficiently. Developing several releases in parallel enables an even distribution of tasks among different roles in a development organization. Both developing software based on a product line approach and parallel releases put requirements on how changes need to be controlled. In this thesis, software engineering literature is reviewed regarding the knowledge areas of software release management, software product lines and software configuration management. Beyond the most considerable research results also related case studies are presented to show how industry practices counter existing problems. The major part of the thesis is a case study conducted at Sony Ericsson Mobile Communications AB. The outcome of the thesis is an identification of challenges of controlling changes regarding parallel development and using software product lines based on available research results and industry case studies. It further provides a case of a software development organization which faces a high market-pace, uses a software product line approach, and develops several software releases in parallel on different sites around the world.

  • 46397.
    Åslin, Fredrik
    Linköpings universitet, Institutionen för datavetenskap.
    Evaluation of Hierarchical Temporal Memory in algorithmic trading2010Självständigt arbete på avancerad nivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis looks into how one could use Hierarchal Temporal Memory (HTM) networks to generate models that could be used as trading algorithms. The thesis begins with a brief introduction to algorithmic trading and commonly used concepts when developing trading algorithms. The thesis then proceeds to explain what an HTM is and how it works. To explore whether an HTM could be used to generate models that could be used as trading algorithms, the thesis conducts a series of experiments. The goal of the experiments is to iteratively optimize the settings for an HTM and try to generate a model that when used as a trading algorithm would have more profitable trades than losing trades. The setup of the experiments is to train an HTM to predict if it is a good time to buy some shares in a security and hold them for a fixed time before selling them again. A fair amount of the models generated during the experiments was profitable on data the model have never seen before, therefore the author concludes that it is possible to train an HTM so it can be used as a profitable trading algorithm.

  • 46398.
    Åslund, Jonas
    Linköpings universitet, Institutionen för systemteknik.
    Authentication in peer-to-peer systems2002Självständigt arbete på grundnivå (yrkesexamen)Studentuppsats
    Abstract [en]

    In the environment of the 3:rd generation Internet based on peer-to-peer architecture, well-trusted methods must exist to establish a secure environment. One main issue is the possibility to verify that a node actually is who it claims to be (authentication). Establishment of authentication between nodes in a peer-to-peer environment where nodes are exchanging information directly with each other requires more planning than in a typical client-server environment where the authentication methods are server-based. The peer-to-peer applications described in this report use authentication methods based on central authorities as well as solutions without central authorities.

    Lack of standards in the way peer-to-peer systems should communicate and apply security lead to a variety of “local” communication and security solutions. These local solutions make different applications incompatible with each other, meaning that a peer using one application will not be able to communicate and exchange information with other peers using some other application.

  • 46399.
    Åslund, Rikard
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Network Communication for a MMORPG on Android.2011Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna rapport undersöker möjligheterna att utveckla en Android-version av spelet Salem, som för närvarandet är under utveckling. Fokus ligger på nätverkskommunikation men ämnen som minnesallokering och grafik kommer också beröras. Resultaten som presenteras indikerar att det utan tvekan är möjligt att utveckla ett spel som Salem för Android-plattformen, men man måste noga överväga plattformens begränsningar och möjligheter. Vikten av att hålla en hög överföringshastighet betonas och läsaren får ett protokoll presenterat för sig som hjälper till att bibehålla detta.

    Rapporten avslutar med att fastställa att nätverkskommunikationen på Android-enheten kan ses som både stabil och ostabil. Det är nödvändigt att uppmärksamma att fall med plötslig minskning av stabiliteten kommer att inträffa och de bör hanteras på ett lämpligt sätt.

  • 46400.
    Åstholm, Carl
    Örebro universitet, Handelshögskolan vid Örebro Universitet.
    Tillämpning av ljud i IT-system för att öka användarupplevelsen: en litteraturstudie2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Många systemutvecklare idag saknar kunskap om hur ljud kan användas i system för att öka användarupplevelsen och är skeptiska till ljudets användningspotential. Auditory display är ett samlingsnamn för olika tekniker som nyttjar ljudet som ett medium för att kommunicera olika typer av data och information från systemet till användaren. Då mycket av forskningen rörande auditory display fokuserar på utvecklingen av hjälpmedel för synskadade istället för mer generella system för användare utan särskilda behov ser vi att det finns ett behov av en litteraturstudie med fokus på den sistnämnda gruppen system. Vi ställde frågan "hur kan auditory display tillämpas vid utveckling av traditionella IT-system" och genomförde en litteraturstudie där 23 artiklar analyserade för att identifiera olika tillämpningsområden för auditory display, med syfte att återge dessa tillämpningsområden i ett format som är av intresse för utvecklare som vill kunna använda ljud i sina system men inte vet vart de ska börja. Resultaten visar att auditory display kan användas till god effekt exempelvis vid övervakning av nätverkstrafik, i gränssnitt och widgets och i fordonsgränssnitt i bilar. Vi föreslår även lovande användningsområden som bör undersökas vidare av framtida forskare.

925926927928929930931 46351 - 46400 av 46741
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf