10899 search results - page 656 / 2180 » The GP Programming System |
198
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
188
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
202
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
213
Voted
CODES
2005
IEEE
16 years 27 days ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
235
Voted
RTSS
2002
IEEE
16 years 5 days ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...