5109 search results - page 987 / 1022 » On Learning Limiting Programs |
75
Voted
DDECS
2007
IEEE
15 years 4 months ago
2007
IEEE
A method of generating test pairs for the delay faults is presented in this paper. The modification of the MISR register gives the source of test pairs. The modification of this r...
109
click to vote
ECOOPW
2007
Springer
15 years 4 months ago
2007
Springer
Following last three years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'07 workshop was a successful and po...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
113
click to vote
ECOOPW
2006
Springer
15 years 4 months ago
2006
Springer
Following last two years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE 2006 workshop was a successful and popular...
100
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...