-
1
-
-
33847693855
-
-
Clips, http://www.ghg. net/clips/Clips.html.
-
Clips
-
-
-
2
-
-
33847696044
-
-
Jess. http://herzberg.ca.sandia.gov/jess/.
-
Jess
-
-
-
3
-
-
33847757415
-
-
Jpvm, 1999. http://www.cs.virginia.edu/~ajf2j/jpvm.html.
-
(1999)
-
-
Jpvm1
-
5
-
-
33847724239
-
-
P systems web page, 2004. http://psystems.disco.unimib.it.
-
(2004)
P systems web page
-
-
-
8
-
-
35248870114
-
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
-
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
-
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
-
-
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
-
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
-
15
-
-
33846059311
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
28
-
-
33644479656
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|