1895 search results - page 237 / 379 » Modular Functional Descriptions |
DAC
2012
ACM
11 years 10 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
In the framework of computer-aided diagnosis, this paper proposes a novel functionality for computerized tomography (CT)based investigation of pulmonary airways. It provides a spe...
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
Conventional radiography seeks to produce, at each location in the image plane, a measure of the x-ray absorption of the object. In this paper, we present a method of determining ...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
WISTP
2010
Springer
14 years 3 months ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...