3836 search results - page 709 / 768 » Optimizing the Use of High Performance Software Libraries |
159
Voted
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--In many flexible manufacturing systems, batch production is often adopted to improve product quality. For example, in automotive paint shops, vehicles with same colors ar...
129
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
133
click to vote
ISPASS
2008
IEEE
15 years 10 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
140
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
149
Voted
ARC
2008
Springer
15 years 5 months ago
2008
Springer
Over the last years, we have witnessed the increased use of Application-Specific Instruction-Set Processors (ASIPs). These ASIPs are processors that have a customizable instruction...