61 search results - page 7 / 13 » Considerations in HPJava Language Design and Implementation |
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
86
Voted
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
96
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
102
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
SIGCOMM
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...