4311 search results - page 415 / 863 » Code Generation for Distributed Systems |
176
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
171
click to vote
DISCEX
2003
IEEE
16 years 4 days ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
167
Voted
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
211
Voted
TCOM
2010
15 years 1 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
167
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...