Search
for Author
All Reviews
Vitek, Jan
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
5
of
6
reviews
On the impact of programming languages on code quality: a reproduction study
Berger E., Hollenbeck C., Maj P., Vitek O., Vitek J. ACM Transactions on Programming Languages and Systems 41(4): 1-24, 2019. Type: Article
E. W. Dijkstra’s classic
A discipline of programming
[1] has rightly achieved the sort of permanent validity that mathematician G. H. Hardy spoke of in his famous
A mathematician’s apology
[2]. Dijkstr...
...
Nov 21 2019
A data-centric approach to synchronization
Dolby J., Hammer C., Marino D., Tip F., Vaziri M., Vitek J. ACM Transactions on Programming Languages and Systems 34(1): 1-48, 2012. Type: Article
Concurrency-related errors, like data races, are very difficult to track down and eliminate in large object-oriented programs. Existing approaches to prevent data races rely on protecting instruction sequences (like critical sections) ...
...
Jan 10 2013
Flexible task graphs: a unified restricted thread programming model for Java
Auerbach J., Bacon D., Guerraoui R., Spring J., Vitek J. ACM SIGPLAN Notices 43(7): 1-11, 2008. Type: Article
The real-time specification for Java (RTSJ) established real-time extensions for the Java system. From RTSJ, a hundred flowers have bloomed, each designed to orient RTSJ to a particular niche in the real-time ecosystem. Enough time has...
...
Mar 4 2009
A real-time Java virtual machine with applications in avionics
Armbruster A., Baker J., Cunei A., Flack C., Holmes D., Pizlo F., Pla E., Prochazka M., Vitek J. ACM Transactions on Embedded Computing Systems 7(1): 1-49, 2007. Type: Article, Reviews: (2 of 2)
A hoary falsehood about Java is that it is unsuitable for hard real-time applications, due to the need for garbage collection (GC). The Real-Time Specification for Java (RTSJ) that is now eight years old should have put ...
...
Aug 8 2008
A real-time Java virtual machine with applications in avionics
Armbruster A., Baker J., Cunei A., Flack C., Holmes D., Pizlo F., Pla E., Prochazka M., Vitek J. ACM Transactions on Embedded Computing Systems 7(1): 1-49, 2007. Type: Article, Reviews: (1 of 2)
The virtues of the Java language for writing reliable and portable code have also raised the desire to use it for the programming of embedded systems with real-time constraints. Such applications are supported by the Real-Time Specific...
...
Jul 29 2008
Display
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy