CERES - User contributions [en]

Student projects

2020-10-07T11:06:15Z

Slawek:

== Information about MSc Thesis process ==

<span style="color:#FF0000">
ATTENTION: this page is obsolete... please use http://caisr.hh.se/Student_projects instead!
</span>

Introduction lecture presenting the process and expectations on MSc project will take place on Monday, 14 October 2019 at 15:15.

[https://hh.se/student-web/content-a-z/thesis-information-for-students-at-school-of-information-technology.html#h-Subjectselection MSc thesis project information]<br>

[http://r2s.hh.se/public/2017.01.17-MSc-project.pdf MSc thesis lecture]

== Current Proposals of Msc and Bsc Project ==
<div class="hidden_not_loggedin" style="color: blue; font-style: italic; font-size: 90%; position: relative; top: -1em">
If you've added a project and it didn't show up, wait for cache to update, or press "refresh" button at top of the page!
</div>

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2020]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2020]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2020-10-07T11:05:48Z

Slawek:

== Information about MSc Thesis process ==

<span style="color:#FF0000">
ATTENTION: this page is obsolete... please use http://caisr.hh.se/Student_projects instead!
</span>

Introduction lecture presenting the process and expectations on MSc project will take place on Monday, 14 October 2019 at 15:15.

[https://hh.se/student-web/content-a-z/thesis-information-for-students-at-school-of-information-technology.html#h-Subjectselection MSc thesis project information]<br>

[http://r2s.hh.se/public/2017.01.17-MSc-project.pdf MSc thesis lecture]

== Current Proposals of Msc and Bsc Project ==
<div class="hidden_not_loggedin" style="color: blue; font-style: italic; font-size: 90%; position: relative; top: -1em">
If you've added a project and it didn't show up, wait for cache to update, or press "refresh" button at top of the page!
</div>

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2019]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2019]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2019-10-06T20:34:14Z

Slawek:

== Information about MSc Thesis process ==

Introduction lecture presenting the process and expectations on MSc project will take place on Monday, 14 October 2019 at 15:15.

[https://hh.se/student-web/content-a-z/thesis-information-for-students-at-school-of-information-technology.html#h-Subjectselection MSc thesis project information]<br>

[http://r2s.hh.se/public/2017.01.17-MSc-project.pdf MSc thesis lecture]

== Current Proposals of Msc and Bsc Project ==
<div class="hidden_not_loggedin" style="color: blue; font-style: italic; font-size: 90%; position: relative; top: -1em">
If you've added a project and it didn't show up, wait for cache to update, or press "refresh" button at top of the page!
</div>

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2019]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2019]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2019-10-01T13:34:47Z

Slawek:

== Information about MSc Thesis process ==

[https://hh.se/student-web/content-a-z/thesis-information-for-students-at-school-of-information-technology.html#h-Subjectselection MSc thesis project information]<br>

[http://r2s.hh.se/public/2017.01.17-MSc-project.pdf MSc thesis lecture]

== Current Proposals of Msc and Bsc Project ==
<div class="hidden_not_loggedin" style="color: blue; font-style: italic; font-size: 90%; position: relative; top: -1em">
If you've added a project and it didn't show up, wait for cache to update, or press "refresh" button at top of the page!
</div>

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2019]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2019]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Main Page

2019-09-29T14:25:55Z

Slawek:

