1626 search results - page 173 / 326 » Subtyping with Power Types |
123
Voted
IOLTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Selecting a strong cryptographic algorithm makes no sense if the information leaks out of the device through sidechannels. Sensitive information, such as secret keys, can be obtai...
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
- This paper compares two types of class E power amplifier and studies their applicability in EER (Envelope Elimination and Restoration) transmitter. In EER applications one of the...
145
click to vote
ISPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
131
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
121
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Feature sensitive mesh segmentation is important for many computer graphics and geometric modeling applications. In this paper, we develop a mesh segmentation method which is capa...