7430 search results - page 795 / 1486 » Programming Applications in CIFF |
202
click to vote
DATE
2010
IEEE
16 years 21 days ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
185
click to vote
MICRO
2002
IEEE
16 years 15 days ago
2002
IEEE
Instruction cache aware compilation seeks to lay out a program in memory in such a way that cache conflicts between procedures are minimized. It does this through profile-driven...
180
click to vote
SCAM
2002
IEEE
16 years 15 days ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
204
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. We consider the clustering with diversity problem: given a set of colored points in a metric space, partition them into clusters such that each cluster has at least point...
174
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...