1195 search results - page 138 / 239 » New constructions of SSPDs and their applications |
188
click to vote
SOFSEM
2012
Springer
14 years 1 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
210
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
151
click to vote
TC
1998
15 years 6 months ago
1998
—Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
180
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
On-Line Analytical Processing (OLAP) has shown great success in many industry applications, including sales, marketing, management, financial data analysis, etc. In this paper, w...
163
click to vote
FSS
2008
15 years 4 months ago
2008
We propose new types of linguistic summaries of time-series data that extend those proposed in our previous papers. The proposed summaries of time series refer to the summaries of...