Sciweavers

2934 search results - page 227 / 587
» Universality in Multi-Agent Systems
Sort
View
ACSD
2001
IEEE
102views Hardware» more  ACSD 2001»
15 years 10 months ago
Exploration Testing
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
Juhana Helovuo, Sari Leppänen
USENIX
2000
15 years 7 months ago
Malloc() Performance in a Multithreaded Linux Environment
Network servers make special demands that other types of applications may not make on memory allocators. We describe a simple malloc() microbenchmark suite that tests the ability ...
Chuck Lever, David Boreham
CORR
2010
Springer
47views Education» more  CORR 2010»
15 years 5 months ago
Applications of Lindeberg Principle in Communications and Statistical Learning
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...
Satish Babu Korada, Andrea Montanari
PERVASIVE
2010
Springer
15 years 5 months ago
LOC8: A Location Model and Extensible Framework for Programming with Location
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
Graeme Stevenson, Juan Ye, Simon Dobson, Paddy Nix...
ENTCS
2007
158views more  ENTCS 2007»
15 years 6 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer