32032 search results - page 6105 / 6407 » Verified programming in Guru |
183
click to vote
DILS
2005
Springer
16 years 9 days ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
166
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
183
click to vote
EVOW
2005
Springer
16 years 8 days ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
269
click to vote
FCA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
187
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
— During codesign of a system, one still runs into the impedance mismatch between the software and hardware worlds. er identifies the different levels of abstraction of hardware...