Sciweavers

6796 search results - page 550 / 1360
» Java for Embedded Systems
Sort
View
RTAS
2010
IEEE
15 years 5 months ago
Defects of the POSIX Sporadic Server and How to Correct Them
The specification of the sporadic server real-time scheduling policy in the IEEE POSIX standard is defective, and needs to be corrected. Via experiments using a POSIX sporadic se...
Mark J. Stanovich, Theodore P. Baker, An-I Wang, M...
RTAS
2010
IEEE
15 years 5 months ago
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling
—The problem of scheduling a set of tasks on a multiprocessor architecture is addressed. Tasks are assumed to be sporadic with arbitrary deadlines and may migrate between process...
Ernesto Massa, George Lima
EMSOFT
2006
Springer
15 years 10 months ago
Incremental schedulability analysis of hierarchical real-time components
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup ...
ECOOP
2005
Springer
16 years 11 days ago
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugra...
FATES
2003
Springer
16 years 2 days ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang