536 search results - page 10 / 108 » A computer verified, monadic, functional implementation of t... |
145
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
145
click to vote
IROS
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
135
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper studies the implementation of Boolean functions with lattices of two-dimensional switches. Each switch is controlled by a Boolean literal. If the literal is 1, the swit...
175
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
163
click to vote
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...