10 search results - page 2 / 2 » gi 1999 |
VLSID
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we address the problem of detailed FPGA routing using Boolean formulation methods. In the context of FPGA routing where routing resources are fixed, Boolean formulat...
GI
2003
Springer
13 years 11 months ago
2003
Springer
Abstract: Die Entwicklung und Prüfung von sicheren Komponenten und einem sicheren Gesamtsystem ist das Ziel des Schwerpunktprogramm 1079 „Sicherheit in der Informations- und Kom...
GI
2005
Springer
13 years 11 months ago
2005
Springer
: Die Arbeitsgruppe Echtzeitsysteme und Kommunikation an der Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg nutzt die Attraktivität von Roboterbaukästen, ...
GI
2003
Springer
13 years 11 months ago
2003
Springer
: Als Einführung in den Workshop reflektiert der Beitrag die bisherigen Geschichtsberachtungen von Pionieren und Historikern des Internet. Er möchte zeigen, dass die bislang domi...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: Der Beitrag diskutiert die kontroversen Ansätze – Verifizierung versus Evaluation/Zertifizierung – zur Sicherung elektronischer Wahlen mit Wahlgeräten. Dabei spielt das Urt...