Sciweavers

13 search results - page 1 / 3
» dateso 2010
Sort
View
DATESO
2010
150views Database» more  DATESO 2010»
13 years 3 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
DATESO
2010
369views Database» more  DATESO 2010»
13 years 3 months ago
Database Trends and Directions: Current Challenges and Opportunities
Database management has undergone more than four decades of evolution producing vast range of research and extensive array of technology solutions. The database research community ...
George Feuerlicht
DATESO
2010
131views Database» more  DATESO 2010»
13 years 3 months ago
Testing Quasigroup Identities using Product of Sequence
Non-associative quasigroups are well known combinatorial designs with many different applications. Many cryptographic algorithms based on quasigroups primitives have been published...
Eliska Ochodkova, Jiri Dvorský, Václ...
DATESO
2010
233views Database» more  DATESO 2010»
13 years 3 months ago
Efficient Implementation of XPath Processor on Multi-Core CPUs
Abstract. Current XPath processors use direct approach to query evaluation which is quite inefficient in some cases and usually implemented serially. This may be a problem in case ...
Martin Krulis, Jakub Yaghob
DATESO
2010
132views Database» more  DATESO 2010»
13 years 3 months ago
Two-step Modified SOM for Parallel Calculation
This paper presents a simple modification of classic Kohonen network (SOM), which allows parallel processing of input data vectors or partitioning the problem in case of insufficie...
Petr Gajdos, Pavel Moravec