10159 search results - page 1685 / 2032 » System Design Validation Using Formal Models |
189
click to vote
PVLDB
2010
15 years 5 months ago
2010
In this paper, we describe a main memory hybrid database system called HYRISE, which automatically partitions tables into vertical partitions of varying widths depending on how th...
187
click to vote
SIGIR
2003
ACM
16 years 16 hour ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
152
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
Post-Bit is a small e-paper device modeled after paper PostIts r 1 . We explored and designed interfaces to handle multimedia contents with paper-like manipulations using this epa...
154
click to vote
ROBIO
2006
IEEE
16 years 23 days ago
2006
IEEE
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...
159
click to vote
MSWIM
2006
ACM
16 years 22 days ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...