1154 search results - page 111 / 231 » Mathematizing C concurrency |
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Dense 802.11 wireless networks present a pressing capacity challenge: users in proximity contend for limited unlicensed spectrum. Directional antennas promise increased capacity b...
CONCURRENCY
2008
13 years 9 months ago
2008
: Over the last few years, several nations around the world have set up Grids to share resources such as computers, data, and instruments to enable collaborative science, engineeri...
STACS
1998
Springer
14 years 1 months ago
1998
Springer
d Abstract appeared in STACS `98) Joel H. Spencer1 and Katherine St. John2 1 Courant Institute, New York University, New York, NY 10012 2 Department of Mathematics, Santa Clara Uni...
ICML
2002
IEEE
14 years 10 months ago
2002
IEEE
The naive classifier is a well-established mathematical model whose simplicity, speed and accuracy have made it a popular choice for classification in AI and engineering. In this ...