<css>
#ca-protect{ display:none!important; }
#ca-watch{ display:none!important; }
#ca-purge{ display:none!important; }
#ca-history{ display:none!important; }
#ca-delete{ display:none!important; }
#ca-move{ display:none!important; }
#ca-edit{ display:none!important; }
#ca-talk{ display:none!important; }
#ca-nstab-main{ display:none!important; }
#contentSub{ display:none!important; }
div#footer{ display:none!important; }
body.page-Main_Page h1.firstHeading { display:none; }
#p-tb { display: none!important; }
</css>
<div style="float:left!important;"><imagemap>
Image:Ceresfp-v3.png|500px
circle 293 553 247 [[GeneralDescription|GeneralDescription]]
circle 541 990 125 [[Personnel|People]]
rect 706 946 914 1012 [[Personnel|People]]
rect 721 1023 956 1067 [[Personnel|Personnel]]
rect 720 1072 947 1112 [[Alumni|Alumni]]
circle 747 734 125 [[Partners|Partners]]
rect 903 660 1115 729 [[Partners|Partners]]
rect 921 738 1152 784 [[Industrial Partners|Industrial Partners]]
rect 919 787 1158 836 [[Academic|Academic]]
circle 738 376 124 [[Education|Education]]
rect 892 266 1106 339 [[Education|Education]]
rect 899 347 1113 391 [[Courses|Courses]]
rect 901 396 1199 441 [[Subject areas|Subject areas]]
rect 901 445 1253 492 [[Student Projects|Student Projects]]
circle 545 120 133 [[Research|Research]]
rect 678 24 893 97 [[Research|Research]]
rect 699 102 878 148 [[Research Areas|Research Areas]]
rect 698 154 901 199 [[Research Projects|Research Projects]]
rect 697 203 976 251 [[Publications|Publications]]
desc none
</imagemap></div>
{{NewsBox}}
<div style="float:left!important;"><imagemap>
Image:KK_ENG_RGB.gif|314px|alt=KK Foundation
default [[Centre for Applied Intelligent Systems Research - CAISR|CAISR]]
desc none</imagemap></div><div style="clear:both;"> </div>
<div class="hidden_not_loggedin">
{{Message|icon=[[Image:Info.png|20px]]|text='''Logged in user.''' [http://ceres.hh.se/mediawiki/index.php?title=Main_Page&action=edit edit] [http://ceres.hh.se/mediawiki/index.php/Talk:Main_Page comment] [http://ceres.hh.se/mediawiki/index.php?title=Main_Page&action=purge refresh]<br/>'''Create:''' [[Form:NewsForm|News]], [[Form:CreatePerson|Staff]]<br/>'''[[Internal]]''' pages. [[Special:SpecialPages|SpecialPages]]<br/>CERES}}
</div><nowiki/>

Student projects

2019-09-10T09:36:55Z

Slawek:

== Information about MSc Thesis process ==

[https://hh.se/student-web/content-a-z/thesis-information-for-students-at-school-of-information-technology.html#h-Subjectselection MSc thesis project information]<br>

[http://r2s.hh.se/public/2017.01.17-MSc-project.pdf MSc thesis lecture]

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2019]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2019]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2019-09-09T20:25:16Z

Slawek:

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2019]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
To create a new project:
* First, type in a project name in the field below and then press the button to the right of the field
{{#forminput:form=StudentProjectForm|button text=Create New Project|Enter name here before pressing create!}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 January 2019]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2017-09-27T10:08:32Z

Slawek:

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2017]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
{{#forminput:form=StudentProjectForm|button text=Create New Project|Name of the new project}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 September 2014]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2017-09-27T10:08:19Z

Slawek:

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 January 2016]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
{{#forminput:form=StudentProjectForm|button text=Create New Project|Name of the new project}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 September 2014]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Student projects

2017-09-27T10:06:50Z

Slawek:

Student projects

2017-09-27T10:06:24Z

Slawek:

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 September 2017]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
{{#forminput:form=StudentProjectForm|button text=Create New Project|Name of the new project}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 September 2014]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Template:StudentProjectTemplate

2015-10-12T19:27:50Z

Slawek:

<noinclude>
This is the "StudentProjectTemplate" template.
</noinclude><includeonly>{| class="wikitable"
! Title
| [[Title::{{PAGENAME}}]]
|-
! Summary
| [[OneLineSummary::{{{Summary|}}}]]
|-
! Keywords
| [[Keywords::{{{Keywords|}}}]]
|-
! TimeFrame
| [[TimeFrame::{{{TimeFrame|}}}]]
|-
! References
| [[References::{{{References|}}}]]
|-
! Prerequisites
| [[Prerequisites::{{{Prerequisites|}}}]]
|-
! Author
| {{#arraymap:{{{Author|}}}|,|x|[[ThesisAuthor::x]]}}
|-
! Supervisor
| {{#arraymap:{{{Supervisor|}}}|,|x|[[Supervisors::x]]}}
|-
! Level
| [[Level::{{{Level|}}}]]
|-
! Status
| [[StudentProjectStatus::{{{Status|}}}]]
|}

[[Category:StudentProject]]
[https://r2s.hh.se/basic/msc_pdf_gen.py?{{SITENAME}}_{{PAGENAMEE}} Generate PDF template]
</includeonly>

Form:StudentProjectForm

2015-10-12T19:03:02Z

Slawek:

<noinclude>
This is the "StudentProjectForm" form.
To create a page with this form, enter the page name below;
if a page with that name already exists, you will be sent to a form to edit that page.

{{#forminput:form=StudentProjectForm}}

</noinclude><includeonly>
<div id="wikiPreview" style="display: none; padding-bottom: 25px; margin-bottom: 25px; border-bottom: 1px solid #AAAAAA;"></div>
{{{for template|StudentProjectTemplate|label=}}}
{| class="formtable"
! Summary:
| {{{field|Summary|input type=text|mandatory}}} ''(provide a '''one-line''' summary of the project)''
|-
! Programme:
| {{{field|Programme|input type=text}}} ''(Name and the number of credits)''
|-
! Keywords:
| {{{field|Keywords|input type=text}}} ''(Give 4-5 keywords)''
|-
|-
! TimeFrame:
| {{{field|TimeFrame|input type=text}}} ''(Indicate start and duration of project)''
|-
! References:
| {{{field|References|input type=textarea|rows=3|autogrow}}} ''(Give 2-3 references for students to start with)''
|-
! Prerequisites:
| {{{field|Prerequisites|input type=textarea|rows=2|autogrow}}} ''(Courses, any other important information)''
|-
! Supervisor(s):
| {{{field|Supervisor|input type=text with autocomplete|mandatory|values from category=Staff}}} ''(can be multiple names, coma-separated)''
|-
! Examiner:
| {{{field|Examiner|input type=text with autocomplete|values from category=Staff}}} ''(Name of project Examiner)''
|-
! Author(s):
| {{{field|Author|input type=text}}} ''(can be multiple names, coma-separated)''
|-
! Level:
| {{{field|Level|input type=combobox|values=Master,Bachelor,Flexible}}}
|-
! Status:
| {{{field|Status|input type=combobox|values=Open,Draft,Internal Draft,Ongoing,Finished}}}
|}
{{{end template}}}

Project description (free text)

''Give a concise project description. Include:''
* ''Research question''
* ''Whether it’s more software or hardware related''
* ''A very brief description of 3-4 work packages''
* ''Deliverables/outcomes/results''

{{{standard input|free text|rows=10}}}

{{{standard input|summary}}}

{{{standard input|minor edit}}} {{{standard input|watch}}}

{{{standard input|save}}} {{{standard input|preview}}} {{{standard input|changes}}} {{{standard input|cancel}}}
</includeonly>

Mixed-Reality Robot Platform

2015-10-12T19:00:53Z

Slawek:

{{StudentProjectTemplate
|Title=A Mixed-Reality Platform for Robotics and Intelligent Vehicles
|Summary=Build foundations for our mixed-reality platform by integrating and demonstrating an extensible system with one or more robots, a simulator, some offboard sensors, and simple teleoperation.
|Author=Norbert Gruenwald
|Supervisor=Roland Philippsen
|Level=Master
|Status=Internal Draft
}}
=== Project Description ===

Robotics research can be costly, challenging, and dangerous. [http://en.wikipedia.org/wiki/Mixed_reality Mixed reality] is a promising avenue for alleviating some of these difficulties, for instance by making prototyping faster and cheaper (albeit less realistic) and by boosting the development and debugging process thanks to visualization and new opportunities for automated testing [[[#collett-2010|1]]].

Specifically, in the context of active safety systems for intelligent vehicles, there are several ways in which mixed reality can be beneficial:
*injecting virtual pedestrians, bad drivers, and other traffic hazards into the sensor stream of a physical test vehicle, such that no one comes to harm during development and testing
*using miniature robots as physical model for real vehicles, and using an immersive teleoperation setup complete with prototypes of active safety systems to develop and test their functionality

This project serves as a starting point for building up broader competences in mixed-reality technologies at the Halmstad Intelligent Systems Lab. There is a significant body of prior work to be studied before making informed choices about the components required to build a mixed-reality platform that serves the need of current and future research projects. Most of the required components will likely come from existing open-source projects or commercial products. At the end of this project, we expect to have a rudimentary but robust and extensible system, including a mobile robot simulator, an simple yet effective teleoperation station, and extensive documentation that will allow us to build on these foundations.

==== References ====
*<div id="collett-2010"></div>[1] T. H.J. Collett, B.A. MacDonald. [http://joser.unibg.it/index.php?journal=joser&page=issue&op=view&path%5B%5D=1 An Augmented Reality Debugging System for Mobile Robot Software Engineers]. Journal of Software Engineering for Robotics, Vol 1, No 1 (2010).
*<div id="webots"></div>[2] [http://www.cyberbotics.com/overview Webots] robot simulator

Template:StudentProjectTemplate

2015-10-12T18:58:31Z

Slawek:

Student projects

2015-10-12T18:56:17Z

Slawek:

== Current Proposals of Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open||Draft]] [[Modification date::>1 September 2014]]
| ?Supervisors
| ?OneLineSummary
| ?StudentProjectStatus=Status
}}

<div class="hidden_not_loggedin">
{{#forminput:form=StudentProjectForm|button text=Create New Project|Name of the new project}}
</div>

Information about writing a thesis can be found at http://hh.se/english/schoolofinformationtechnology/education/studentinformation/thesisinformation.2136_en.html

== Older Proposals of Msc and Bsc Project ==

Those project proposals may still be valid, but contact supervisors before assuming so.

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Open]] [[Modification date::≤1 September 2014]]
| ?Supervisors
| ?OneLineSummary
}}

== Ongoing Projects ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Ongoing]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

== Completed Msc and Bsc Project ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Finished]]
| ?ThesisAuthor
| ?OneLineSummary
| ?Supervisors
}}

<div class="hidden_not_loggedin">
== Internal Drafts ==

{{#ask: [[Category:StudentProject]] [[StudentProjectStatus::Internal Draft]]
| ?OneLineSummary
| ?ThesisAuthor
| ?Supervisors
}}
</div>

Nikita Lyamin

2014-09-09T10:03:07Z

Slawek:

{{Person
|Family Name=Lyamin
|Given Name=Nikita
|Phone=035167929
|Position=PhD Student
|Email=nikita.lyamin@hh.se
|Image=Lyamin.jpeg
|Office=E223B
|Affiliation=Halmstad University
}}
{{AssignProjects
|project=ACDC
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}
{{PublicationsList}}

Le-Nam Hoang

2014-09-09T10:01:02Z

Slawek:

{{Person
|Family Name=Hoang
|Given Name=Le-Nam
|Title=M.Sc.
|Phone=tel:+46-35-16-71-20
|Position=PhD Student
|Email=le-nam.hoang@hh.se
|Image=Head-unknown.jpg
|Street Address=Kristian IV:s väg 3
|Country=Sweden
|Office=F 315
|Affiliation=Halmstad University
}}
{{AssignProjects
|project=ACDC
}}
{{AssignProjects
|project=ELLIIT
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

ShihYang Lin

2014-09-09T10:00:38Z

Slawek:

{{Person
|Family Name=ShihYang
|Given Name=Lin
|Title=Ph.D.
|Phone=+46-35167376
|Position=Postdoctoral Researcher
|Email=shih.yang_lin@hh.se
|Image=Head-unknown.jpg
|Office=E223A
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

Maytheewat Aramrattana

2014-09-09T09:59:58Z

Slawek:

{{Person
|Family Name=Aramrattana
|Given Name=Maytheewat
|Title=M.Sc.
|Cell Phone=+46709430489
|Position=Industrial PhD Student
|Email=maytheewat.aramrattana@hh.se
|Image=Head-unknown.jpg
|Office=F314
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

Publications:A lightweight method for detecting sleep-related activities based on load sensing

2014-09-09T05:14:42Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Nicholas Wickström |PID=737569 |Name=Ourique de ..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Nicholas Wickström
|PID=737569
|Name=Ourique de Morais, Wagner [wagdem] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Inbyggda system (CERES) [3939]);Wickström, Nicholas [nicholas] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], CAISR Centrum för tillämpade intelligenta system (IS-lab) [13650])
|Title=A lightweight method for detecting sleep-related activities based on load sensing
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=IEEE 3rd International Conference on Serious Games and Applications for Health (SeGAH 2014), Rio de Janeiro, Brazil, May 14-16, 2014
|StartPage=
|EndPage=
|Year=2014
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-26239
|LocalId=
|ArchiveNumber=
|Keywords=Healthcare technology;home monitoring;sensor-based monitoring systems;load sensing;sleep assessment;state machines;bed-exit alarms
|Categories=Elektroteknik och elektronik (202)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Current practices in healthcare rely on expensive and labor-intensive procedures that are not adequate for future healthcare demands. Therefore, alternatives are required to complement or enhance healthcare services, both at clinical and home settings. Hospital and ordinary beds can be equipped with load cells to enable load sensing applications, such as for weight and sleep assessment. Beds with such functionalities represent a tangible alternative to expensive and obtrusive routines for sleep assessment, such as polysomnography. A finite-state machine is proposed as a lightweight on-line method to detect sleep-related activities, such as bed entrances and exits, awakenings, wakefulness, and sleep atonia. The proposed approach is evaluated with a dataset collected in real homes of older people receiving night-time home care services.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-08-13
|PublicationDate=2014-08-13
|LastUpdated=2014-08-19
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:737569}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Ambient Intelligence and Robotics: complementing one another to support Ambient Assisted Living

2014-09-09T05:14:41Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Matthias Mayr, Nicholas Wickström, Roland Philip..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Matthias Mayr, Nicholas Wickström, Roland Philippsen
|PID=737576
|Name=Ourique de Morais, Wagner [wagdem] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Inbyggda system (CERES) [3939]);Mayr, Matthias (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905]);Wickström, Nicholas (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], CAISR Centrum för tillämpade intelligenta system (IS-lab) [13650]);Philippsen, Roland
|Title=Ambient Intelligence and Robotics: complementing one another to support Ambient Assisted Living
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Workshop Proceedings of IAS-13, 13th International Conference Intelligent Autonomous Systems : 1st International Workshop on Intelligent Robot Assistants
|Conference=13th International Conference Intelligent Autonomous Systems
|StartPage=
|EndPage=
|Year=2014
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-26240
|LocalId=
|ArchiveNumber=
|Keywords=ambient intelligence;robotics;ambient assisted living
|Categories=Elektroteknik och elektronik (202)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>This work combines a database-centric architecture, which supports Ambient Intelligence (AmI) for Ambient Assisted Living, with a ROS-based mobile sensing and interaction robot. The role of the active database is to monitor and respond to events in the environment and the robot subscribes to tasks issued by the AmI system. The robot can autonomously perform tasks such as to search for and interact with a person. Consequently, the two systems combine their capabilities and complement the lack of computational, sensing and actuation resources.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-08-13
|PublicationDate=2014-08-13
|LastUpdated=2014-08-13
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:737576}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Active In-Database Processing to Support Ambient Assisted Living Systems

2014-09-09T05:14:40Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Jens Lundström, Nicholas Wickström |PID=737561 ..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Jens Lundström, Nicholas Wickström
|PID=737561
|Name=Ourique de Morais, Wagner [wagdem] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Inbyggda system (CERES) [3939]);Lundström, Jens [jenlun] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], CAISR Centrum för tillämpade intelligenta system (IS-lab) [13650]);Wickström, Nicholas [nicholas] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], CAISR Centrum för tillämpade intelligenta system (IS-lab) [13650])
|Title=Active In-Database Processing to Support Ambient Assisted Living Systems
|PublicationType=Journal Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=Sensors
|JournalISSN=1424-8220
|Status=published
|Volume=14
|Issue=8
|HostPublication=
|Conference=
|StartPage=14765
|EndPage=14785
|Year=2014
|Edition=
|Pages=
|City=Basel
|Publisher=Multidisciplinary Digital Publishing Institute AG
|Series=
|SeriesISSN=
|ISBN=
|Urls=http://www.mdpi.com/1424-8220/14/8/14765
|ISRN=
|DOI=http://dx.doi.org/10.3390/s140814765
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-26238
|LocalId=
|ArchiveNumber=
|Keywords=healthcare technology;smart homes;ambient assisted living;database management systems;active databases;in-database processing;data mining
|Categories=Elektroteknik och elektronik (202)
|ResearchSubjects=
|Projects=
|Notes=<p>This article belongs to the Special Issue Select Papers from UCAmI & IWAAL 2013 - the 7th International Conference on Ubiquitous Computing and Ambient Intelligence & the 5th International Workshop on Ambient Assisted Living (UCAmI & IWAAL 2013: Pervasive Sensing Solutions</p>
|Abstract=<p>As an alternative to the existing software architectures that underpin the development of smart homes and ambient assisted living (AAL) systems, this work presents a database-centric architecture that takes advantage of active databases and in-database processing. Current platforms supporting AAL systems use database management systems (DBMSs) exclusively for data storage. Active databases employ database triggers to detect and react to events taking place inside or outside of the database. DBMSs can be extended with stored procedures and functions that enable in-database processing. This means that the data processing is integrated and performed within the DBMS. The feasibility and flexibility of the proposed approach were demonstrated with the implementation of three distinct AAL services. The active database was used to detect bed-exits and to discover common room transitions and deviations during the night. In-database machine learning methods were used to model early night behaviors. Consequently, active in-database processing avoids transferring sensitive data outside the database, and this improves performance, security and privacy. Furthermore, centralizing the computation into the DBMS facilitates code reuse, adaptation and maintenance. These are important system properties that take into account the evolving heterogeneity of users, their needs and the devices that are characteristic of smart homes and AAL systems. Therefore, DBMSs can provide capabilities to address requirements for scalability, security, privacy, dependability and personalization in applications of smart environments in healthcare.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-08-13
|PublicationDate=2014-08-13
|LastUpdated=2014-08-14
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:737561}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:A Communication Library for Mapping Dataflow Applications on Manycore Architectures

