10910 search results - page 1986 / 2182 » Input modeling using a computer algebra system |
143
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
127
click to vote
FDTC
2006
Springer
15 years 8 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
134
click to vote
ICPP
1995
IEEE
15 years 8 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
127
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
129
click to vote
PDPTA
2000
15 years 5 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...