2756 search results - page 290 / 552 » Parallel Mesh Generation |
136
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
109
click to vote
ICPP
1997
IEEE
15 years 7 months ago
1997
IEEE
Optamzztng compalataon as very amportant for generatang code sequentes an order to utalaze the characterastacs of processor archatectures. One of the most essentaal optzmazataon t...
118
click to vote
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
The open and anonymous nature of a P2P network makes it an ideal medium for attackers to spread malicious content. In this paper, we propose a reputation-based trust management sy...
153
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Provenance is the documentation concerning the origin of a result generated by a process, and provides explanations about who, how, what resources were used in a process, and the ...
127
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...