Sciweavers

3394 search results - page 421 / 679
» A Modal Model of Memory
Sort
View
FOCS
2004
IEEE
15 years 10 months ago
On the Streaming Model Augmented with a Sorting Primitive
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
Gagan Aggarwal, Mayur Datar, Sridhar Rajagopalan, ...
ICDE
2005
IEEE
158views Database» more  ICDE 2005»
16 years 8 months ago
Cache-Conscious Automata for XML Filtering
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...
Bingsheng He, Qiong Luo, Byron Choi
LATA
2009
Springer
16 years 1 months ago
Recent Developments in Algorithmic Teaching
Abstract. The present paper surveys recent developments in algorithmic teaching. First, the traditional teaching dimension model is recalled. Starting from the observation that the...
Frank J. Balbach, Thomas Zeugmann
IEEEIAS
2007
IEEE
16 years 29 days ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
16 years 28 days ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...