東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Designing a Functional Programming Architecture for the Internet of Things.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Designing a Functional Programming Architecture for the Internet of Things./
作者:	Pope, Jeremy.
面頁冊數:	1 online resource (31 pages)
附註:	Source: Dissertations Abstracts International, Volume: 84-03, Section: B.
Contained By:	Dissertations Abstracts International84-03B.
標題:	Language. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29290653click for full text (PQDT)
ISBN:	9798845463821

Designing a Functional Programming Architecture for the Internet of Things.
Pope, Jeremy.

Designing a Functional Programming Architecture for the Internet of Things. - 1 online resource (31 pages)

Source: Dissertations Abstracts International, Volume: 84-03, Section: B.

Thesis (Licentiate)--Chalmers Tekniska Hogskola (Sweden), 2022.

Includes bibliographical references

As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety.This thesis aims to address this by making it possible to run high-level functional programs on IoT devices, a daunting prospect with traditional hardware due to the overheads of functional programming runtimes. To accomplish this, an architecture and partial implementation of a "natively functional" processor for IoT, named Cephalopode, is presented. The processor performs both graph reduction and garbage collection directly, without requiring an expensive software runtime.Implementing Cephalopode raised several opportunities for improving the process of hardware design. To that end, this thesis presents the finite state machine editor Stately and the high-level language Bifrost. Stately raises the level of abstraction of finite state machines enough to avoid a proliferation of edges during design, while maintaining efficiency and low-level control. Bifrost offers a higher-level approach to hardware design, allowing complex algorithmic processes-in particular those that communicate extensively with other components-to be described in an imperative language and compiled to an RTL-level circuit model.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2023

Mode of access: World Wide Web

ISBN: 9798845463821Subjects--Topical Terms:

643551
Language.
Index Terms--Genre/Form:

542853
Electronic books.

Designing a Functional Programming Architecture for the Internet of Things.
LDR:02728nmm a2200385K 4500 001 2363767
005 20231127094552.5
006 m o d
007 cr mn ---uuuuu
008 241011s2022 xx obm 000 0 eng d
020 $a 9798845463821
035 $a (MiAaPQ)AAI29290653
035 $a (MiAaPQ)Chalmers_SE530269
035 $a AAI29290653
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Pope, Jeremy. $3 3704543
245 1 0 $a Designing a Functional Programming Architecture for the Internet of Things.
264 0 $c 2022
300 $a 1 online resource (31 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 84-03, Section: B.
500 $a Advisor: Seger, Carl.
502 $a Thesis (Licentiate)--Chalmers Tekniska Hogskola (Sweden), 2022.
504 $a Includes bibliographical references
520 $a As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety.This thesis aims to address this by making it possible to run high-level functional programs on IoT devices, a daunting prospect with traditional hardware due to the overheads of functional programming runtimes. To accomplish this, an architecture and partial implementation of a "natively functional" processor for IoT, named Cephalopode, is presented. The processor performs both graph reduction and garbage collection directly, without requiring an expensive software runtime.Implementing Cephalopode raised several opportunities for improving the process of hardware design. To that end, this thesis presents the finite state machine editor Stately and the high-level language Bifrost. Stately raises the level of abstraction of finite state machines enough to avoid a proliferation of edges during design, while maintaining efficiency and low-level control. Bifrost offers a higher-level approach to hardware design, allowing complex algorithmic processes-in particular those that communicate extensively with other components-to be described in an imperative language and compiled to an RTL-level circuit model.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2023
538 $a Mode of access: World Wide Web
650 4 $a Language. $3 643551
650 4 $a Design. $3 518875
650 4 $a Software. $2 gtt. $3 619355
650 4 $a Sanitation services. $3 3560997
650 4 $a Algorithms. $3 536374
650 4 $a Power. $3 518736
650 4 $a Semantics. $3 520060
650 4 $a Computer science. $3 523869
650 4 $a Linguistics. $3 524476
650 4 $a Logic. $3 529544
650 4 $a Web studies. $3 2122754
655 7 $a Electronic books. $2 lcsh $3 542853
690 $a 0389
690 $a 0679
690 $a 0984
690 $a 0290
690 $a 0395
690 $a 0646
710 2 $a ProQuest Information and Learning Co. $3 783688
710 2 $a Chalmers Tekniska Hogskola (Sweden). $3 1913472
773 0 $t Dissertations Abstracts International $g 84-03B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29290653 $z click for full text (PQDT)