1760 search results - page 273 / 352 » A System to Mark Programs Automatically |
126
click to vote
ICIS
2000
15 years 4 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
155
click to vote
DBSEC
1996
15 years 4 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
110
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
110
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
145
click to vote
TJS
2008
15 years 3 months ago
2008
Abstract. Traditionally, loop nests are fused only when the data dependences in the loop nests are not violated. This paper presents a new loop fusion algorithm that is capable of ...