5355 search results - page 463 / 1071 » Modules |
160
Voted
HT
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
149
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
115
Voted
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Abstract - We propose an integrated archltectural/physicdplanning approach named priority assignment optimization to mioimize the current surge in high performance power eifkient c...
135
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
126
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the implementation of the Advanced Encryption Standard Algorithm, Rijndael, in a new nanoscale technology, called CMOL. This technology consists of an array of...