Sciweavers

5499 search results - page 840 / 1100
» Generalized Rewrite Theories
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 7 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
ERCIM
2008
130views more  ERCIM 2008»
15 years 7 months ago
Mediated Collaborative Learning
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
Kostas Pentikousis, Carmen Martinez-Carrillo
AUTOMATICA
2006
119views more  AUTOMATICA 2006»
15 years 7 months ago
Absolute stability of third-order systems: A numerical algorithm
The problem of absolute stability is one of the oldest open problems in the theory of control. Even for the particular case of second-order systems a complete solution was present...
Michael Margaliot, Christos Yfoulis
IANDC
2008
112views more  IANDC 2008»
15 years 7 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...
CCR
2006
81views more  CCR 2006»
15 years 7 months ago
LTCP: improving the performance of TCP in highspeed networks
In this paper, we propose Layered TCP (LTCP for short), a set of simple modifications to the congestion window response of TCP to make it more scalable in highspeed networks. LTCP...
Sumitha Bhandarkar, Saurabh Jain, A. L. Narasimha ...