2225 search results - page 365 / 445 » Logical Structures in the Lexicon |
159
click to vote
SAC
2009
ACM
16 years 11 days ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
140
click to vote
BIRTHDAY
2009
Springer
16 years 11 days ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
155
click to vote
ESOP
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
147
click to vote
DATE
2009
IEEE
16 years 10 days ago
2009
IEEE
—Interconnect structures significantly contribute to the delay, power consumption, and silicon area of modern reconfigurable architectures. The demand for higher clock frequencie...
149
click to vote
IPPS
2009
IEEE
16 years 6 days ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...