245 search results - page 42 / 49 » Programming Autonomic Systems with Multiple Constraint Store... |
168
click to vote
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
104
click to vote
VLSI
2010
Springer
14 years 5 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
TACAS
2000
Springer
15 years 2 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we develop a beamforming algorithm for multiuser MIMO-relaying wireless systems. We consider a relaying scenario with multiple sources transmitting to one or more d...