940 search results - page 44 / 188 » Rules and Strategies in Java |
142
click to vote
NGC
1998
Springer
15 years 2 months 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...
144
click to vote
CASES
2008
ACM
15 years 5 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...
111
click to vote
ITICSE
2004
ACM
15 years 8 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...
140
click to vote
CASES
2007
ACM
15 years 7 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...
125
Voted
PEPM
2010
ACM
16 years 5 days 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...