120 search results - page 2 / 24 » Logical Filtering |
65
Voted
FSKD
2008
Springer
14 years 10 months ago
2008
Springer
ENTCS
2002
14 years 9 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
FCCM
2004
IEEE
15 years 1 months ago
2004
IEEE
Searching for multiple string patterns in a stream of data is a computationally expensive task. The speed of the search pattern module determines the overall performance of deep p...
75
Voted
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
With continued scaling of technology into nanometer regimes, the impact of coupling induced delay variations is significant. While several coupling-aware static timers have been pr...
71
Voted
FLAIRS
2006
14 years 11 months ago
2006
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include th...