340 search results - page 13 / 68 » On second order operators and quadratic operators |
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Network operators need high capacity router architectures that can offer scalability, provide throughput guarantees, and maintain packet ordering. However, current cent...
DBPL
1999
Springer
13 years 11 months ago
1999
Springer
We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) ...
WSC
2001
13 years 9 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
TOG
2008
13 years 7 months ago
2008
We propose a tone-mapping operator that can minimize visible contrast distortions for a range of output devices, ranging from e-paper to HDR displays. The operator weights contras...