3901 search results - page 249 / 781 » software 2008 |
133
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
140
Voted
CGO
2008
IEEE
16 years 21 days ago
2008
IEEE
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per
142
click to vote
CISIS
2008
IEEE
16 years 21 days ago
2008
IEEE
Currently, we are developing an agent-team based infrastructure for resource brokering and management in Grids. In this note we consider how team is supervised and how mirroring c...
150
click to vote
CSMR
2008
IEEE
16 years 21 days ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
124
click to vote
CSSE
2008
IEEE
16 years 21 days ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...