4401 search results - page 538 / 881 » Computing with Default Logic |
168
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
184
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Evolutionary systems based on genetic algorithms GAs are common nowadays. One of the recent uses of such systems is in the burgeoning eld of evolvable hardware which involves, amo...
185
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
179
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
180
click to vote
PKC
1998
Springer
15 years 11 months ago
1998
Springer
Signcryption, first proposed by Zheng [4,5], is a cryptographic primitive which combines both the functions of digital signature and public key encryption in a logical single step,...