MARC

 008250224s2024        us  ||||||||||||||c||eng  d
■001000017164595
■00520250211153020
■006m          o    d                
■007cr#unu||||||||
■020    ▼a9798896077718
■035    ▼a(MiAaPQ)AAI31631910
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aHui,  John.
■24510▼aSparse  Synchronous  Programming  with  Temporal  Abstractions.
■260    ▼a[S.l.]▼bColumbia  University.  ▼c2024
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2024
■300    ▼a120  p.
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  86-04,  Section:  B.
■500    ▼aAdvisor:  Edwards,  Stephen  A.
■5021  ▼aThesis  (Ph.D.)--Columbia  University,  2024.
■520    ▼aFor  many  embedded  applications,  the  timing  of  a  result  is  as  important  as  its  value.  However,  most  programming  languages  treat  timing  as  a  side  effect,  so  they  cannot  convey  temporal  behavior  without  compromising  precision,  efficiency,  or  flexibility.  This  dissertation  presents  the  Sparse  Synchronous  Model  (SSM),  a  programming  model  for  building  temporal  abstractions  with  high-level  languages.  SSM  is  deterministic  and  defines  behavior  in  terms  of  logical  time,  but  is  more  expressive  than  the  synchronous  languages  it  was  inspired  by.  It  uses  the  same  abstractions  for  internal  events  and  external  I/O,  so  the  meaning  of  each  program  is  preserved  across  different  platforms.  The  main  contributions  of  this  work  are  the  formal  semantics  of  SSM,  and  SSLANG,  a  standalone  functional  programming  language  that  implements  SSM  and  runs  on  microcontrollers.  SSLANG's  runtime  keeps  the  software  synchronized  with  the  real  world,  and  uses  timing-aware  hardware  peripherals  to  achieve  jitter-free  I/O  with  sub-microsecond  precision.  The  dissertation  also  describes  two  embeddings  of  SSM  in  existing  languages  to  show  that  the  model  is  compatible  with  conventional  programming  paradigms.  Together,  these  results  illustrate  the  value  of  extensible,  timing-aware  programming  abstractions  for  building  reliable  real-time  systems.
■590    ▼aSchool  code:  0054.
■650  4▼aComputer  science.
■653    ▼aCompilers
■653    ▼aDiscrete  events
■653    ▼aEmbedded  systems
■653    ▼aProgramming  languages
■653    ▼aReal-time  systems
■653    ▼aSynchronous  languages
■690    ▼a0984
■71020▼aColumbia  University▼bComputer  Science.
■7730  ▼tDissertations  Abstracts  International▼g86-04B.
■790    ▼a0054
■791    ▼aPh.D.
■792    ▼a2024
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17164595▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서