Sciweavers

1648 search results - page 117 / 330
» Structuring namespace descriptions
Sort
View
151
Voted
IPPS
2003
IEEE
15 years 9 months ago
An Object Oriented Framework for an Associative Model of Parallel Computation
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
Michael Scherger, Jerry L. Potter, Johnnie W. Bake...
120
Voted
TSD
2001
Springer
15 years 8 months ago
A New Czech Morphological Analyser ajka
This paper deals with the effective implementation of the new Czech morphological analyser ajka which is based on the algorithmic description of the Czech formal morphology. First...
Radek Sedlácek, Pavel Smrz
118
Voted
ECOOPW
1999
Springer
15 years 8 months ago
Extending UML with Aspects: Aspect Support in the Design Phase
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
Junichi Suzuki, Yoshikazu Yamamoto
115
Voted
DAC
1992
ACM
15 years 7 months ago
Synthesis from Production-Based Specifications
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
Andrew Seawright, Forrest Brewer
137
Voted
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...