2076 search results - page 181 / 416 » Functional logic overloading |
173
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
146
Voted
MTDT
2003
IEEE
15 years 8 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
143
click to vote
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
—One of the vital key elements for providing Quality of Service (QoS) for VoIP is the Call Admission Control (CAC) capabilities of the Session Management /Call Session Control Fu...
132
Voted
VDA
2010
15 years 5 months ago
2010
This paper presents the concept of Monotone Boolean Function Visual Analytics (MBFVA) and its application to the medical domain. The medical application is concerned with discover...
126
Voted
CCR
2002
15 years 3 months ago
2002
Connection Admission Control (CAC) is an important function in a computer network that supports Quality of Service (QoS). The function of CAC is to decide whether a new connection...