Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
2 + 10 ≻ 1 + 50Hansson, Hans ; Norström, Christer ; Punnekkat, Sasikumar Rolim, JoséLecture notes in computer science, 2000, p.734-737 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
2Gbit/s hardware realizations of RIJNDAEL and SERPENT: A comparative analysisLUTZ, A. K ; TREICHLER, J ; GÜRKAYNAK, F. K ; KAESLIN, H ; BASLER, G ; ERNI, A ; REICHMUTH, S ; ROMMENS, P ; OETIKER, S ; FICHTNER, WLecture notes in computer science, 2002, p.144-158 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
4th Workshop on Object-Oriented Architectural EvolutionMens, Tom ; Galal, Galal Hassan Frohner, ÁkosLecture notes in computer science, 2002, p.150-164 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
6th Workshop on Component-Oriented ProgrammingBosch, Jan ; Szyperski, Clemens ; Weck, Wolfgang Frohner, ÁkosLecture notes in computer science, 2002, p.98-106 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
A 1 Gbit/s Partially Unrolled Architecture of Hash Functions SHA-1 and SHA-512Lien, Roar ; Grembowski, Tim ; Gaj, Kris Okamoto, TatsuakiLecture notes in computer science, 2004, p.324-338 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A 2-Way Laser-Assisted Selection Scheme for Handhelds in a Physical EnvironmentPatel, Shwetak N. ; Abowd, Gregory D. McCarthy, Joseph F. ; Schmidt, Albrecht ; Dey, Anind K.Lecture notes in computer science, 2003, p.200-207 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable CircuitsNiang, Pierre ; Grandpierre, Thierry ; Akil, Mohamed ; Sorel, Yves Platzner, Marco ; Becker, Jürgen ; Vernalde, SergeField Programmable Logic and Application, 2004, p.1119-1123 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
ABC/ADL: An ADL Supporting Component CompositionMei, Hong ; Chen, Feng ; Wang, Qianxiang ; Feng, Yaodong Miao, Huaikou ; George, ChrisFormal Methods and Software Engineering, 2002, p.38-47 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Ability of classes of dataflow schemata with timing dependencyMATSUBARA, Yasuo ; MIYAGAWA, HiroyukiLecture notes in computer science, 2000, p.364-373 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Abstraction-Based Model Checking Using Heuristical RefinementQian, Kairong ; Nymeyer, Albert Wang, FarnAutomated Technology for Verification and Analysis, 2004, p.165-178 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |