4231 search results - page 654 / 847 » Using Language More Responsibly |
213
Voted
EDBTW
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
188
Voted
ICFEM
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
161
Voted
ITS
2004
Springer
16 years 12 days ago
2004
Springer
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
187
Voted
COOPIS
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
164
Voted
DAC
2003
ACM
16 years 8 days ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...