4350 search results - page 818 / 870 » Case studies for contract-based systems |
152
Voted
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
124
click to vote
MICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
136
Voted
IWDC
2001
Springer
15 years 8 months ago
2001
Springer
— In this paper we show that significant simplicity can be exploited for pricing-based control of large networks. We first consider a general loss network with Poisson arrivals...
176
Voted
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...
165
click to vote
AFRIGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...