6274 search results - page 830 / 1255 » Proofs, Programs, Processes |
171
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
167
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
139
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
194
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
249
Voted
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
A programs memory system performance is one of the key determinants of its overall performance. Lack of understanding of a programs memory system behavior can lead to performance ...