Zobrazeno 1 - 10
of 65
pro vyhledávání: '"James J. Hunt"'
Autor:
James J. Hunt
Publikováno v:
Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f0035c0c91f1155b64e9cf6a8a40210
https://doi.org/10.1145/3254144
https://doi.org/10.1145/3254144
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 7:192-214
Delta algorithms compress data by encoding one file in terms of another. This type of compression is useful in a number of situations: strong multiple versions of data, displaying differences, merging changes, distributing updates, storing backups, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::020bf7ebafcd536de7f553026e3e9f1b
https://doi.org/10.1145/279310.279321
https://doi.org/10.1145/279310.279321
Autor:
James J. Hunt
Publikováno v:
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed076872595bff45f529c6b1fed426b3
https://doi.org/10.1145/3249956
https://doi.org/10.1145/3249956
Autor:
James J. Hunt
Publikováno v:
JTRES
The Real-Time Specification for Java (RTSJ) does not only provide features for realtime programming but also for direct device access. Both reading and writing to a device and reacting to external signals are supported. Unfortunately, the APIs provid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7249d10571b07382dc6ba58aa344d801
https://doi.org/10.1145/2388936.2388942
https://doi.org/10.1145/2388936.2388942
Autor:
James J. Hunt
Publikováno v:
Formal Verification of Object-Oriented Software ISBN: 9783642317613
FoVeOOS
FoVeOOS
Though the use of formal methods for software verification has progress tremendously in the last ten year, its take up in industry has been meager, but with the right emphasis this could change dramatically. Software certification standards have star
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b25c10e173179b4fdbb03b2ebd88586f
https://doi.org/10.1007/978-3-642-31762-0_3
https://doi.org/10.1007/978-3-642-31762-0_3
Autor:
Kelvin Nilsen, James J. Hunt
Publikováno v:
Distributed, Embedded and Real-time Java Systems ISBN: 9781441981578
Safety-Critical Java is designed to simplify the runtime environment and code generation model for safety-critical applications compared with conventional Java, as well as improve the reuse and modular composability of independently developed softwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f16c19c686cfc9c34d6fe36bbef2e337
https://doi.org/10.1007/978-1-4419-8158-5_9
https://doi.org/10.1007/978-1-4419-8158-5_9
Publikováno v:
Distributed, Embedded and Real-time Java Systems ISBN: 9781441981578
Interacting with the underlying platform and its environment is one of the key activities for embedded programs. This chapter focuses on how real-time Java programs can access the platform’s physical memory so that it can maximize performance, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::831754b62238521324931f499b3d9bd8
https://doi.org/10.1007/978-1-4419-8158-5_6
https://doi.org/10.1007/978-1-4419-8158-5_6
Autor:
James J. Hunt
Publikováno v:
JTRES
The SC-205/WG-71 joint Plenary is scheduled to finish the next update of the software certification standards for avionics by the end of this year. This includes the new DO-178C/ED-12C for in flight software and DO-278A/ED-109A for ground-based softw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37ef495761ccdf4ea36fbf60a1e460d3
https://doi.org/10.1145/1850771.1850791
https://doi.org/10.1145/1850771.1850791
Publikováno v:
JTRES
Though real-time Java offers significant advantages over other programming languages for safe programming, the analysis of worst case execution of real-time Java programs is considerably more difficult. The extra complexity can be addressed using a m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a95da18bd8092b5c46800ee2fd6aaab
https://doi.org/10.1145/1434790.1434806
https://doi.org/10.1145/1434790.1434806
Publikováno v:
JTRES
The current trend in Model Driven Architecture is to use model transformation to refine a model from a platform-independent model to a platform-specific model, resulting in a linear development process. With the advent of commercially available realt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82a996286baf76b2f45d8ee894b9561e
https://doi.org/10.1145/1288940.1288966
https://doi.org/10.1145/1288940.1288966