7557 search results - page 384 / 1512 » Modeling Timed Concurrent Systems |
180
click to vote
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
187
click to vote
ENTCS
2007
15 years 6 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
197
click to vote
DMIN
2006
15 years 8 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
186
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
178
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...