6960 search results - page 540 / 1392 » Continuity Analysis of Programs |
207
Voted
SIGARCH
2008
15 years 7 months ago
2008
This paper presents a parallelization framework for emerging applications on the future chip multiprocessors (CMPs). With the continuing prevalence of CMP and the number of on-die...
241
Voted
CACM
2000
15 years 7 months ago
2000
The Informedia Digital Video Library system extracts information from digitized video sources and allows full content search and retrieval over all extracted data. This extracted ...
182
click to vote
NDJFL
2000
15 years 7 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
196
Voted
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
200
click to vote
COMCOM
2008
15 years 6 months ago
2008
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...