940 search results - page 44 / 188 » Rules and Strategies in Java |
122
click to vote
NGC
1998
Springer
15 years 12 days ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
119
click to vote
CASES
2008
ACM
15 years 2 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
92
Voted
ITICSE
2004
ACM
15 years 6 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
117
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...
103
Voted
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...