4485 search results - page 357 / 897 » Equivalences on Observable Processes |
180
click to vote
GMP
2008
IEEE
16 years 1 months ago
2008
IEEE
Surface parameterization is a fundamental tool in geometric modeling and processing. Most existing methods deal with simply connected disks. This work introduces a novel method to ...
163
click to vote
FCCM
2006
IEEE
16 years 26 days ago
2006
IEEE
— Dedicated, spatially configured FPGA interconnect is efficient for applications that require high throughput connections between processing elements (PEs) but with a limited ...
165
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
As technological process shrinks and clock rate increases, instruction caches can no longer be accessed in one cycle. Alternatives are implementing smaller caches (with higher mis...
188
click to vote
VLDB
2004
ACM
16 years 4 days ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
216
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...