Sciweavers

3579 search results - page 284 / 716
» Transformations of software models into performance models
Sort
View
LCPC
2007
Springer
16 years 9 days ago
An Experimental Evaluation of the New OpenMP Tasking Model
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
Eduard Ayguadé, Alejandro Duran, Jay Hoefli...
JCIT
2010
197views more  JCIT 2010»
15 years 29 days ago
Comparative Study of M/Er/1 and M/M/1 Queuing Delay Models of the two IP-PBXs
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
Alireza Dehestani, Pedram Hajipour
TASE
2008
IEEE
16 years 16 days ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
Corinna Spermann, Michael Leuschel
METRICS
2005
IEEE
15 years 11 months ago
Assessing the Impact of Coupling on the Understandability and Modifiability of OCL Expressions within UML/OCL Combined Models
Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solve...
Luis Reynoso, Marcela Genero, Mario Piattini, M. E...
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
15 years 11 months ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...