Sciweavers

465 search results - page 83 / 93
» Programmable Hash Functions and Their Applications
Sort
View
MMS
2008
14 years 10 months ago
The canonical expression of the drama product manufacturing processes
As the broadcast industry is evolving toward IT-based facilities, the production workflows and their associated production metadata should similarly take advantage of IT commoditi...
Dieter Van Rijsselbergen, Barbara Van De Keer, Rik...
KI
2006
Springer
14 years 10 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
LISP
2002
107views more  LISP 2002»
14 years 9 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
TVLSI
1998
83views more  TVLSI 1998»
14 years 9 months ago
Low overhead fault-tolerant FPGA systems
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
John Lach, William H. Mangione-Smith, Miodrag Potk...
CLUSTER
2009
IEEE
15 years 4 months ago
Combining I/O operations for multiple array variables in parallel netCDF
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
Kui Gao, Wei-keng Liao, Alok N. Choudhary, Robert ...