19798 search results - page 3670 / 3960 » Is Structural Subtyping Useful |
142
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
132
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
We wish to endow the manifold M of smooth curves in lRn with a Riemannian metric that allows us to treat continuous morphs (homotopies) between two curves c0 and c1 as trajectorie...
164
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Motivated by applications to sensor, peer-topeer and ad hoc networks, we study distributed asynchronous algorithms, also known as gossip algorithms, for computation and...
196
Voted
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
With the ability to place large numbers of transistors on a single silicon chip, manufacturers have begun developing chip multiprocessors (CMPs) containing multiple processor core...
167
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...