Alloy Community

User login

Alloy Performance?

Home » Forums » Discussion » Language and Tool Extensions
 
Posted on: Wed, 10/15/2008 - 08:42
whassan
whassan's picture
Joined: 2008-08-08
Points: 231
User is offline
Alloy Performance?
Has there been any work on evaluating Alloy's performance?  I am looking for metrics or benchmarks.
 
Posted on: Thu, 02/19/2009 - 14:12    #1
bernardofbbraga
bernardofbbraga's picture
Joined: 2008-09-04
Points: 104
User is offline
I don't know much of Alloy's entrains, so I may just be talking nonsense but I had a class the other day and a fellow student talked about GPGPUs for paralell processing.
Since Alloy works with multiple diferent possible worlds, I thought maybe these processing can be done in paralell?
Does that make any sense and if it does is there any effort on this?
----------
Bernardo F. B. Braga
Graduate Student at Universidade Federal do Espirito Santo (UFES), Vitória - Espirito Santo (ES) - Brasil

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte