4722 search results - page 744 / 945 » Encoding Program Executions |
157
click to vote
FECS
2009
15 years 19 days ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
125
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
118
click to vote
ASPLOS
2011
ACM
14 years 6 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 ...
102
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
113
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Massive data transfer encountered in emerging multimedia embedded applications requires architecture allowing both highly distributed memory structure and multiprocessor computati...