14515 search results - page 2765 / 2903 » Efficient Embedded Computing |
140
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
113
Voted
CCS
2001
ACM
15 years 6 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
117
Voted
ICS
2000
Tsinghua U.
15 years 6 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
161
click to vote
IWAN
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
113
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...