Sciweavers

2741 search results - page 24 / 549
» Engineering Mathematical Knowledge
Sort
View
JSAC
2006
106views more  JSAC 2006»
13 years 8 months ago
Mathematical Decomposition Techniques for Distributed Cross-Layer Optimization of Data Networks
Abstract--Network performance can be increased if the traditionally separated network layers are jointly optimized. Recently, network utility maximization has emerged as a powerful...
Björn Johansson, Pablo Soldati, Mikael Johans...
ICFP
2003
ACM
14 years 8 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page
COMPSAC
2002
IEEE
14 years 1 months ago
A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
Frederick V. Ramsey, James J. Alpigini
SIGSOFT
2010
ACM
13 years 6 months ago
Minding the (semantic) gap: engineering programming language theory
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
Arjun Guha, Shriram Krishnamurthi
ADG
1998
Springer
138views Mathematics» more  ADG 1998»
14 years 26 days ago
Automated Geometry Diagram Construction and Engineering Geometry
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
Xiao-Shan Gao