BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × India
1 × Portugal
1 × Switzerland
2 × France
2 × Spain
3 × USA
Collaborated with:
V.S.Costa R.Rocha R.Lopes P.M.P.Ribeiro L.M.B.Lopes S.Choobdar V.T.Vasconcelos M.E.Correia R.Martins P.Narasimhan
Talks about:
tabl (5) parallel (4) model (4) andorra (3) extend (3) program (2) network (2) exploit (2) system (2) discov (2)

Person: Fernando M. A. Silva

DBLP DBLP: Silva:Fernando_M=_A=

Contributed to:

SAC 20152015
SAC 20132013
SAC 20102010
ICLP 20052005
ICLP 20042004
PADL 20042004
ICLP 20032003
ICLP 20012001
PADL 20012001
PADL 19991999
PPDP 19991999
ILPS 19971997

Wrote 13 papers:

SAC-2015-ChoobdarRS #network
Discovering weighted motifs in gene co-expression networks (SC, PMPR, FMAS), pp. 10–17.
SAC-2013-MartinsLSN #fault tolerance #framework #middleware #platform #realtime
Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
SAC-2010-RibeiroS #data type #named #network #performance
g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
ICLP-2005-RochaLSC #modelling #named #prolog
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.
ICLP-2005-RochaSC #evaluation #logic programming #source code
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.
ICLP-2004-RochaSC #logic programming #source code
Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.
Pruning in the Extended Andorra Model (RL, VSC, FMAS), pp. 120–134.
ICLP-2003-LopesCS #on the
On Deterministic Computations in the Extended Andorra Model (RL, VSC, FMAS), pp. 407–421.
ICLP-2001-RochaSC #on the
On a Tabling Engine That Can Exploit Or-Parallelism (RR, FMAS, VSC), pp. 43–58.
PADL-2001-LopesCS #implementation #novel
A Novel Implementation of the Extended Andorra Model (RL, VSC, FMAS), pp. 199–213.
Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.
PPDP-1999-LopesSV #calculus #process #virtual machine
A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
ILPS-1997-CorreiaSC #orthogonal #parallel
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems (MEC, FMAS, VSC), pp. 117–131.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.