2004 search results - page 346 / 401 » Interaction nets: programming language design and implementa... |
114
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
145
Voted
ASPLOS
1987
ACM
15 years 7 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
157
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
112
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
137
Voted
VISUALIZATION
1992
IEEE
15 years 7 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...