2014-09-09T05:14:33Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mingkun Yang, Suleyman Savas, Zain Ul-Abdin, Tomas Nordström |PID=667736 |..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Mingkun Yang, Suleyman Savas, Zain Ul-Abdin, Tomas Nordström
|PID=667736
|Name=Yang, Mingkun [minyan] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Savas, Suleyman [slesav] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Ul-Abdin, Zain [zaiabd] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Nordstrom, Tomas [tomnor] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938])
|Title=A Communication Library for Mapping Dataflow Applications on Manycore Architectures
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings of the 6th Swedish Multicore Computing Workshop
|Conference=6th Swedish Multicore Computing Workshop, MCC-2013, November 25-26 2013, Halmstad University, Halmstad, Sweden
|StartPage=65
|EndPage=68
|Year=2013
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-24019
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Inbäddad systemteknik (20207)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Dataflow programming is a promising paradigm for high performance embedded parallel computing. When mapping a dataflow program onto a manycore architecture a key component is the library to express the communication between the actors. In this paper we present a dataflow communication library supporting the CAL actor language. A first implementation of the communication library is created for Adapteva’s manycore architecture Epiphany that contains an onchip 2-D mesh network. Three different buffering methods, with and without direct memory access (DMA) transfer, have been implemented and evaluated. We have also made a preliminary study on the effect of mapping strategies of the actors onto the cores. The assessment of the library is based on a CAL implementation of a two dimensional inverse discrete cosine transform (2D-IDCT) and our own CAL-to-C compilation framework. As expected the results show that the most efficient actor to-core mapping strategy is to keep the communication to the nearest neighbor communication pattern as much as possible. Thus, the best way to place a pipelined sequence of computations like our 2D-IDCT is to place the actors into cores in a serpentine fashion. For this application we found that the simple receiver side buffer outperforms the more complicated buffering strategies that used DMA transfer.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-11-27
|PublicationDate=2013-11-27
|LastUpdated=2014-08-18
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:667736}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:An Evaluation of Code Generation of Dataflow Languages on Manycore Architectures

