Sciweavers

5600 search results - page 340 / 1120
» Synthesizing robust systems
Sort
View
ISPD
2004
ACM
146views Hardware» more  ISPD 2004»
16 years 3 days ago
Power-aware clock tree planning
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
Monica Donno, Enrico Macii, Luca Mazzoni
SRDS
2003
IEEE
15 years 12 months ago
Epidemic Spreading in Real Networks: An Eigenvalue Viewpoint
How will a virus propagate in a real network? Does an epidemic threshold exist for a finite powerlaw graph, or any finite graph? How long does it take to disinfect a network giv...
Yang Wang 0008, Deepayan Chakrabarti, Chenxi Wang,...
CGF
2006
123views more  CGF 2006»
15 years 6 months ago
Dancing-to-Music Character Animation
In computer graphics, considerable research has been conducted on realistic human motion synthesis. However, most research does not consider human emotional aspects, which often s...
Takaaki Shiratori, Atsushi Nakazawa, Katsushi Ikeu...
PLDI
2011
ACM
14 years 9 months ago
Caisson: a hardware description language for secure information flow
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Ka...
ISSTA
2012
ACM
13 years 9 months ago
A human study of patch maintainability
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
Zachary P. Fry, Bryan Landau, Westley Weimer