4581 search results - page 765 / 917 » Computing Transformation Semigroups |
161
click to vote
HVC
2005
Springer
15 years 12 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
183
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
173
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
169
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
165
click to vote
IVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. One of the focuses of...