3239 search results - page 303 / 648 » A Logical Process Calculus |
115
click to vote
FCCM
2005
IEEE
15 years 10 months ago
2005
IEEE
We report test results from a prototype asynchronous FPGA (AFPGA) implemented in TSMC’s 0.18μm CMOS process. The AFPGA uses SRAM-based configuration bits with pipelined logic ...
123
Voted
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
We propose a biologically and physically plausible model for ants and pheromones, and show this model to be sufficiently powerful to simulate the computation of arbitrary logic cir...
119
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
141
Voted
ICDE
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...
143
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...