10666 search results - page 1745 / 2134 » Quantum programming languages |
171
click to vote
IPPS
2009
IEEE
16 years 24 days ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...
161
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
199
Voted
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
144
click to vote
IFIP
2009
Springer
16 years 21 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
174
click to vote
MIDDLEWARE
2009
Springer
16 years 21 days ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...