5434 search results - page 891 / 1087 » Tool support for MOLA |
142
click to vote
PADS
1996
ACM
15 years 10 months ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
177
click to vote
POPL
1996
ACM
15 years 10 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
153
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
This paper describesthe use of AI planning techniques to representscientific, image processing, and software tool knowledge to automateknowledgediscoveryanddatamining (e.g.,scienc...
168
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
166
click to vote
ICCAD
1993
IEEE
15 years 10 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...