2860 search results - page 546 / 572 » The Greenfoot Programming Environment |
138
Voted
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
120
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
The address sequence on the processor-memory bus can reveal abundant information about the control flow of a program. This can lead to critical information leakage such as encryp...
143
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
238
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
120
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...