1528 search results - page 118 / 306 » Performance Assertion Checking |
238
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
95
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
111
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
109
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
A segmentation strategy is explored for monophonic instrumental pitched non-percussive material (PNP) which proceeds from the assertion that human-like event analysis can be found...