424 search results - page 17 / 85 » types 1999 |
ISCAS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper reports the development of a low-power switchedcurrent algorithmic A/D converter based on a new algorithm, providing the bit conversion in three-cycles. The converter u...
ISIPTA
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we try to clarify the notion of independence for imprecise probabilities. Our main point is that there are several possible definitions of independence which are app...
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
ICLP
1999
Springer
15 years 2 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...