2137 search results - page 192 / 428 » Proving Abstract Non-interference |
101
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper investigates the implementation of highradix multiplication based on the Electron Counting (EC) paradigm in Single Electron Tunneling (SET) technology. First...
164
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
100
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- Seeding the population of an evolutionary algorithm with solutions from previous runs has proved to be useful when learning control strategies for agents operating in a c...
113
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In this paper, we consider the task of repositioning a formation of robots to a new shape while minimizing either the maximum distance that any robot travels, or the to...
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In this paper, we present a new description of the XCode, a class of MDS array code, using skews, named S-Code. The X-Codes result in codewords that are arrays of size ...