2403 search results - page 220 / 481 » Using the WinWin Spiral Model: A Case Study |
148
click to vote
SC
2004
ACM
15 years 12 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
177
click to vote
HCSE
2010
15 years 5 months ago
2010
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
168
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
162
click to vote
CHARME
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
157
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...