12741 search results - page 308 / 2549 » Editorial and call for papers |
157
click to vote
ISLPED
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a state assignment technique called priority encoding which uses multi-code assignment plus clock gating to reduce power dissipation in sequential circuits. Th...
144
click to vote
JCDCG
2000
Springer
15 years 10 months ago
2000
Springer
Measuring cups are everyday instruments used to measure a required amount of liquid for many common tasks such as cooking, . . . etc. A measuring cup usually has gradations marked ...
179
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
167
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
138
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...