Sciweavers

1418 search results - page 32 / 284
» How to Explain Mistakes
Sort
View
TPHOL
2000
IEEE
14 years 1 days ago
Verified Optimizations for the Intel IA-64 Architecture
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
Jim Grundy
WSC
2001
13 years 9 months ago
Spreadsheet simulation
"Spreadsheet simulation" refers to the use of a spreadsheet as a platform for representing simulation models and performing simulation experiments. This tutorial explain...
Andrew F. Seila
COLING
1994
13 years 9 months ago
Towards a Proper Linguistic and Computational Treatment of Scrambling: An Analysis of Japanese
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
Sandiway Pong

Publication
591views
13 years 9 months ago
DFC, Microsoft developers, .NET and DFC PIA
This is a very nice article that explains the Documentum Foundation Class and how it relates to .NET programming. I developed a lot of applications using .NET that work with Docume...
Craig’s Musings
AMC
2007
112views more  AMC 2007»
13 years 8 months ago
Computing moments of free additive convolution of measures
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...
Wlodzimierz Bryc