2607 search results - page 256 / 522 » Complete Functional Synthesis |
111
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
In this work we propose a methodology for the accurate analysis of the power consumption of interprocessor communication in a MPSoC, and the construction of high-level power macro...
102
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a physico-chemical model relating measured fluorescence intensities on oligonucleotide microarrays to the underlying specific target concentration in the hybridized so...
122
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We survey our current knowledge of circuit complexity of regular languages and we prove that regular languages that are in AC0 and ACC0 are all computable by almost linear size ci...
114
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents the MRCP (Modular Routing Control Platform), a routing control architecture that provides complete control and visibility of interdomain routing in a single AS...
134
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...