5510 search results - page 208 / 1102 » Mathematics |
146
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
118
click to vote
CSMR
2009
IEEE
15 years 9 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
127
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
127
click to vote
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
The degree of a rational map measures how often the map covers the image variety. In particular, when the rational map is a parametrization, the degree measures how often the para...
125
click to vote
BIBE
2000
IEEE
15 years 8 months ago
2000
IEEE
In the biological sciences, the mathematical approach to studying feedbackmechanisms has not been common despite the abundance of such mechanismsin those systems. In this paper, w...