170 search results - page 22 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
112
click to vote
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
110
click to vote
FPGA
2000
ACM
15 years 3 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
MIDDLEWARE
2001
Springer
15 years 4 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
113
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...