• 1
  • 2
  • 5
  • 6
  • 3
  • 4
IPM
30
YEARS OLD

“Papers of School of Computer Science”

Back to Papers Home
 

Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38

  81. G. Jaberipur and B. Parhami,
Constant-time addition with hybrid-redundant numbers: Theory and implementations,
Integration, the VLSI Journal 41(2008), 49-64  [abstract]

   82. S. Tasharofi and M. Sirjani,
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM,
in: FOCLASA, , 2008, pp.   [abstract]

   83. C. Talcott, M. Sirjani and S. Ren,
Comparing Three Coordination Models: Reo, ARC, and RRD (Invited paper of FOCLASA`07),
Electronic Notes in Theoretical Computer Science(ENTCS) 194(2008), 39-55  [abstract]

   84. R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi and H. Iravanchi,
Modeling and Analysis of Reo Connectors Using Alloy,
in: Coordination, 5052, 2008, pp. 169-183  [abstract]

   85. H. Hojjat, M.R. Mousavi and M. Sirjani,
Process algebraic verification of SystemC codes,
in: ACSD, , 2008, pp. 62-67  [abstract]

   86. H. Hojjat, M. R. Mousavi and M. Sirjani,
A framework for performance evaluation and functional verification in stochastic process algebras,
in: SAC, , 2008, pp. 339-346  [abstract]

   87. A. Asoodeh, A. Shiralinia and M. Ghodsi,
Accessing Maximum Network Flow in Wireless Sensor Networks with Direct Antenna(in Persian),
  (to appear) [abstract]

   88. F. Saremi, H. Mashayekhi and M. Ghodsi,
Fault Tolerant Broadcast in One Port Meshes of Trees with Distance Insensitive Routing(in Persian),
  (to appear) [abstract]

   89. S. Daneshpajouh, M. Mohammadi Nasiri and M. Ghodsi,
A Fast Community Based Algorithm for Generating Web Crawler Seeds Set,
  (to appear) [abstract]

   90. E. Akhgari and M. Ghodsi,
Sorting on OTIS-Networks,
  (to appear) [abstract]

   back to top  

Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38

Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right