7040 search results - page 364 / 1408 » The Single Model Principle |
161
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We consider a multipacket reception channel shared by several communication applications. This is the case, for example, in a single radio mesh network where neighboring cells u...
151
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
137
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
This work presents an approach for the recognition of the roles played by speakers participating in radio broadcast news (e.g. anchorman or guest). The approach includes two main ...
166
click to vote
TELETRAFFIC
2007
Springer
16 years 25 days ago
2007
Springer
We consider a single circuit-switched communication link, depicted by a Erlang multi-class loss queue, where a customer may vary its required bandwidth during its service. We obtai...
187
Voted
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...