3994 search results - page 644 / 799 » A Linear Logical Framework |
168
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents accurate area and power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family. These models are designed to facilitate efficien...
230
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
214
Voted
RSP
2008
IEEE
16 years 1 months ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
176
click to vote
WETICE
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
174
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...