4755 search results - page 343 / 951 » An Implementation Model for Collaborative Applications |
161
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
116
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speciď¬...
149
click to vote
ASAP
2000
IEEE
15 years 8 months ago
2000
IEEE
High level modeling and (quantitative) performance analysis of signal processing systems requires high level models for the applications(algorithms) and the implementations (archi...
133
click to vote
IMECS
2007
15 years 5 months ago
2007
—Workload characterisation and generation is becoming an increasingly important area as hardware and application complexities continue to advance. In this paper, we introduce a c...
134
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...