Sciweavers

1550 search results - page 62 / 310
» Erlang for Concurrent Programming
Sort
View
162
Voted
IPPS
2000
IEEE
15 years 12 months ago
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell, Dominique Méry, Christop...
VLSID
2000
IEEE
76views VLSI» more  VLSID 2000»
15 years 12 months ago
Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming
Aviral Shrivastava, Mohit Kumar, Sanjiv Kapoor, Sh...