2860 search results - page 546 / 572 » The Greenfoot Programming Environment |
174
click to vote
DFT
2006
IEEE
16 years 19 days 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...
172
click to vote
IEEEPACT
2006
IEEE
16 years 18 days 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...
185
click to vote
ICRA
2005
IEEE
16 years 5 days 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...
300
click to vote
AADEBUG
2005
Springer
16 years 3 days 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...
169
click to vote
OOPSLA
2005
Springer
16 years 2 days 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 ...