571 search results - page 65 / 115 » A principled approach to operating system construction in Ha... |
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Multi-channel combustion data, consisting of gas pressure and two combustion chamber luminosity measurements, are investigated in the prediction of combustion instability. Wave...
106
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
104
click to vote
CJ
2010
14 years 10 months ago
2010
Energy efficiency is increasingly important for future information and communication technologies (ICT), because the increased usage of ICT, together with increasing energy costs a...
ICAC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
149
click to vote
CBSE
2011
Springer
14 years 1 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...