2014-09-09T05:14:27Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Süleyman Savas, Essayas Gebrewahid, Zain Ul-Abdin, Tomas Nordström, Mingk..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Süleyman Savas, Essayas Gebrewahid, Zain Ul-Abdin, Tomas Nordström, Mingkun Yang
|PID=725348
|Name=Savas, Süleyman [slesav] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Gebrewahid, Essayas [essgeb] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Ul-Abdin, Zain [zaiabd] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Nordström, Tomas [tomnor] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Yang, Mingkun [minyan09] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702])
|Title=An Evaluation of Code Generation of Dataflow Languages on Manycore Architectures
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
|StartPage=
|EndPage=
|Year=2014
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-25649
|LocalId=
|ArchiveNumber=
|Keywords=Manycore;Dataflow Languages;code generation;Actor Machine;2D-IDCT;Epiphany;evaluation
|Categories=Inbäddad systemteknik (20207)
|ResearchSubjects=
|Projects=HiPEC project
|Notes=
|Abstract=<p>Today computer architectures are shifting from single core to manycores due to several reasons such as performance demands, power and heat limitations. However, shifting to manycores results in additional complexities, especially with regard to efficient development of applications. Hence there is a need to raise the abstraction level of development techniques for the manycores while exposing the inherent parallelism in the applications. One promising class of programming languages is dataflow languages and in this paper we evaluate and optimize the code generation for one such language, CAL. We have also developed a communication library to support the inter-core communication.The code generation can target multiple architectures, but the results presented in this paper is focused on Adapteva's many core architecture Epiphany.We use the two-dimensional inverse discrete cosine transform (2D-IDCT) as our benchmark and compare our code generation from CAL with a hand-written implementation developed in C. Several optimizations in the code generation as well as in the communication library are described, and we have observed that the most critical optimization is reducing the number of external memory accesses. Combining all optimizations we have been able to reduce the difference in execution time between auto-generated and hand-written implementations from a factor of 4.3x down to a factor of only 1.3x.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-06-16
|PublicationDate=2014-06-16
|LastUpdated=2014-08-18
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:725348}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)

2014-09-09T05:13:52Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Antonio Ravara |PID=715682 |Name=Mousavi, Mohammad R..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Antonio Ravara
|PID=715682
|Name=Mousavi, Mohammad Reza [mohmou] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Ravara, Antonio (Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon, Portugal) (Computer Science)
|Title=Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)
|PublicationType=Book
|ContentType=Övrigt vetenskapligt
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=
|StartPage=
|EndPage=
|Year=2014
|Edition=
|Pages=68
|City=Amsterdam, Netherlands
|Publisher=Elsevier
|Series=Science of Computer Programming ; Vol. 89, Part A
|SeriesISSN=0167-6423
|ISBN=
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1016/j.scico.2013.11.039
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-25283
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datavetenskap (datalogi) (10201)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-05-06
|PublicationDate=2014-05-06
|LastUpdated=2014-09-09
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:715682}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:An emotional learning-inspired ensemble classifier (ELiEC)

