3070 search results - page 360 / 614 » Evaluating digital libraries |
170
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
172
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
171
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a knowledge map management system to facilitate knowledge management in virtual communities of practice. To realize the proposed knowledge map management, we d...
189
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In programmable embedded systems, the memory subsystem represents a major cost, performance and power bottleneck. To optimize the system for such different goals, the designer wou...
168
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We demonstrate that data reordering can substantially improve the performance of fine-grained irregular sharedmemory benchmarks, on both hardware and software shared-memory syste...