854 search results - page 60 / 171 » Addressing Dynamic Issues of Program Model Checking |
125
Voted
ATS
2009
IEEE
15 years 7 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
237
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
123
click to vote
IS
2010
15 years 28 days ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
110
click to vote
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
125
click to vote
SIGARCH
2008
15 years 2 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...