1322 search results - page 172 / 265 » Parameterized counting problems |
127
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
129
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Monitoring the traffic in high-speed networks is a data intensive problem. Uniform packet sampling is the most popular technique for reducing the amount of data the network mo...
116
click to vote
ISMDA
2000
Springer
15 years 7 months ago
2000
Springer
In this work, we describe a project, jointly started by DEIS University of Bologna and Dianoema S.p.A., in order to build a system which is able to monitor nosocomial infections. T...
152
Voted
MFCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
165
click to vote
TOG
2012
13 years 6 months ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...