Sciweavers

8689 search results - page 360 / 1738
» Software: hard data
Sort
View
TIC
2000
Springer
174views System Software» more  TIC 2000»
15 years 10 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
ENVSOFT
2008
132views more  ENVSOFT 2008»
15 years 6 months ago
Managing wildlife: A spatial information system for GPS collars data
ISAMUD (Integrated System for Analysis and Management of Ungulate Data) is an integrated and modular software platform developed to manage GPS collar data for wildlife management....
Francesca Cagnacci, Ferdinando Urbano
TC
2011
15 years 1 months ago
Complexity of Data Collection, Aggregation, and Selection for Wireless Sensor Networks
— Processing the gathered information efficiently is a key functionality for wireless sensor networks. In this article, we study the time complexity, message complexity (number ...
Xiang-Yang Li, Yajun Wang, Yu Wang
EUROSYS
2010
ACM
16 years 3 months ago
Dr. Multicast: Rx for Data Center Communication Scalability
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakris...
ASWEC
2005
IEEE
16 years 12 days ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair