11484 search results - page 2208 / 2297 » Modeling in the Large and Modeling in the Small |
173
click to vote
P2P
2006
IEEE
16 years 9 days ago
2006
IEEE
Peer-to-peer grids aim to build computational grids encompassing thousands of sites. To achieve this scale, such systems cannot rely on trust or off-line negotiations among partic...
170
click to vote
SEFM
2006
IEEE
16 years 9 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
153
click to vote
ACMSE
2006
ACM
16 years 8 days ago
2006
ACM
elow are abstracts of student-faculty collaborative work presented at regional, national, and international conferences. Gregory Adkins, Elizabeth Carter, Amanda Micai, and Sarah M...
180
click to vote
ASPLOS
2006
ACM
16 years 8 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
171
click to vote
ELPUB
2006
ACM
16 years 8 days ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...