MTV'02: Call for Papers

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

MTV'02: Call for Papers

Miroslav Velev
Microprocessor Test and Verification (MTV'02)
January 21-22, 2002, Austin, Texas, USA:

http://ece.tamu.edu/MTV/

Deadline for submission of abstracts: October 26, 2001


P.S. Note the special topic on optimizing SAT procedures
for application to testing and formal verification.


Reply | Threaded
Open this post in threaded view
|

Background mode

Salvador Alcaraz
Hello friends:

I have a small problem:

1. Is it possible to launch Erlang shell, load a module  and execute a
function, from Linux shell.

2. Is it possible to launch Erlang shell in Background mode from Linux
shell?

Thank you in advance

__________________________________________________________________________
Salvador Alcaraz Carrasco                   http://www.umh.es         
Division de Ingenieria Telematica           http://obelix.umh.es     
Dpto. Fisica y Arquitectura de Computadores salcaraz          
Universidad Miguel Hernandez                salcaraz    
Avda. del ferrocarril, s/n                  Telf. +34 96 665 8495    
Elche, Alicante (Spain)                                              
__________________________________________________________________________