16190 search results - page 231 / 3238 » Applicative programming with effects |
107
Voted
AMI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
149
Voted
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Dimension attributes in data warehouses are typically hierarchical (e.g., geographic locations in sales data, URLs in Web traffic logs). OLAP tools are used to summarize the measu...
101
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a practical solution to a problem facing high-fan-in, high-bandwidth synchronized TCP workloads in datacenter Ethernets—the TCP incast problem. In these netw...
142
Voted
NDSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
153
Voted
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...