3431 search results - page 148 / 687 » A new instructional operating system |
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
ITC
1998
IEEE
14 years 2 months ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— The accurate estimation of airport capacity is critical for the efficient planning of landing and takeoff operations, and the mitigation of congestion-induced delays. ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
With the discovery of new exploit techniques, new protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomiz...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
We present Quanto, a network-wide time and energy profiler for embedded network devices. By combining well-defined interfaces for hardware power states, fast high-resolution energ...