YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Programming Programming Languages Languages Erlang Erlang Conferences Conferences Proceedings Proceedings
 
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  10 - 20  of total  44  results  [ 0.221  seconds ]  


 
 11 - Cross-Module Optimization of Erlang. Browse Website open in new window
    
  07-January-2012 
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)


[more pages from this URL] 


 
 12 - Development of a Verified Erlang Program for Resource Locking Browse Website open in new window
    
  07-January-2012 
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)


[more pages from this URL] 


 
 13 - Development of a Verified Erlang Program for Resource Locking Browse Website open in new window
    
  07-January-2012 
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)


[more pages from this URL] 


 
 14 - Erlang in the Corelatus MTP2 Signalling Gateway. Browse Website open in new window
    
  07-January-2012 
Matthias Läng. Proceedings from EUC 2001, Stockholm.


[more pages from this URL] 


 
 15 - Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems. Browse Website open in new window
    
  07-January-2012 
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)


[more pages from this URL] 


 
 16 - Exploiting Sequential Libraries on a Cluster of Computers Browse Website open in new window
    
  07-January-2012 
Miguel Barreiro, Jose Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)


[more pages from this URL] 


 
 17 - Extending Erlang for Safe Mobile Code Execution Browse Website open in new window
    
  07-January-2012 
by L. Brown, D. Sahlin. (ps.gz)


[more pages from this URL] 


 
 18 - Extending Erlang with structured module packages Browse Website open in new window
    
  07-January-2012 
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000


[more pages from this URL] 


 
 19 - Extracting the Process Structure of Erlang Applications Browse Website open in new window
    
  07-January-2012 
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)


[more pages from this URL] 


 
 20 - Four-fold Increase in Productivity and Quality Browse Website open in new window
    
  07-January-2012 
Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.


[more pages from this URL] 

« Previous  1  2  3  4  5  Next »


Easy Web Admin

Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us