2905 search results - page 327 / 581 » Formal Memetic Algorithms |
128
Voted
CODES
1996
IEEE
15 years 8 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
108
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
130
click to vote
ICDCS
1996
IEEE
15 years 8 months ago
1996
IEEE
In a distributed environment where nodes are independently motivated, many transactions or commercial exchanges may be stymied due to a lack of trust between the participants. The...
120
Voted
ECSQARU
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
103
Voted
CRYPTO
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...