1626 search results - page 129 / 326 » Subtyping with Power Types |
112
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper considers one type of common-mode feedback (CMFB) circuit that uses two differential pairs to sense the common-mode output voltage (Voc) of a fully differential op am...
116
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
120
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
Self-organizing maps (SOM) have been recognized as a powerful tool in data exploratoration, especially for the tasks of clustering on high dimensional data. However, clustering on ...
126
click to vote
TARK
2005
Springer
15 years 9 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
133
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...