266 search results - page 46 / 54 » Combining Software and Hardware Verification Techniques |
127
click to vote
ISCA
2006
IEEE
15 years 1 months ago
2006
IEEE
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
112
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Energy, power, and area efficiency are critical design concerns for embedded processors. Much of the energy of a typical embedded processor is consumed in the front-end since inst...
100
Voted
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
104
Voted
SARA
2009
Springer
15 years 8 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Non-linear projections of 3D graphical scenes can be used to compute reflections and refractions in curved surfaces, draw artistic images in the style of Escher or Picasso, and p...