Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Luminous Fennell"'
Autor:
Peter Thiemann, Faisal Aslam, Zartash Afzal Uzmi, Elmar Haussmann, Christian Schindelhauer, Mubashir Adnan Qureshi, Luminous Fennell, Ghufran Baig
Publikováno v:
LCTES
The ability of tiny embedded devices to run large feature-rich programs is typically constrained by the amount of memory installed on such devices. Furthermore, the useful operation of these devices in wireless sensor applications is limited by their
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7ece0bdd0732689ff65c0e43cec49a7
https://doi.org/10.1145/2345141.2248420
https://doi.org/10.1145/2345141.2248420
Publikováno v:
Journal of Physiology-Paris. 103:178-194
Many of our motor activities require stabilization against external disturbances. This especially applies to biped stance since it is inherently unstable. Disturbance compensation is mainly reactive, depending on sensory inputs and real-time sensor f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef5ad2b3a8c716463814e18ec319033a
https://doi.org/10.1016/j.jphysparis.2009.08.002
https://doi.org/10.1016/j.jphysparis.2009.08.002
Publikováno v:
PPDP
We develop a type theoretic specification of offline partial evaluation for the simply-typed lambda calculus in the dependently-typed programming language Agda. We establish the correctness of the specification by proving termination, typing preserva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e7287aeb96a62df40af4300980f0b24
https://doi.org/10.1145/2643135.2643146
https://doi.org/10.1145/2643135.2643146
Autor:
Luminous Fennell, Peter Thiemann
Publikováno v:
Programming Languages and Systems ISBN: 9783642548321
ESOP
ESOP
Annotated type systems include additional information in types to make them more expressive and to gather intensional information about programs. Gradual types enable a seamless transition between statically and dynamically checked properties of valu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0e924a19531365d6bb6bbae5865de83
https://doi.org/10.1007/978-3-642-54833-8_4
https://doi.org/10.1007/978-3-642-54833-8_4
Autor:
Peter Thiemann, Luminous Fennell
Publikováno v:
CSF
Type systems for information-flow control (IFC) are often inflexible and too conservative. On the other hand, dynamic run-time monitoring of information flow is flexible and permissive but it is difficult to guarantee robust behavior of a program. Gr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d62ae1d9450616171a5876dab576eee
https://doi.org/10.1109/csf.2013.22
https://doi.org/10.1109/csf.2013.22
Autor:
Peter Thiemann, Luminous Fennell
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642404467
Trends in Functional Programming
Trends in Functional Programming
Scripting languages have renewed the interest in languages with dynamic types. For various reasons, realistic programs comprise dynamically typed components as well as statically typed ones. Safe and seamless interaction between these components is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d69f0045933fd90264ee822e11fac759
https://doi.org/10.1007/978-3-642-40447-4_3
https://doi.org/10.1007/978-3-642-40447-4_3
Publikováno v:
SenSys
The ability of tiny embedded devices to run large and feature-rich Java programs is typically constrained by the amount of memory installed on those devices. Furthermore, the useful operation of such devices in a wireless sensor application is limite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ab831ff5bd57ec48459bd02ead01e4a
https://doi.org/10.1145/2070942.2070973
https://doi.org/10.1145/2070942.2070973
Autor:
Elmar Haussmann, Peter Thiemann, Stefan Rührup, Christian Schindelhauer, Zastash A. Uzmi, Gidon Ernst, Luminous Fennell, Faisal Aslam
Publikováno v:
Distributed Computing in Sensor Systems ISBN: 9783642136504
DCOSS
DCOSS
We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka requires very little memory and processing power from the host device. This has been verified by successfully running TakaT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f65e11b9582944cb24eac8d76839f4db
https://doi.org/10.1007/978-3-642-13651-1_2
https://doi.org/10.1007/978-3-642-13651-1_2
Publikováno v:
Annals of the New York Academy of Sciences. 1164
Patients with chronic bilateral loss of vestibular functions normally replace these by visual or haptic referencing to stationary surroundings, resulting in an almost normal stance control. But with eyes closed, they show abnormally large body sway,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d71d097cf2d51c03fbfb630eb92ee02a
https://pubmed.ncbi.nlm.nih.gov/19645901
https://pubmed.ncbi.nlm.nih.gov/19645901