1850 search results - page 200 / 370 » Design-for-debugging of application specific designs |
141
Voted
KDD
2001
ACM
16 years 3 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
125
Voted
PLDI
2010
ACM
16 years 5 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
132
Voted
ASE
2008
15 years 2 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
133
Voted
WSC
1997
15 years 4 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
133
Voted
PVM
1997
Springer
15 years 7 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...