120 search results - page 2 / 24 » Logical Filtering |
FSKD
2008
Springer
13 years 6 months ago
2008
Springer
ENTCS
2002
13 years 5 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
13 years 9 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...
ASPDAC
2008
ACM
13 years 7 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...
FLAIRS
2006
13 years 6 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...