5510 search results - page 398 / 1102 » Mathematics |
151
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...
118
click to vote
TIME
1999
IEEE
15 years 11 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
150
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
180
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
170
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...