2076 search results - page 348 / 416 » Functional logic overloading |
SOFSEM
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Soft errors in combinational and sequential elements of digital circuits are an increasing concern as a result of technology scaling. Several techniques for gate and latch hardeni...
ICEIS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. Due to the changing scope of data management towards the management of heterogeneous and distributed systems and applications, integration processes gain in importance. T...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Packet classification is a function increasingly used in a number of networking appliances and applications. Typically, sists of a set of abstract classifications, and a set o...