3931 search results - page 355 / 787 » Separation logic and abstraction |
186
Voted
GRAMMARS
2000
15 years 6 months ago
2000
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...
164
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
171
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: In this work, a numerical procedure based on the continuum model is developed and applied to the solvation energy for ground state and the spectral shift against the posi...
217
Voted
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- We study joint rate control and resource allocation with QoS provisioning that maximizes the total utility of secondary users in cognitive radio networks. We formulate a...
171
click to vote
TIT
2011
15 years 1 months ago
2011
Abstract—The high repair cost of (n;k) Maximum Distance Separable (MDS) erasure codes has recently motivated a new class of MDS codes, called Repair MDS codes, that can signific...