메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 307-314

Parallel jess

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; KNOWLEDGE BASED SYSTEMS; SYSTEMS ANALYSIS;

EID: 33847698579     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2005.38     Document Type: Conference Paper
Times cited : (6)

References (42)
  • 1
    • 33847693855 scopus 로고    scopus 로고
    • Clips, http://www.ghg. net/clips/Clips.html.
    • Clips
  • 2
    • 33847696044 scopus 로고    scopus 로고
    • Jess. http://herzberg.ca.sandia.gov/jess/.
    • Jess
  • 3
    • 33847757415 scopus 로고    scopus 로고
    • Jpvm, 1999. http://www.cs.virginia.edu/~ajf2j/jpvm.html.
    • (1999)
    • Jpvm1
  • 5
    • 33847724239 scopus 로고    scopus 로고
    • P systems web page, 2004. http://psystems.disco.unimib.it.
    • (2004) P systems web page
  • 7
    • 33847756266 scopus 로고    scopus 로고
    • Rewriting p systems in maude
    • O. Andrei, G.Ciobanu, and D.Lucanu. Rewriting p systems in maude. In Pre-Proc. WMC5, 2004. http://psystems. disco.unimib.it/procwmc5.html.
    • (2004) Pre-Proc. WMC5
    • Andrei, O.1    Ciobanu, G.2    Lucanu, D.3
  • 8
    • 35248870114 scopus 로고    scopus 로고
    • A software simulation of transition p systems in haskell
    • Springer
    • F. Arroyo and al. A software simulation of transition p systems in haskell. In Proc. WMC2, volume LNCS 2597, pages 19-32. Springer, 2003.
    • (2003) Proc. WMC2 , vol.LNCS 2597 , pp. 19-32
    • Arroyo, F.1    and al2
  • 9
    • 5044246623 scopus 로고    scopus 로고
    • A mzscheme implementation of transition p systems
    • Springer
    • D. Balbontin Noval and al. A mzscheme implementation of transition p systems. In Proc. WMC2, volume LNCS 2597, pages 58-73. Springer, 2003.
    • (2003) Proc. WMC2 , vol.LNCS 2597 , pp. 58-73
    • Balbontin Noval, D.1    and al2
  • 10
    • 84944902820 scopus 로고    scopus 로고
    • Towards an electronic implementation of membrane computing: A formal description of nondeterministic evolution in transition p systems
    • Springer
    • A. Baranda and al. Towards an electronic implementation of membrane computing: A formal description of nondeterministic evolution in transition p systems. In Proc. DNA7, volume LNCS 2340, pages 350-359. Springer, 2002.
    • (2002) Proc. DNA7 , vol.LNCS 2340 , pp. 350-359
    • Baranda, A.1    and al2
  • 11
    • 33847724636 scopus 로고    scopus 로고
    • C. Bonchis, C.Izbasa, G.Ciobanu, and D.Petcu. Webps: A web-based p system simulation with query facilities. In Proc. WMC6, LNCS in print. Springer, 2005.
    • C. Bonchis, C.Izbasa, G.Ciobanu, and D.Petcu. Webps: A web-based p system simulation with query facilities. In Proc. WMC6, volume LNCS in print. Springer, 2005.
  • 12
    • 26444609514 scopus 로고    scopus 로고
    • Computing with cells and atoms: After five years
    • Technical Report 246, CDMTCS
    • C. Calude and G.Paun. Computing with cells and atoms: After five years. Technical Report 246, CDMTCS, 2004. www.cs.auckland.ac.nz/CDMTCS/ researchreports/246cris.
    • (2004)
    • Calude, C.1    Paun, G.2
  • 14
  • 15
    • 33846059311 scopus 로고    scopus 로고
    • A parallel implementation of the transition p systems
    • G. Ciobanu and G.Wenyuan. A parallel implementation of the transition p systems. In Pre-Proc. WMC3, pages 169-184, 2003. http://psystems.disco. unimib.it/wmc03.zip.
    • (2003) Pre-Proc. WMC3 , pp. 169-184
    • Ciobanu, G.1    Wenyuan, G.2
  • 16
    • 35048901464 scopus 로고    scopus 로고
    • P systems running on a cluster of computers
    • Springer
    • G. Ciobanu and G.Wenyuan. P systems running on a cluster of computers. In Proc. WMC3, volume LNCS 2933, pages 123-139. Springer, 2004.
    • (2004) Proc. WMC3 , vol.LNCS 2933 , pp. 123-139
    • Ciobanu, G.1    Wenyuan, G.2
  • 17
    • 23844507017 scopus 로고    scopus 로고
    • Membrane systems and distributed computing
    • Springer
    • G. Ciobanu, R.Desai, and A.Kumar. Membrane systems and distributed computing. In Proc. WMC2, volume LNCS 2597, pages 187-202. Springer, 2003.
    • (2003) Proc. WMC2 , vol.LNCS 2597 , pp. 187-202
    • Ciobanu, G.1    Desai, R.2    Kumar, A.3
  • 18
    • 84873989716 scopus 로고    scopus 로고
    • A prolog simulator for deterministic p systems with active membranes
    • A. Cordon-Franco and al. A prolog simulator for deterministic p systems with active membranes. In Proc. BWMC1, pages 141-154, 2003.
    • (2003) Proc. BWMC1 , pp. 141-154
    • Cordon-Franco, A.1    and al2
  • 19
    • 35048845575 scopus 로고    scopus 로고
    • Implementing in prolog an effective cellular solution for knapsack problem
    • Springer
    • A. Cordon-Franco and al. Implementing in prolog an effective cellular solution for knapsack problem. In Proc. WMC3, volume LNCS2933, pages 140-152. Springer, 2004.
    • (2004) Proc. WMC3 , vol.LNCS2933 , pp. 140-152
    • Cordon-Franco, A.1    and al2
  • 20
    • 84878624529 scopus 로고
    • Epidaure: A Java distributed tool for building dai applications
    • Springer
    • D. Fezzani and J.Desbiens. Epidaure: A Java distributed tool for building dai applications. In Proc. EuroPar'99, volume LNCS 1685, pages 785-789. Springer, 1999.
    • (1685) Proc. EuroPar'99 , vol.LNCS , pp. 785-789
    • Fezzani, D.1    Desbiens, J.2
  • 21
    • 0020177941 scopus 로고
    • Rete: A fast algorithm for the many pattern/object match problem
    • C. Forgy, Rete: A fast algorithm for the many pattern/object match problem. Artificial Intelligence, 19:17-37, 1982.
    • (1982) Artificial Intelligence , vol.19 , pp. 17-37
    • Forgy, C.1
  • 23
    • 33847733420 scopus 로고    scopus 로고
    • E. Friedman-Hill. Jess: manners and waltz test for jess. Technical report, 2003. http://www.mail-archive.com/jess-users@sandia.gov/msg05113.html.
    • E. Friedman-Hill. Jess: manners and waltz test for jess. Technical report, 2003. http://www.mail-archive.com/jess-users@sandia.gov/msg05113.html.
  • 24
    • 51849161061 scopus 로고
    • Dai-clips: Distributed, asynchronous, interacting clips
    • D. Gagne and A.Garant. Dai-clips: Distributed, asynchronous, interacting clips. In Procs. Clips'94, pages 297-306, 1994, http://www.ghg.net/clips/ Clips.html.
    • (1994) Procs. Clips'94 , pp. 297-306
    • Gagne, D.1    Garant, A.2
  • 25
    • 35248825987 scopus 로고    scopus 로고
    • Accretive rules in cayley p systems
    • Springer
    • J. Giavitto, O.Michel, and J.Cohen, Accretive rules in cayley p systems. In Proc. WMC2, volume LNCS 2597, pages 319-338. Springer, 2003.
    • (2003) Proc. WMC2 , vol.LNCS 2597 , pp. 319-338
    • Giavitto, J.1    Michel, O.2    Cohen, J.3
  • 26
    • 33644482777 scopus 로고
    • Pclips: Parallel clips
    • L. Hall, B.H.Bennett, and I.Tello. Pclips: Parallel clips. In Procs. Clips'94, pages 307-314, 1994. http://www.ghg. net/clips/Clips.html.
    • (1994) In Procs. Clips'94 , pp. 307-314
    • Hall, L.1    Bennett, B.H.2    Tello, I.3
  • 28
    • 33644479656 scopus 로고
    • Pclips: A distributed expert system environment
    • R. Miller. Pclips: A distributed expert system environment. In Procs. Clips Users Group Conf, 1990.
    • (1990) Procs. Clips Users Group Conf
    • Miller, R.1
  • 29
    • 33644494442 scopus 로고
    • Using pvm to host clips in distributed environments
    • L. Myers and K.Pohl. Using pvm to host clips in distributed environments. In Procs. Clips'94, pages 177-186, 1994. http://www.ghg.net/clips/Clips. html.
    • (1994) Procs. Clips'94 , pp. 177-186
    • Myers, L.1    Pohl, K.2
  • 30
    • 84873996630 scopus 로고    scopus 로고
    • A Java simulator for basic transition p systems
    • I. Nepomuceno-Chamorro. A Java simulator for basic transition p systems. In Proc. BWMC2, 2004. http://www.gcn. us.es/Brain/bravolpdf/SIM21.pdf.
    • (2004) Proc. BWMC2
    • Nepomuceno-Chamorro, I.1
  • 31
    • 33847754171 scopus 로고
    • Parallel clips for current hypercube architectures
    • L. O'Higgins Hall and al. Parallel clips for current hypercube architectures. In Proc. FLAIRS'93, 1993.
    • (1993) Proc. FLAIRS'93
    • O'Higgins Hall, L.1    and al2
  • 33
    • 33847732139 scopus 로고    scopus 로고
    • A clips simulator for recognizer p systems with active membranes
    • M. Perez-Jimenez and F.J.Romero-Campero. A clips simulator for recognizer p systems with active membranes. In Proc. BWMC1, 2002. http://www.gcn.us.es/ Brain/bravolpdf/Clips.pdf.
    • (2002) Proc. BWMC1
    • Perez-Jimenez, M.1    Romero-Campero, F.J.2
  • 34
    • 13944250149 scopus 로고    scopus 로고
    • Solving the binpacking problem by recognizer p systems with active membranes
    • M. Perez-Jimenez and F. Romero-Campero. Solving the binpacking problem by recognizer p systems with active membranes. In Proc. BWMC2, pages 414-430, 2004.
    • (2004) Proc. BWMC2 , pp. 414-430
    • Perez-Jimenez, M.1    Romero-Campero, F.2
  • 35
    • 33847704818 scopus 로고    scopus 로고
    • Trading polarizations for bi-stable catalysts in p systems with active membranes
    • M. Perez-Jimenez and F. Romero-Campero. Trading polarizations for bi-stable catalysts in p systems with active membranes. In Pre-Proc. WMC5, pages 327-342, 2004.
    • (2004) Pre-Proc. WMC5 , pp. 327-342
    • Perez-Jimenez, M.1    Romero-Campero, F.2
  • 36
    • 35048847962 scopus 로고    scopus 로고
    • A reconfigurable hardware membrane system
    • Springer
    • B. Petreska and C.Teuscher. A reconfigurable hardware membrane system, In Proc. WMC3, volume LNCS 2933, pages 269-285. Springer, 2004.
    • (2004) Proc. WMC3 , vol.LNCS 2933 , pp. 269-285
    • Petreska, B.1    Teuscher, C.2
  • 38
    • 33847763959 scopus 로고    scopus 로고
    • Specification and execution of p systems with symport/antiport rules using rewriting logic
    • Z. Qi and al. Specification and execution of p systems with symport/antiport rules using rewriting logic. In Pre-Proc. WMC5, 2004.
    • (2004) Pre-Proc. WMC5
    • Qi, Z.1    and al2
  • 39
    • 33847753795 scopus 로고
    • Implementing clips on a parallel computer
    • NASA/Johnson Space Center
    • G. Riley, Implementing clips on a parallel computer. In Proc. SOAR'87. NASA/Johnson Space Center, 1987.
    • (1987) Proc. SOAR'87
    • Riley, G.1
  • 40
    • 84944055808 scopus 로고
    • A service-based agent framework for distributed symbolic computation
    • Springer
    • R. Schimkat and al. A service-based agent framework for distributed symbolic computation, In Proc. HPCN2000, volume LNCS 1823, pages 644-656. Springer, 2000.
    • (1823) Proc. HPCN2000 , vol.LNCS , pp. 644-656
    • Schimkat, R.1    and al2
  • 41
    • 35048862320 scopus 로고    scopus 로고
    • A distributed simulation of transition p systems
    • Springer
    • A. Syropoulos and al. A distributed simulation of transition p systems. In Proc. WMC3, volume LNCS 2933, pages 357-368. Springer, 2004.
    • (2004) Proc. WMC3 , vol.LNCS 2933 , pp. 357-368
    • Syropoulos, A.1    and al2
  • 42
    • 33644491343 scopus 로고
    • Towards semantic-based exploration of parallelism in production systems
    • Technical Report TR-94-23
    • S. Wu, D.Miranker, and J.Browne. Towards semantic-based exploration of parallelism in production systems. Technical Report TR-94-23, 1994. http://historical.ncstrl.org/litesite-data/utexas.cs/tr94-23.ps.Z.
    • (1994)
    • Wu, S.1    Miranker, D.2    Browne, J.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.