Sciweavers

676 search results - page 74 / 136
» More Efficient Object Serialization
Sort
View
SIGSOFT
2000
ACM
15 years 7 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
ASPDAC
1999
ACM
116views Hardware» more  ASPDAC 1999»
15 years 7 months ago
An Automatic Router for the Pin Grid Array Package
A Pin-Grid-Array (PGA) package router is presented in this paper. Given a chip cavity with a number of I/O pads around its boundary and an equivalent number of pins distributed on...
Shuenn-Shi Chen, Jong-Jang Chen, Sao-Jie Chen, Chi...
ICDM
2007
IEEE
176views Data Mining» more  ICDM 2007»
15 years 6 months ago
A Compact Representation of Spatio-Temporal Data
As technology advances we encounter more available data on moving objects, which can be mined to our benefit. In order to efficiently mine this large amount of data we propose an ...
Sigal Elnekave, Mark Last, Oded Maimon
CSCLP
2006
Springer
15 years 6 months ago
Cost-Based Filtering for Stochastic Inventory Control
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven...
BTW
2009
Springer
150views Database» more  BTW 2009»
15 years 6 months ago
The Frontiers of Data Programmability
: Simplifying data programming is a core mission of data management research. The issue at stake is to help engineers build efficient and robust data-centric applications. The fron...
Sergey Melnik