235 search results - page 37 / 47 » Spatial Logics for Bigraphs |
140
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
125
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
This paper investigates reconfigurable architectures suitable for chip multiprocessors (CMPs). Prior research has established that augmenting a conventional processor with reconfi...
120
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
299
click to vote
ACST
2006
15 years 7 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...
186
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...