214 search results - page 25 / 43 » Automatic Correction of Loop Transformations |
137
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
100
Voted
FASE
1999
Springer
15 years 4 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
123
Voted
CGO
2008
IEEE
15 years 7 months ago
2008
IEEE
The recent trend in the processor industry of packing multiple processor cores in a chip has increased the importance of automatic techniques for extracting thread level paralleli...
117
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...