7092 search results - page 1136 / 1419 » Parallelizing constraint programs |
146
Voted
INTENSIVE
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
138
Voted
RP
2009
Springer
15 years 9 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
139
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
112
Voted
ICDCSW
2008
IEEE
15 years 9 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
117
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...