3710 search results - page 155 / 742 » A new calculus of contexts |
205
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
193
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
We have friends we consider very close and acquaintances we barely know. The social sciences use the term tie strength to denote this differential closeness with the people in our...
171
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
213
click to vote
DAMON
2009
Springer
16 years 1 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
202
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
The IEEE 802.16 mobile multi-hop relay (MMR) task group ’j’ (TGj) has recently introduced the multi-hop relaying concept in the IEEE 802.16 WirelessMAN, wherein a newly introdu...