1760 search results - page 278 / 352 » A System to Mark Programs Automatically |
129
click to vote
BIBE
2006
IEEE
15 years 9 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
118
click to vote
HPCA
2008
IEEE
16 years 3 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
107
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
109
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
136
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...