1915 search results - page 247 / 383 » A language for functional interpretation of model based simu... |
122
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
122
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
137
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
100
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
166
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we propose an analytical model to evaluate the hidden station effect on both non-saturation and saturation performance of the IEEE 802.11 Distributed Coordination...