4629 search results - page 314 / 926 » Space Kernel Analysis |
189
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
170
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
165
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
We address the problem of bandwidth selection in MLS surfaces. While the problem has received relatively little attention in the literature, we show that appropriate selection pla...
181
click to vote
ICPADS
2006
IEEE
16 years 19 days ago
2006
IEEE
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
147
click to vote
IJCAI
2007
15 years 8 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...