1451 search results - page 119 / 291 » Case Studies in Model Manipulation for Scientific Computing |
126
Voted
SC
2004
ACM
15 years 10 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
168
Voted
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
144
Voted
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
110
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper deals with voice communication models for disaster area scenarios. The goal is to design models that can be used to generate realistic push to talk traffic for single ...
179
click to vote
DKE
2008
15 years 4 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...