Sciweavers

661 search results - page 59 / 133
» Concurrency, objects and visualisation
Sort
View
ICSE
1997
IEEE-ACM
14 years 2 months ago
Endeavors: A Process System Infrastructure
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. ...
ISQED
2003
IEEE
85views Hardware» more  ISQED 2003»
14 years 3 months ago
Static Pin Mapping and SOC Test Scheduling for Cores with Multiple Test Sets
An algorithm for mapping core terminals to System-On-a-Chip (SOC) I/O pins and scheduling tests in order to achieve costefficient concurrent test for core-based designs is present...
Yu Huang, Wu-Tung Cheng, Chien-Chung Tsai, Nilanja...
CONCURRENCY
2010
112views more  CONCURRENCY 2010»
13 years 10 months ago
Performance results of running parallel applications on the InteGrade
The InteGrade project is an on-going project with the participation of several research groups in Brazil. It is an opportunistic grid middleware that intends to exploit the idle t...
E. N. Cáceres, Henrique Mongelli, L. Lourei...
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
13 years 10 months ago
Formation of virtual organizations in grids: a game-theoretic approach
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
Thomas E. Carroll, Daniel Grosu
CALCO
2005
Springer
105views Mathematics» more  CALCO 2005»
14 years 3 months ago
A Categorical Approach to Simulations
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
Miguel Palomino, José Meseguer, Narciso Mar...