3436 search results - page 538 / 688 » Software Tools for Performance Modeling of Parallel Programs |
115
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
131
Voted
AUSFORENSICS
2004
15 years 3 months ago
2004
Password policies alone do not stand a chance of securing computer systems which rely on the use of secretbased, password authentication methods. The enforcement of "strong&q...
115
click to vote
UIST
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
126
click to vote
CF
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
115
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....