614 search results - page 80 / 123 » Fast Expression Templates |
DCW
2000
Springer
14 years 5 days ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
ACSAC
1999
IEEE
14 years 5 days ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
IPPS
1998
IEEE
14 years 3 days ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
KDD
1997
ACM
13 years 12 months ago
1997
ACM
The problem of discovering association rules has received considerable research attention and several fast algorithms for mining association rules have been developed. In practice...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...