1888 search results - page 126 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
120
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
137
Voted
RTAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
152
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
135
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
158
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...