5451 search results - page 605 / 1091 » Typed Operational Semantics |
157
click to vote
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
161
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
187
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper, we investigate how two main factors affect the efficiency of the port operation. The two main factors are type of transport vehicles and layout of the storage yard....
179
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— This paper addresses high level synthesis for realtime digital signal processing (DSP) architectures using heterogeneous functional units (FUs). For such special purpos...
169
click to vote
EOR
2008
15 years 6 months ago
2008
In Multi-Protocol Label Switching (MPLS) networks, traffic demands can be routed along tunnels called Label Switched Paths (LSPs). A tunnel is characterized by a path in the netwo...