1154 search results - page 57 / 231 » Mathematizing C concurrency |
101
click to vote
CONCURRENCY
1998
15 years 8 days ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
119
click to vote
AUTONOMICS
2008
ACM
15 years 2 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
94
Voted
4OR
2005
15 years 15 days ago
2005
This paper provides an introductory survey of a class of optimization problems known as bilevel programming. We motivate this class through a simple application, and then proceed w...
95
Voted
COMBINATORICS
2000
15 years 12 days ago
2000
Let (G) denote the domination number of a graph G and let G H denote the Cartesian product of graphs G and H. We prove that (G)(H) 2(G H) for all simple graphs G and H. 2000 Math...
89
Voted
PROCEDIA
2010
14 years 11 months ago
2010
Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of m...