1154 search results - page 9 / 231 » Mathematizing C concurrency |
AIEDAM
2008
13 years 7 months ago
2008
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
13 years 5 months ago
MPC
1998
Springer
13 years 12 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
CONCURRENCY
1998
13 years 7 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...