Sciweavers

5066 search results - page 180 / 1014
» Spectra of structures and relations
Sort
View
EUROPAR
2004
Springer
15 years 10 months ago
A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
Edmond Kereku, Tianchao Li, Michael Gerndt, Josef ...
FSE
2003
Springer
228views Cryptology» more  FSE 2003»
15 years 10 months ago
Further Observations on the Structure of the AES Algorithm
We present our further observations on the structure of the AES algorithm relating to the cyclic properties of the functions used in this cipher. We note that the maximal period of...
Beomsik Song, Jennifer Seberry
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
15 years 10 months ago
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
Roman M. Wong, Siddhartha Bhattacharyya
142
Voted
COOPIS
2000
IEEE
15 years 9 months ago
Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
Andreas Becks, Stefan Sklorz, Matthias Jarke
AISC
2010
Springer
15 years 9 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth