141 search results - page 11 / 29 » Automatic generation of library bindings using static analys... |
116
Voted
ICDCS
2009
IEEE
16 years 17 days ago
2009
IEEE
Peer-to-peer file sharing is popular, but it generates random write traffic to storage due to the nature of swarming. NAND flash memory based Solid-State Drive (SSD) technology...
140
click to vote
GPCE
2009
Springer
15 years 1 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
159
Voted
JASIS
1998
15 years 3 months ago
1998
The standard method for making the full content of audio and video material searchable and is to annotate it with humangenerated meta-data that describes the content in a way that...
137
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
150
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...