Sciweavers

8294 search results - page 1503 / 1659
» Presenting Data from Experiments in Algorithmics
Sort
View
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 8 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
116
Voted
NETWORKING
2007
15 years 4 months ago
Multiple Identities in BitTorrent Networks
Abstract. Peer-to-peer (P2P) file sharing systems have become ubiquitous and at present the BitTorrent (BT) based P2P systems are very popular and successful. It has been argued t...
Jin Sun, Anirban Banerjee, Michalis Faloutsos
157
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 3 months ago
Distributed Constrained Optimization with Semicoordinate Transformations
Recent work has shown how information theory extends conventional full-rationality game theory to allow bounded rational agents. The associated mathematical framework can be used ...
William G. Macready, David Wolpert
TCSV
2008
107views more  TCSV 2008»
15 years 3 months ago
Person Surveillance Using Visual and Infrared Imagery
This paper presents a methodology for analyzing multimodal and multiperspective systems for person surveillance. Using an experimental testbed consisting of two color and two infra...
Stephen J. Krotosky, Mohan M. Trivedi
140
Voted
SBCCI
2005
ACM
98views VLSI» more  SBCCI 2005»
15 years 9 months ago
Mapping embedded systems onto NoCs: the traffic effect on dynamic energy estimation
This work addresses the problem of application mapping in networks-on-chip (NoCs). It explores the importance of characterizing network traffic to effectively predict NoC energy c...
José Carlos S. Palma, César A. M. Ma...
« Prev « First page 1503 / 1659 Last » Next »