5962 search results - page 527 / 1193 » Working with Patterns and Code |
182
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
184
click to vote
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...
153
click to vote
ERCIM
2008
15 years 7 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
192
click to vote
VLSID
2010
IEEE
15 years 5 months ago
2010
IEEE
The paper analyzes cache based timing attacks on optimized codes for Advanced Encryption Standard (AES). The work justifies that timing based cache attacks create hits in the fi...
201
click to vote
PVM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Domain decomposition for regular meshes on parallel computers has traditionally been performed by attempting to exactly partition the work among the available processors ...