336 search results - page 46 / 68 » Task-Queue Based Hybrid Parallelism: A Case Study |
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
108
click to vote
CHES
2009
Springer
15 years 6 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
IVA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
IV
2005
IEEE
15 years 5 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Various multi–objective evolutionary algorithms (MOEAs) have obtained promising results on various numerical multi– objective optimization problems. The combination with gradi...