614 search results - page 26 / 123 » The Power of Methods With Parallel Semantics |
114
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
125
click to vote
IOPADS
1996
15 years 3 months ago
1996
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...
125
click to vote
ICDCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
107
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
129
click to vote
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...