Zobrazeno 1 - 10
of 146
pro vyhledávání: '"John P. Lehoczky"'
Publikováno v:
RTSS
The Real-Time Mixed-Trust (RTMT) Framework [2] enables the use of untrusted components in safety-critical CPS functions (e.g., driving a car) by monitoring their actions with verified and trusted components (called enforcers ) that correct unsafe act
Autor:
Hyoseung Kim, Björn Andersson, John P. Lehoczky, Ragunathan Rajkumar, Dionisio de Niz, Mark Klein
Publikováno v:
ACM Transactions on Embedded Computing Systems. 17:1-29
Consider fixed-priority preemptive partitioned scheduling of constrained-deadline sporadic tasks on a multiprocessor. A task generates a sequence of jobs and each job has a deadline that must be met. Assume tasks have Corunner-dependent execution tim
Autor:
Mark J. Schervish, John P. Lehoczky
Publikováno v:
Annual Review of Statistics and Its Application. 5:265-288
This article surveys the evolution of stock market trading over a 60-year period. It begins before 1960, when there was no database widely available to conduct a statistical analysis of stock price movements. This changed in the 1960s with the introd
Publikováno v:
ACM SIGBED Review. 14:16-23
Many solutions for composability and compositionality rely on specifying the interface for a component using bandwidth. Some previous works specify period (P) and budget (Q) as an interface for a component. Q/P provides us with a bandwidth (the share
Autor:
Mark Klein, Amit Vasudevan, Dionisio de Niz, Björn Andersson, Gabriel A. Moreno, Hyoseung Kim, John P. Lehoczky
Publikováno v:
RTCSA
Verifying complex Cyber-Physical Systems (CPS) is increasingly important given the push to deploy safety-critical autonomous features. Unfortunately, traditional verification methods do not scale to the complexity of these systems and do not provide
Publikováno v:
Journal of Time Series Analysis. 28:763-782
The dependence structure in multivariate financial time series is of great importance in portfolio management. By studying daily return histories of 17 exchange-traded index funds, we identify important features of the data, and we propose two new mo
Autor:
John P. Lehoczky
This article is reproduced from the previous edition, volume 6, pp. 3784–3787, © 2001, Elsevier Ltd, with an updated Bibliography section supplied by the Editor.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0485b78e1dad3e73858233edcfae7f8
https://doi.org/10.1016/b978-0-08-097086-8.42114-8
https://doi.org/10.1016/b978-0-08-097086-8.42114-8
Autor:
John P. Lehoczky
This article is reproduced from the previous edition, volume 6, pp. 3787–3793, © 2001, Elsevier Ltd., with an updated Bibliography section supplied by the Editor.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d8c73ea469f78f8bb3eddd647d92738
https://doi.org/10.1016/b978-0-08-097086-8.42115-x
https://doi.org/10.1016/b978-0-08-097086-8.42115-x
Publikováno v:
Real-Time Systems. 33:7-46
In dynamic real-time systems such as sensor networks, mobile ad hoc networking and autonomous systems, the mapping between level of service and resource requirements is often not fixed. Instead, the mapping depends on a combination of level of servic
Autor:
John P. Lehoczky, Mark J. Schervish
Publikováno v:
Wiley StatsRef: Statistics Reference Online.