7109 search results - page 1150 / 1422 » Process Algebra with Combinators |
191
click to vote
MICRO
1994
IEEE
15 years 10 months ago
1994
IEEE
Numerical applications frequently contain nested loop structures that process large arrays of data. The execution of these loop structures often produces memory preference pattern...
135
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Acyclic partitioning on combinational boolean networks has wide range of applications, from multiple FPGA chip partitioning to parallel circuit simulation. In this paper, we prese...
165
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
207
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
198
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
We describe the integration of a structuredtext retrieval system (TextMachine) into an object-oriented database system (OpenODB). We use the external function capability of the da...