3507 search results - page 203 / 702 » Specialized execution environments |
164
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
130
click to vote
IPPS
1993
IEEE
15 years 8 months ago
1993
IEEE
Reducingcommunicationoverheadhas been widely recognized as a requirement for achieving efficient mappings which substantially reduce the execution time of parallel algorithms. Th...
124
click to vote
ATVA
2008
Springer
15 years 6 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...
139
click to vote
SNPD
2008
15 years 5 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
146
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
Performance of applications can be boosted by executing application-specific Instruction Set Extensions (ISEs) on a specialized hardware coupled with a processor core. Many commer...