7366 search results - page 256 / 1474 » Development of the Information Systems Implementation Resear... |
169
click to vote
LCPC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
150
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
141
click to vote
IJCINI
2007
15 years 6 months ago
2007
The purpose of this paper is to re-address the vision of human-computer symbiosis as originally expressed by J.C.R. Licklider nearly a half-century ago and to argue for the releva...
184
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
139
click to vote
BIS
2009
15 years 4 months ago
2009
Abstract. Knowledge based systems improve information interoperability, integration, and knowledge management. Consequently, there is envisioned a set of the associated business be...