2014-09-09T05:13:37Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mahboobeh Parsapoor, Urban Bilstrup |PID=720689 |Name=Parsapoor, Mahboobeh ..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Mahboobeh Parsapoor, Urban Bilstrup
|PID=720689
|Name=Parsapoor, Mahboobeh [mahpar] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Bilstrup, Urban [urban] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702])
|Title=An emotional learning-inspired ensemble classifier (ELiEC)
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS)
|Conference=2013 Federated Conference on Computer Science and Information Systems (FedCSIS), 8-11 September 2013, Krakow, Poland
|StartPage=137
|EndPage=141
|Year=2013
|Edition=
|Pages=
|City=Los Alamitos, CA
|Publisher=IEEE Computer Society
|Series=
|SeriesISSN=
|ISBN=9781467344715
|Urls=http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6643988&contentType=Conference+Publications
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-25466
|LocalId=
|ArchiveNumber=
|Keywords=brain;learning (artificial intelligence);pattern classification;ELiEC;brain emotional processing;emotional learning-inspired ensemble classifier;weighted k-nearest neighbor classifier;Accuracy;Benchmark testing;Brain models;Data models;Iris;Training data
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>In this paper, we suggest an inspired architecture by brain emotional processing for classification applications. The architecture is a type of ensemble classifier and is referred to as `emotional learning-inspired ensemble classifier' (ELiEC). In this paper, we suggest the weighted k-nearest neighbor classifier as the basic classifier of ELiEC. We evaluate the ELiEC's performance by classifying some benchmark datasets.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-06-02
|PublicationDate=2014-06-02
|LastUpdated=2014-08-25
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:720689}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks

2014-09-09T05:13:36Z

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Mahboobeh Parsapoor, Urban Bilstrup
|PID=722381
|Name=Parsapoor, Mahboobeh [mahpar] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Bilstrup, Urban [urban] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702])
|Title=An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks
|PublicationType=Conference Paper
|ContentType=Övrigt vetenskapligt
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings : 2014 IEEE 28th International Conference on Advanced Information Networking and Applications: IEEE AINA 2014: 13-16 May 2014: University of Victoria, Victoria, Canada
|Conference=28th IEEE International Conference on Advanced Information Networking and Applications, IEEE AINA 2014, Victoria, BC, Canada, 13-16 May 2014
|StartPage=41
|EndPage=48
|Year=2014
|Edition=
|Pages=
|City=Los Alamitos, CA
|Publisher=IEEE Computer Society
|Series=Proceedings: International Conference on Advanced Information Networking and Applications
|SeriesISSN=1550-445X
|ISBN=978-1-4799-3629-8
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/AINA.2014.12
|ISI=
|PMID=
|ScopusId=2-s2.0-84903839955
|NBN=urn:nbn:se:hh:diva-25529
|LocalId=
|ArchiveNumber=
|Keywords=Ad Hoc Network;Cluster Formation;Imperialist Competitive Algorithm
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=
|Notes=<p>Article number 6838646; Category numberE3629; Code 106129</p>
|Abstract=<p>This paper presents the results of applying a new clustering algorithm in ad hoc networks. This algorithm is a centralized method and is designed on the basis of an imperialist competitive algorithm (ICA). This algorithm aims to find a minimum number of cluster-heads while satisfying two constraints, the connectivity and interference. This work is a part of an ongoing research to develop a distributed interference aware cluster-based channel allocation method. As a matter of fact, the results of the centralized method are required to provide an upper level for the performance of the distributed version. The suggested method is evaluated for several scenarios and compares the obtained results with the reported results of ant colony optimization-based methods. © 2014 IEEE.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-06-07
|PublicationDate=2014-06-07
|LastUpdated=2014-08-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:722381}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data

2014-09-09T05:12:19Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Anita Sant'Anna, Nicholas Wickström, Roland Zügner, Roy Tranberg |PID=516..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Anita Sant'Anna, Nicholas Wickström, Roland Zügner, Roy Tranberg
|PID=516201
|Name=Sant'Anna, Anita [anisan] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Laboratoriet för intelligenta system [6703]);Wickström, Nicholas [nicholas] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Laboratoriet för intelligenta system [6703]);Zügner, Roland (Department of Orthopedics, Sahlgrenska Academy, University of Gothenburg, Gothenburg, Sweden);Tranberg, Roy (Department of Orthopedics, Sahlgrenska Academy, University of Gothenburg, Gothenburg, Sweden)
|Title=A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=BIOSIGNALS 2012 - Proceedings of the International Conference on Bio-Inspired Systems and Signal Processing
|Conference=International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1-4 February, 2012
|StartPage=180
|EndPage=188
|Year=2012
|Edition=
|Pages=
|City=[S. l.]
|Publisher=SciTePress
|Series=
|SeriesISSN=
|ISBN=978-989842589-8
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=2-s2.0-84861964337
|NBN=urn:nbn:se:hh:diva-17517
|LocalId=
|ArchiveNumber=
|Keywords=gait analysis;symmetry;normality;motion capture;inertial sensors
|Categories=Annan medicinteknik (20699)
|ResearchSubjects=
|Projects=AccelGait
|Notes=
|Abstract=<p>Gait analysis (GA) is an important tool in the assessment of several physical and cognitive conditions. The lack of simple and economically viable quantitative GA systems has hindered the routine clinical use of GA in many areas. As a result, patients may be receiving sub-optimal treatment. The present study introduces and evaluates measures of gait symmetry and gait normality calculated from inertial sensor data. These indices support the creation of mobile, cheap and easy to use quantitative GA systems. The proposed method was compared to measures of symmetry and normality derived from 3D kinematic data. Results show that the proposed method is well correlated to the kinematic analysis in both symmetry (r=0.84, p<0.0001) and normality (r=0.81, p<0.0001). In addition, the proposed indices can be used to classify normal from abnormal gait.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2012-04-17
|PublicationDate=2012-04-18
|LastUpdated=2014-09-05
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:516201}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting

2014-09-09T05:12:17Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Anita Sant'Anna, Nicholas Wickström, Helene Eklund, Roy Tranberg |PID=5162..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Anita Sant'Anna, Nicholas Wickström, Helene Eklund, Roy Tranberg
|PID=516207
|Name=Sant'Anna, Anita [anisan] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Laboratoriet för intelligenta system [6703]);Wickström, Nicholas [nicholas] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Laboratoriet för intelligenta system [6703]);Eklund, Helene (Center for Person-Centered Care, Sahlgrenska Academy, University of Gothenburg, Gothenburg, Sweden);Tranberg, Roy (Department of Orthopedics, Sahlgrenska Academy, University of Gothenburg, Gothenburg, Sweden)
|Title=A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=BIOSIGNALS 2012 - Proceedings of the International Conference on Bio-Inspired Systems and Signal Processing
|Conference=International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1-4 February, 2012
|StartPage=5
|EndPage=14
|Year=2012
|Edition=
|Pages=
|City=[S. l.]
|Publisher=SciTePress
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=2-s2.0-84861976917
|NBN=urn:nbn:se:hh:diva-17518
|LocalId=
|ArchiveNumber=
|Keywords=gait analysis;inertial sensors;normality;symmetry
|Categories=Annan medicinteknik (20699)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>The gold standard for gait analysis, in-lab 3D motion capture, is not routinely used for clinical assessment due to limitations in availability, cost and required training. Inexpensive alternatives to quantitative gait analysis are needed to increase the its adoption. Inertial sensors such as accelerometers and gyroscopes are promising tools for the development of wearable gait analysis (WGA) systems. The present study evaluates the use of a WGA system on hip-arthroplasty patients in a real clinical setting. The system provides information about gait symmetry and normality. Results show that the normality measurements are well correlated with various quantitative and qualitative measures of recovery and health status.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2012-04-17
|PublicationDate=2012-04-18
|LastUpdated=2014-09-05
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:516207}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:DSLs Should be Online Applications

2014-09-09T05:11:31Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Dominykas Barisas, Adam Duracz, Walid Taha |PID=712011 |Name=Barisas, Domin..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Dominykas Barisas, Adam Duracz, Walid Taha
|PID=712011
|Name=Barisas, Dominykas (Kaunas University of Technology, Kaunas, Lithuania) (Software Engineering Department);Duracz, Adam [adadur] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]) (Effective Modeling Group);Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]) (Rice University, Houston, TX, USA) (Effective Modeling Group)
|Title=DSLs Should be Online Applications
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Joint International Conference on Engineering Education & International Conference on Information Technology : ICEE/ICIT-2014: June 2 - 6, 2014: Riga, Latvia: Conference proceedings
|Conference=2014 Joint International Conference on Engineering Education & International Conference on Information Technology, 2-6 June 2014, Riga, Latvia
|StartPage=314
|EndPage=319
|Year=2014
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=http://ineer2014.rtu.lv/sites/default/files/Paper_141.pdf
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-25038
|LocalId=
|ArchiveNumber=
|Keywords=Agile methods;Domain-Specific Languages (DSLs);Cyber-Physical Systems (CPS);Web-based Applications;Staging;Education
|Categories=Datavetenskap (datalogi) (10201)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Domain-Specific Languages (DSLs) play an important role in both practice and education. But developing them is challenging, because a DSL must ultimately satisfy a large and complex set of user/customer requirements to fulfil its intended role, and neither requirements nor users are fully available at all times during the development process. Requirements can be elicited using agile methods but such methods assume the availability of the users. The situation is further complicated when the user base is primarily students and when enhanced learning is a key requirement. In this paper we propose developing DSLs, especially educational ones, as online applications. We analyze how this can help requirement elicitation and learning. Being online brings language development closer to the user, yielding new opportunities to improve and accelerate the language design process. It is also well-matched to agile methods, since web- based analytics provide an abundant source of data that integrates naturally into the development process. As an example, we consider applying the method to Acumen, a DSL designed to support teaching Cyber-Physical Systems.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-04-12
|PublicationDate=2014-04-12
|LastUpdated=2014-08-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:712011}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:High-level programming of coarse-grained reconfigurable architectures

2014-06-26T03:45:20Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zain Ul-Abdin |PID=235543 |Name=Zain-ul-Abdin, [zaiabd] (Högskolan i Halm..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Zain Ul-Abdin
|PID=235543
|Name=Zain-ul-Abdin, [zaiabd] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Inbyggda system (CERES) [3939])
|Title=High-level programming of coarse-grained reconfigurable architectures
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=19<sup>th</sup> International Conference on Field Programmable Logic and Applications : (FPL), proceedings, Prague, Czech Republic, August 31-September 2, 2009
|Conference=19th International Conference on Field Programmable Logic and Applications, Prague, Czech Republic, August 31-September 2, 2009
|StartPage=713
|EndPage=714
|Year=2009
|Edition=
|Pages=
|City=Piscataway, N.J.
|Publisher=IEEE
|Series=International Conference on Field Programmable Logic and Applications ; 2009
|SeriesISSN=1946-1488
|ISBN=978-1-4244-3892-1
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/FPL.2009.5272337
|ISI=000277506300130
|PMID=
|ScopusId=2-s2.0-70449889832
|NBN=urn:nbn:se:hh:diva-87
|LocalId=
|ArchiveNumber=
|Keywords=Coarse-Grained Reconfigurable Architectures
|Categories=Datorteknik (10206)
|ResearchSubjects=
|Projects=Embedded Parallel Computing
|Notes=©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
|Abstract=<p>We propose that, in order to meet high computational demands, the application development has to be based on suitable models of computations that will lead to scalable and reusable implementations. The models should enhance the understanding of the application and at the same time enable the developer to organize the computations so that they can be efficiently mapped to the target reconfigurable architecture. The goal of the thesis is to propose methods to program future coarse-grained reconfigurable architecttures in a productive manner in such a way as to achieve energy efficient mapping with improved performance.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2009-09-16
|PublicationDate=2009-09-18
|LastUpdated=2011-04-28
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:235543}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Programming of Coarse-Grained Reconfigurable Architectures

2014-06-26T03:45:19Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zain Ul-Abdin |PID=415735 |Name=Zain-ul-Abdin, [zaiabd] (Högskolan i Halm..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Zain Ul-Abdin
|PID=415735
|Name=Zain-ul-Abdin, [zaiabd] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702])
|Title=Programming of Coarse-Grained Reconfigurable Architectures
|PublicationType=PhD Thesis
|ContentType=Övrigt vetenskapligt
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=
|StartPage=
|EndPage=
|Year=2011
|Edition=
|Pages=
|City=Örebro
|Publisher=Örebro universitet
|Series=Örebro Studies in Technology ; 48
|SeriesISSN=1650-8580
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-15050
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datavetenskap (datalogi) (10201)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Coarse-grained reconfigurable architectures, which offer massive parallelism coupled with the capability of undergoing run-time reconfiguration, are gaining attention in order to meet not only the increased computational demands of high-performance embedded systems, but also to fulfill the need of adaptability to functional requirements of the application. This thesis focuses on the programming aspects of such coarse-grained reconfigurable computing devices, including the relevant computation models that are capable of exposing different kinds of parallelism inherent in the application and the ability of these models to capture the adaptability requirements of the application. The thesis suggests the occam-pi language for programming of a broad class of coarse-grained reconfigurable architectures as an intermediate language; we call it intermediate, since we believe that the applicationprogramming is best done in a high-level domain-specific language. The salient properties of the occam-pi language are explicit concurrency with built-in mechanisms for interprocessorcommunication, provision for expressing dynamic parallelism, support for the expression of dynamic reconfigurations, and placement attributes. To evaluate the programming approach, a compiler framework was extended to support the language extensions in the occam-pi language, and backends were developed to target two different coarse-grained reconfigurable architectures. XPP and Ambric. The results on XPP reveal that the occam-pi based implementations produce comparable throughput to those of NML programs, while programming at a much higher level of abstraction than that of NML. Similarly the two occam-pi implementations of autofocus criterion calculation targeted to the Ambric platform outperform the CPU implementation by factors of 11-23. Thus, the results of the implemented case-studies suggest that the occam-pi language based approach simplifies the development of applications employing run-time reconfigurable devices without compromising the performance benefits.</p>
|Opponents=Porrmann, Mario, Dr.
|Supervisors=Svensson, Bertil, Prof. (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], ;Halmstad Embedded and Intelligent Systems Research (EIS) [3938])Gaspes, Veronica, Associate Prof. (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], ;Halmstad Embedded and Intelligent Systems Research (EIS) [3938])Stranneby, Dag, Prof.
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=Wigforssalen, Högskolan i Halmstad, Halmstad
|DefenceLanguage=eng
|DefenceDate=2011-05-26T10:15
|CreatedDate=2011-04-28
|PublicationDate=2011-05-09
|LastUpdated=2011-05-09
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:415735}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Mathematical Equations as Executable Models of Mechanical Systems

2014-06-26T03:45:18Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Ma..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O’Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya
|PID=396150
|Name=Zhu, Yun (Rice University, USA);Westbrook, Edwin (Rice University, USA);Inoue, Jun (Rice University, USA);Chapoutot, Alexandre (Rice University, USA);Salama, Cherif (Rice University, USA);Peralta, Marisa (Rice University, USA);Martin, Travis (Rice University, USA);Taha, Walid [waltah] (Rice University);O’Malley, Marcia (Rice University, USA);Cartwright, Robert (Rice University, USA);Ames, Aaron (Texas A&M, USA);Bhattacharya, Raktim (Texas A&M, USA)
|Title=Mathematical Equations as Executable Models of Mechanical Systems
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10
|Conference=1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010, Stockholm, Sweden, 13-15 April 2010
|StartPage=1
|EndPage=11
|Year=2010
|Edition=
|Pages=
|City=New York, NY
|Publisher=ACM Press
|Series=
|SeriesISSN=
|ISBN=978-145030066-7
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1145/1795194.1795196
|ISI=
|PMID=
|ScopusId=2-s2.0-77954604308
|NBN=urn:nbn:se:hh:diva-14413
|LocalId=
|ArchiveNumber=
|Keywords=Analytical model;Analytical modeling;Binding time analysis;Continuous system;Cyber-physical systems;Digital components;Domain experts;Executable codes
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and building running simulators. This gap significantly impedes the ability of scientists and engineers to develop novel cyber-physical systems. We propose bridging this gap by automating the mapping from analytical models to simulation codes. Focusing on mechanical systems as an important class of physical systems, we study the form of analytical models that arise in this domain, along with the process by which domain experts map them to executable codes. We show that the key steps needed to automate this mapping are 1) a light-weight analysis to partially direct equations, 2) a binding-time analysis, and 3) symbolic differentiation. In addition to producing a prototype modeling environment, we highlight some limitations in the state of the art in tool support of simulation, and suggest ways in which some of these limitations could be overcome. © 2010 ACM.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2011-02-08
|PublicationDate=2011-02-08
|LastUpdated=2013-01-04
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396150}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:In Pursuit of Real Answers

2014-06-26T03:45:18Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. S..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
|PID=588252
|Name=Zhu, Angela Yun (Department of Computer Science, Rice University Houston, Houston, TX, USA);Taha, Walid [waltah] (Department of Computer Science, Rice University Houston, Houston, TX, USA);Cartwright, Robert (Department of Computer Science, Rice University Houston, Houston, TX, USA);Martel, Matthieu (Laboratoire ELIAUS-DALI, Universit´e de Perpignan, Perpignan Cedex, France);Siek, Jeremy G. (Department of Electrical and Computer Engineering University of Colorado, Boulder, USA)
|Title=In Pursuit of Real Answers
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=2009 International Conference on Embedded Software and Systems : ICESS 2009 : proceedings, 25-27 May, 2009, Hangzhou, Zhejiang, P.R. China
|Conference=ICESS'09, 6th International Conference on Embedded Software and Systems, Hangzhou, China, May 25-27
|StartPage=115
|EndPage=122
|Year=2009
|Edition=
|Pages=
|City=Los Alamitos, Calif.
|Publisher=IEEE Press
|Series=
|SeriesISSN=
|ISBN=978-0-7695-3678-1;978-1-4244-4359-8
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/ICESS.2009.91
|ISI=000271940700015
|PMID=
|ScopusId=2-s2.0-70349669395
|NBN=urn:nbn:se:hh:diva-20953
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Digital computers permeate our physical world. This phenomenon creates a pressing need for tools that help us understand a priori how digital computers can affect their physical environment. In principle, simulation can be a powerful tool for animating models of the world. Today, however, there is not a single simulation environment that comes with a guarantee that the results of the simulationare determined purely by a real-valued model and not by artifacts of the digitized implementation. As such, simulation with guaranteed ﬁdelity does not yet exist. Towards addressing this problem, we offer an expository account of what is known about exact real arithmetic. We argue that this technology, which has roots that are over 200 years old, bears signiﬁcant promise as offering exactly the right technology to build simulation environments with guaranteed ﬁdelity. And while it has only been sparsely studied in this large span of time, there are reasons to believe that the time is right to accelerate research in this direction.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-02-26
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588252}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Implementing Haptic Feedback Environments from High-level Descriptions

2014-06-26T03:45:17Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia O’Ma..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia O’Malley, Dane Powell
|PID=588253
|Name=Zhu, Angela Yun (Department of Computer Science, Rice University Houston, TX 77005, USA);Inoue, Jun (Department of Computer Science, Rice University Houston, TX 77005, USA);Peralta, Marisa Linnea (Department of Computer Science, Rice University Houston, TX 77005, USA);Taha, Walid [waltah] (Department of Computer Science, Rice University Houston, TX 77005, USA);O’Malley, Marcia (Department of Mechanical Engineering and Materials Science Rice University, Houston, TX 77005, USA);Powell, Dane (Department of Mechanical Engineering and Materials Science Rice University, Houston, TX 77005, USA)
|Title=Implementing Haptic Feedback Environments from High-level Descriptions
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Embedded Software and Systems, 2009. ICESS '09. International Conference on : proceedings
|Conference=6th International Conference on Embedded Software and Systems, Hangzhou, PEOPLES R CHINA, MAY 25-27, 2009
|StartPage=482
|EndPage=489
|Year=2009
|Edition=
|Pages=
|City=Los Alamitos, Calif.
|Publisher=IEEE Computer Society
|Series=
|SeriesISSN=
|ISBN=978-1-4244-4359-8;978-0-7695-3678-1
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/ICESS.2009.90
|ISI=000271940700064
|PMID=
|ScopusId=2-s2.0-70349664445
|NBN=urn:nbn:se:hh:diva-20955
|LocalId=
|ArchiveNumber=
|Keywords=Critical component;Development environment;Haptic feedbacks;High level description;Level of abstraction;Limiting factors;Military training;New approaches;Physical equations;Underlying dynamics;Virtual environments
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Haptic feedback can be a critical component of virtual environments used in cognitive research, rehabilitation, military training, and entertainment. A limiting factor in the innovation and the acceptance of virtual environments with haptic feedback is the time and cost required tobuild them. This paper presents a development environmentcalled iAcumen that supports a new approach for programming such systems. This approach allows the developer todirectly express physical equations describing the underlying dynamics. By raising the level of abstraction for thedeveloper, we avoid many of the problems that limit the effectiveness of traditional approaches.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-02-20
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588253}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Mint : Java Multi-stage Programming Using Weak Separability

2014-06-26T03:45:17Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Wa..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
|PID=396149
|Name=Westbrook, Edwin (Rice University, USA);Ricken, Mathias (Rice University, USA);Inoue, Jun (Rice University, USA);Yao, Yilong (Rice University, USA);Abdelatif, Tamer (Rice University, USA);Taha, Walid [waltah] (Rice University, USA)
|Title=Mint : Java Multi-stage Programming Using Weak Separability
|PublicationType=Conference Paper
|ContentType=Övrigt vetenskapligt
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=PLDI '10 : proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation : June 5-10, 2010, Toronto, Ontario, Canada
|Conference=ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, 5-10 June 2010
|StartPage=400
|EndPage=411
|Year=2010
|Edition=
|Pages=
|City=New York, N.Y.
|Publisher=ACM Press
|Series=
|SeriesISSN=
|ISBN=978-145030019-3
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1145/1806596.1806642
|ISI=000281053700035
|PMID=
|ScopusId=2-s2.0-77954748930
|NBN=urn:nbn:se:hh:diva-14412
|LocalId=
|ArchiveNumber=
|Keywords=Multi-staged languages;Multi-stage programming;Type systems;Java
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=ACM International Conference on Principles of Language Design and Implementation (PLDI)
|Notes=
|Abstract=<p>Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the overhead of abstractions, allowing clean, maintainable code without paying performance penalties. Unfortunately, MSP is difficult to combine with imperative features, which are prevalent in mainstream languages. The central difficulty is scope extrusion, wherein free variables can inadvertently be moved outside the scopes of their binders. This paper proposes a new approach to combining MSP with imperative features that occupies a "sweet spot" in the design space in terms of how well useful MSP applications can be expressed and how easy it is for programmers to understand. The key insight is that escapes (or "anti-quotes") must be weakly separable from the rest of the code, i.e. the computational effects occurring inside an escape that are visible outside the escape are guaranteed to not contain code. To demonstrate the feasibility of this approach, we formalize a type system based on Lightweight Java which we prove sound, and we also provide an implementation, called Mint, to validate both the expressivity of the type system and the effect of staging on the performance of Java programs. © 2010 ACM.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2011-02-08
|PublicationDate=2011-02-08
|LastUpdated=2013-01-04
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396149}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Event-Driven FRP

2014-06-26T03:45:16Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak |PID=588284 |Name=Wan, Zhanyong (Depar..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak
|PID=588284
|Name=Wan, Zhanyong (Department of Computer Science, Yale University, New Haven, CT, USA);Taha, Walid [waltah] (Department of Computer Science, Yale University, New Haven, CT, USA);Hudak, Paul (Department of Computer Science, Yale University, New Haven, CT, USA)
|Title=Event-Driven FRP
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=PADL'02. International Symposium on Practical Aspects of Declarative Languages
|StartPage=
|EndPage=
|Year=2002
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20983
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Functional Reactive Programming (FRP) is a high-level declar-ative language for programming reactive systems. Previous work on FRPhas demonstrated its utility in a wide range of application domains, in-cluding animation, graphical user interfaces, and robotics. FRP has anelegant continuous-time denotational semantics. However, it guaranteesno bounds on execution time or space, thus making it unsuitable for manyembedded real-time applications. To alleviate this problem, we recentlydeveloped Real-Time FRP (RT-FRP), whose operational semantics per-mits us to formally guarantee bounds on both execution time and space.In this paper we present a formally veriable compilation strategy froma new language based on RT-FRP into imperative code. The new lan-guage, called Event-Driven FRP (E-FRP), is more tuned to the paradigmof having multiple external events. While it is smaller than RT-FRP, itfeatures a key construct that allows us to compile the language into e-cient code. We have used this language and its compiler to generate codefor a small robot controller that runs on a PIC16C66 micro-controller.Because the formal specication of compilation was crafted more for clar-ity and for technical convenience, we describe an implementation thatproduces more ecient code.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-09-18
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588284}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Real-Time FRP

2014-06-26T03:45:16Z

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak
|PID=588286
|Name=Wan, Zhanyong (Yale University Department of Computer Science New Haven, CT 06520, USA);Taha, Walid [waltah] (Yale University Department of Computer Science New Haven, CT 06520, USA);Hudak, Paul (Yale University Department of Computer Science New Haven, CT 06520, USA)
|Title=Real-Time FRP
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=ICFP'01. International Conference on Functional Programming
|StartPage=
|EndPage=
|Year=2001
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20986
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-09-18
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588286}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:How to add laziness to a strict language without even being odd

2014-06-26T03:45:15Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Philiip Wadler, Walid Taha, David MacQueen |PID=413532 |Name=Wadler, Philii..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Philiip Wadler, Walid Taha, David MacQueen
|PID=413532
|Name=Wadler, Philiip (Bell Laboratories, Lucent Technologies);Taha, Walid [waltah] (Oregon Graduate Institute);MacQueen, David (Bell Laboratories, Lucent Technologies)
|Title=How to add laziness to a strict language without even being odd
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=SML'98, The SML workshop
|StartPage=
|EndPage=
|Year=1998
|Edition=
|Pages=
|City=Baltimore
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-15053
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=
|Notes=<p>Workshop on Standard ML, Baltimore, September 1998</p>
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2011-04-28
|PublicationDate=2011-07-22
|LastUpdated=2013-01-28
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:413532}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:MetaML and multi-stage programming with explicit annotations

2014-06-26T03:45:14Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Tim Sheard |PID=396142 |Name=Taha, Walid [waltah] (Dept. of Com..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Tim Sheard
|PID=396142
|Name=Taha, Walid [waltah] (Dept. of Comp. Sci. and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291, United States);Sheard, Tim (Dept. of Comp. Sci. and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291, United States)
|Title=MetaML and multi-stage programming with explicit annotations
|PublicationType=Journal Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=Theoretical Computer Science
|JournalISSN=0304-3975
|Status=published
|Volume=248
|Issue=1-2
|HostPublication=
|Conference=
|StartPage=211
|EndPage=242
|Year=2000
|Edition=
|Pages=
|City=Amsterdam
|Publisher=Elsevier
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1016/S0304-3975(00)00053-0
|ISI=000089745500007
|PMID=
|ScopusId=2-s2.0-0013091874
|NBN=urn:nbn:se:hh:diva-14408
|LocalId=
|ArchiveNumber=
|Keywords=Functional programming;λ-Calculus;High-level program generation;Type-safety;Type-systems;Programming language semantics;Multi-level languages;Multi-stage languages
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a “real” language. We have built an implementation and used it to solve multi-stage problems. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but they obey the static-scoping principle. MetaML performs type-checking for all stages once and for all before the execution of the first stage. Certain anomalies with our first MetaML implementation led us to formalize an illustrative subset of the MetaML implementation. We present both a big-step semantics and type system for this subset, and prove the type system's soundness with respect to a big-step semantics. From a software engineering point of view, this means that generators written in the MetaML subset never generate unsafe programs. A type system and semantics for full MetaML is still ongoing work. We argue that multi-stage languages are useful as programming languages in their own right, that they supply a sound basis for high-level program generation technology, and that they should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three-stage example elaborating a number of practical issues. The design of MetaML was based on two main principles that we identified as fundamental for high-level program generation, namely, cross-stage persistence and cross-stage safety. We present these principles, explain the technical problems they give rise to, and how we address with these problems in our implementation.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2011-02-08
|PublicationDate=2011-02-08
|LastUpdated=2013-01-04
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396142}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Multi-Stage Programming with Explicit Annotations

2014-06-26T03:45:14Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Tim Sheard |PID=588307 |Name=Taha, Walid [waltah] (Oregon Gradu..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Tim Sheard
|PID=588307
|Name=Taha, Walid [waltah] (Oregon Graduate Institute of Science & Technology);Sheard, Tim (Oregon Graduate Institute of Science & Technology)
|Title=Multi-Stage Programming with Explicit Annotations
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=PEPM'97. International Symposium on Partial Evaluation and Semantics Based Program Manipulation.
|StartPage=
|EndPage=
|Year=1997
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-21099
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-15
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588307}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Static Consistency Checking for Verilog Wire Interconnects

2014-06-26T03:45:13Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Cherif Salama, Gregory Malecha, Jim Grundy, John O'Leary |PID=7..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Cherif Salama, Gregory Malecha, Jim Grundy, John O'Leary
|PID=711469
|Name=Taha, Walid [waltah] (Rice University) (The Effective Modeling Group);Salama, Cherif (Rice University);Malecha, Gregory (Rice University);Grundy, Jim;O'Leary, John
|Title=Static Consistency Checking for Verilog Wire Interconnects
|PublicationType=Journal Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=published
|Volume=
|Issue=
|HostPublication=
|Conference=
|StartPage=
|EndPage=
|Year=2011
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-25010
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Data- och informationsvetenskap (102)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many of these connections are nothing more than bugs inadvertently introduced by the designer and often result in circuits that behave incorrectly or use more resources than required. A similar problem occurs when wires are incorrectly indexed by values (or ranges) that exceed their bounds. These two problems are exacerbated by generate blocks. While desirable for reusability and conciseness, the use of generate blocks to describe circuit families only makes the situation worse as it hides such inconsistencies making them harder to detect. Inconsistencies in the generated code are only exposed after elaboration when the code is fully-expanded.</p><p>In this paper we show that these inconsistencies can be pinned down prior to elaboration using static analysis.We combine dependent types and constraint generation to reduce the problem of detecting the aforementioned inconsistencies to a satisfiability problem. Once reduced, the problem can easily be solved with a standard satisfiability modulo theories (SMT) solver. In addition, this technique allows us to detect unreachable code when it resides in a block guarded by an unsatisfiable set of constraints. To illustrate these ideas, we develop a type system for Featherweight Verilog (FV), a core calculus of structural Verilog with generative constructs and previously defined elaboration semantics. We prove that a well-typed FV description will always elaborate into an inconsistency-free description. We also provide a freely-available implementation demonstrating our approach.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-04-10
|PublicationDate=2014-04-10
|LastUpdated=2014-04-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:711469}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Modeling Basic Aspects of Cyber-Physical Systems

2014-06-26T03:45:13Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen
|PID=565038
|Name=Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Philippsen, Roland [rolphi] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Intelligenta system (IS-lab) [3941])
|Title=Modeling Basic Aspects of Cyber-Physical Systems
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12)
|Conference=3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan
|StartPage=
|EndPage=
|Year=2012
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-19927
|LocalId=
|ArchiveNumber=
|Keywords=cyber-physical system;domain-specific language;modeling;simulation;control
|Categories=Datavetenskap (datalogi) (10201)
|ResearchSubjects=
|Projects=Swedish KK-Stiftelsen CERES;Swedish KK-Stiftelsen CAISR;Swedish Vinnova FFI NG-Test;USA National Science Foundation
|Notes=
|Abstract=<p>Designing novel cyber-physical systems entails significant, costly physical experimentation. Simulation tools can enable the virtualization of experiments. Unfortunately, current tools have shortcomings that limit their utility for virtual experimentation. Language research can be especially helpful in addressing many of these problems. As a first step in this direction, we consider the question of determining what language features are needed to model cyber-physical systems. Using a series of elementary examples of cyber-physical systems, we reflect on the extent to which a small, experimental domain-specific formalism called Acumen suffices for this purpose.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2012-11-05
|PublicationDate=2012-12-19
|LastUpdated=2013-11-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:565038}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Environment Classifiers

2014-06-26T03:45:12Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Michael Florentin Nielsen |PID=588279 |Name=Taha, Walid [waltah..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Michael Florentin Nielsen
|PID=588279
|Name=Taha, Walid [waltah] (Department of Computer Science Rice University);Nielsen, Michael Florentin (Department of Computer Science IT University of Copenhagen)
|Title=Environment Classiﬁers
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=POPL'03. International Conference on Principles of Programming Languages
|StartPage=
|EndPage=
|Year=2003
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20980
|LocalId=
|ArchiveNumber=
|Keywords=Multi-stage programming;type systems;type safety;linear temporal logic;modal logic
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>This paper proposes and develops the basic theory for a newapproach to typing multi-stage languages based a notion ofenvironment classiﬁers. This approach involves explicit butlightweight tracking – at type-checking time – of the origination environment for future-stage computations. Classiﬁcation is less restrictive than the previously proposed notionsof closedness, and allows for both a more expressive typingof the “run” construct and for a unifying account of typedmulti-stage programming.The proposed approach to typing requires making crossstage persistence (CSP) explicit in the language. At thesame time, it oﬀers concrete new insights into the notion oflevels and in turn into CSP itself. Type safety is establishedin the simply-typed setting. As a ﬁrst step toward introducing classiﬁers to the Hindley-Milner setting, we propose anapproach to integrating the two, and prove type preservationin this setting.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588279}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Tag Elimination and Jones-Optimality

2014-06-26T03:45:12Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Henning Makholm, John Hughes |PID=588293 |Name=Taha, Walid [wal..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Henning Makholm, John Hughes
|PID=588293
|Name=Taha, Walid [waltah] (Department of Computer Science, Yale University, New Haven, CT, USA);Makholm, Henning (DIKU, University of Copenhagen, Copenhagen, Denmark);Hughes, John (Department of Computing Sciences, Chalmers, Göteborg, Sweden)
|Title=Tag Elimination and Jones-Optimality
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=PADO-II. Second Symposium on Programs as Data Objects
|StartPage=
|EndPage=
|Year=2001
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20988
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588293}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect

2014-06-26T03:45:11Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Henning Makholm |PID=588295 |Name=Taha, Walid [waltah];Makholm,..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Henning Makholm
|PID=588295
|Name=Taha, Walid [waltah];Makholm, Henning
|Title=Tag Elimination - or - Type Specialisation is a Type-Indexed Effect
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming
|StartPage=
|EndPage=
|Year=2000
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20989
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588295}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Staged Notational Definitions

2014-06-26T03:45:11Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Patricia Johann |PID=588277 |Name=Taha, Walid [waltah] (Departm..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Patricia Johann
|PID=588277
|Name=Taha, Walid [waltah] (Department of Computer Science, Rice University);Johann, Patricia (Department of Computer Science, Rutgers University)
|Title=Staged Notational Deﬁnitions
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=GPCE'03 International Conference on Generative Programming and Component Engineering.
|StartPage=
|EndPage=
|Year=2003
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20978
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Recent work proposed deﬁning type-safe macros via interpretation into a multi-stage language. The utility of this approach wasillustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, thegoal of this paper is to develop a macro language that makes it easy forprogrammers to reason about terms locally. We show that deﬁning thesemantics of macros in this manner helps in developing and verifyingnot only type systems for macro languages but also equational reasoning principles. Because the MacroML calculus is sensetive to renamingof (what appear locally to be) bound variables, we present a calculus ofstaged notational deﬁnitions (SND) that eliminates the renaming problem but retains MacroML’s phase distinction. Additionally, SND incorporates the generality of Griﬃn’s account of notational deﬁnitions. Weexhibit a formal equational theory for SND and prove its soundness.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588277}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Directions in Functional Programming for Real(-Time) Applications

2014-06-26T03:45:10Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Paul Hudak, Zhanyong Wan |PID=396131 |Name=Taha, Walid [waltah]..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Paul Hudak, Zhanyong Wan
|PID=396131
|Name=Taha, Walid [waltah] (Department of Computer Science, Yale University, New Haven, CT, USA);Hudak, Paul (Department of Computer Science, Yale University, New Haven, CT, USA);Wan, Zhanyong (Department of Computer Science, Yale University, New Haven, CT, USA)
|Title=Directions in Functional Programming for Real(-Time) Applications
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Embedded software : First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
|Conference=First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001
|StartPage=185
|EndPage=203
|Year=2001
|Edition=
|Pages=
|City=Berlin
|Publisher=Springer Berlin/Heidelberg
|Series=Lecture notes in computer science ; 2211
|SeriesISSN=1611-3349
|ISBN=3540426736;9783540426738
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1007/3-540-45449-7
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-14398
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Teknik och teknologier (2)
|ResearchSubjects=
|Projects=
|Notes=<p>Funded by DARPA F33615-99-C-3013 and NSF CCR-9900957.</p>
|Abstract=<p>We review the basics of functional programming, and give a brief introduction to emerging techniques and approaches relevant to building real-time software. In doingso we attempt to explain the relevance of functional programming concepts to the real-time applications domain. In particular, we address the use of types to classify properties of real-time computations.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2011-02-08
|PublicationDate=2011-02-08
|LastUpdated=2013-01-04
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396131}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:The Anatomy of a Component Generator

2014-06-26T03:45:10Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Jim Hook |PID=588304 |Name=Taha, Walid [waltah] (The Oregon Gra..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Jim Hook
|PID=588304
|Name=Taha, Walid [waltah] (The Oregon Graduate Institute);Hook, Jim (The Oregon Graduate Institute)
|Title=The Anatomy of a Component Generator
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=PSE'98. International Workshop on Principles of Software Evolution
|StartPage=
|EndPage=
|Year=1998
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-21096
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-15
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588304}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Generating Heap-bounded Programs in a Functional Setting

2014-06-26T03:45:09Z

Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Stephan Ellner, Hongwei Xi |PID=588276 |Name=Taha, Walid [walta..."

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Stephan Ellner, Hongwei Xi
|PID=588276
|Name=Taha, Walid [waltah] (Rice University, Houston, TX, USA);Ellner, Stephan (Rice University, Houston, TX, USA);Xi, Hongwei (Boston University, Boston, MA, USA)
|Title=Generating Heap-bounded Programs in a Functional Setting
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=EMSOFT'03. International Conference on Embedded Software and Systems.
|StartPage=
|EndPage=
|Year=2003
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20977
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>High-level programming languages oﬀer signiﬁcant expressivity but provide little or no guarantees about resource utilization.Resource-bounded languages provide strong guarantees about the runtime behavior of programs but often lack mechanisms that allow programmers to write more structured, modular, and reusable programs. Toovercome this basic tension in language design, this paper advocates taking into account the natural distinction between the development platform and the deployment platform for resource-sensitive software.To illustrate this approach, we develop the meta-theory for GeHB, a twolevel language in which ﬁrst stage computations can involve arbitraryresource consumption, but the second stage can only involve functionalprograms that do not require new heap allocations. As an example ofa such a second-stage language we use the recently proposed ﬁrst-orderfunctional language LFPL. LFPL can be compiled directly to mallocfree, imperative C code. We show that all generated programs in GeHBcan be transformed into well-typed LFPL programs, thus ensuring thatthe results established for LFPL are directly applicable to GeHB.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588276}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}