2947 search results - page 294 / 590 » Analyzing Program Analyses |
180
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
175
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
138
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— When analyzed in the tangential speed domain, human movements exhibit a multi-peaked speed profile which is commonly interpreted as evidence for submovements. At slow speeds, ...
180
click to vote
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
Phylogenetics is concerned with inferring the genealogical relationships between a group of organisms (or taxa), and this relationship is usually expressed as an evolutionary tree....
177
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...