392 search results - page 66 / 79 » An Algebraic Representation of Calendars |
101
click to vote
ENTCS
2007
15 years 1 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
130
click to vote
DSD
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
144
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
191
click to vote
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
212
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...