A decomposition theorem for finite persistent transition systems

By Best Eike  

Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. : 237-254

Springer Publishing Company

Access to resources Recommend Favorite

Exploiting transition locality in automatic verification of finite-state concurrent systems

By Della Penna Giuseppe   Intrigila Benedetto   Melatti Igor   Tronci Enrico   Venturini Zilli Marisa  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 320-341

Springer Publishing Company

Access to resources Recommend Favorite

Problems with using MPI 1.1 and 2.0 as compilation targets for parallel language implementations

By Bonachea Dan   Duell Jason  

International Journal of High Performance Computing and Networking, Vol. 1, Iss. 1-2, 2005-08 ,pp. : 91-99

Inderscience Publishers

Access to resources Recommend Favorite

Algebraic specification of reactive systems

By Broy M.  

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 3-40

Elsevier

Access to resources Recommend Favorite

Energy-aware compilation and hardware design for VLIW embedded systems

By Ayala Jose L.   Lopez-Vallejo Marisa   Atienza David   Raghavan Praveen   Catthoor Francky   Verkest Diederik  

International Journal of Embedded Systems, Vol. 3, Iss. 1-2, 2007-12 ,pp. : 73-82

Inderscience Publishers

Access to resources Recommend Favorite