2257 search results - page 107 / 452 » Secure program partitioning |
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
CODES
1994
IEEE
14 years 1 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
CG
2006
Springer
14 years 19 days ago
2006
Springer
We apply Monte Carlo simulation and alpha-beta search to the card game of Skat, which is similar to Bridge, but different enough to require some new algorithmic ideas besides the t...
WISA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...