2300 search results - page 21 / 460 » Maximally Concurrent Programs |
88
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
84
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
189
Voted
POPL
2007
ACM
16 years 26 days ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
101
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
107
Voted
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...