Sciweavers

4488 search results - page 726 / 898
» Properties of NP-Complete Sets
Sort
View
ENGL
2008
100views more  ENGL 2008»
13 years 9 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
ENTCS
2008
120views more  ENTCS 2008»
13 years 9 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
FAC
2008
139views more  FAC 2008»
13 years 9 months ago
Network invariants for real-time systems
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
Olga Grinchtein, Martin Leucker
GIS
2008
ACM
13 years 9 months ago
SRTM resample with short distance-low nugget kriging
SRTM data is distributed at horizontal resolution of 30 meters for areas within the U.S.A. and at 90 meters resolution for the rest of the world. A resolution of 90m can be conside...
C. H. Grohmann, S. S. Steiner
IAJIT
2008
201views more  IAJIT 2008»
13 years 9 months ago
Implementation of a Novel Efficient Multiwavelet Based Video Coding Algorithm
: The recent explosion in digital video storage and delivery has presented strong motivation for high performance video compression solutions. An efficient video compression techni...
Sudhakar Radhakrishnan, Jayaraman Subramaniam