3902 search results - page 715 / 781 » Hardware Synthesis from C C Models |
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
In traditional mobile streaming networks such as 3G cellular networks, all users pull streams from a server. Such pull model leads to high streaming cost and problem in system sca...
PODC
2006
ACM
14 years 3 months ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
ACMICEC
2005
ACM
14 years 2 months ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
WINE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We provide the first strongly polynomial time exact combinatorial algorithm to compute Fisher equilibrium for the case when utility functions do not satisfy the Gross su...