2701 search results - page 449 / 541 » On the form of witness terms |
185
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
The widespread presence of SIMD devices in today’s microprocessors has made compiler techniques for these devices tremendously important. One of the most important and difficul...
162
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
214
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
170
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...
192
click to vote
SCESM
2006
ACM
16 years 11 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...