Sciweavers

14244 search results - page 312 / 2849
» Modeling Program Predictability
Sort
View
129
Voted
DIS
2007
Springer
15 years 9 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
180
Voted
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 7 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
90
Voted
ER
2009
Springer
96views Database» more  ER 2009»
15 years 10 months ago
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
Richard Dapoigny, Patrick Barlatier
100
Voted
IFIP
2007
Springer
15 years 9 months ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre