9997 search results - page 155 / 2000 » The case for crowd computing |
92
Voted
ISSS
2002
IEEE
15 years 3 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
CSCWD
2001
Springer
15 years 2 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study the issue of performance prediction on the SGIPower Challenge, a typical SMP. On such a platform, the cost of memory accesses depends on their locality and on contention ...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
119
click to vote
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...