526 search results - page 50 / 106 » Type Abstractions of Name-Passing Processes |
132
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
137
click to vote
ASPDAC
2005
ACM
15 years 6 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...
138
click to vote
BTW
2005
Springer
15 years 9 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
120
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
117
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...