1016 search results - page 158 / 204 » Automatic Analysis of Programming Assignments |
109
Voted
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Peer-to-peer file sharing is popular, but it generates random write traffic to storage due to the nature of swarming. NAND flash memory based Solid-State Drive (SSD) technology...
115
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
112
click to vote
ISPASS
2006
IEEE
15 years 8 months ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
120
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
110
click to vote
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...