3820 search results - page 70 / 764 » Bounded Model Debugging |
122
click to vote
CEFP
2005
Springer
15 years 7 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
125
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
CSDA
2004
15 years 1 months ago
2004
Using a B-spline representation for splines with knots seen as free variables, the approximation to data by splines improves greatly. The main limitations are the presence of too ...
153
click to vote
SODA
2012
ACM
13 years 4 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
145
click to vote
STOC
2007
ACM
16 years 2 months ago
2007
ACM
Motivated by the capabilities of modern storage architectures, we consider the following generalization of the data stream model where the algorithm has sequential access to multi...