11097 search results - page 105 / 2220 » Hera presentation generator |
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
ISMVL
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work [12] and generates a cascade of inverted-control-Toffoli gates from t...
TSD
1999
Springer
15 years 2 months ago
1999
Springer
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...
FSE
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents an operational reconstruction technique of most stream ciphers. We primarily expose it for key-stream generators which consist of several linear feedback shift ...
108
click to vote
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...