13 search results - page 3 / 3 » Modular Analysis of Suspension Free cc Programs |
CC
2001
Springer
13 years 9 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
HICSS
1998
IEEE
13 years 9 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...