15777 search results - page 2567 / 3156 » The Reformulation-Optimization Software Engine |
175
click to vote
FDL
2003
IEEE
16 years 18 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
183
click to vote
IOLTS
2003
IEEE
16 years 17 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
162
click to vote
IOLTS
2003
IEEE
16 years 17 days ago
2003
IEEE
In this paper we present a technique which allows to reduce the crosstalk-induced delay within busses implementing an error detecting/correcting code. This technique is based on t...
195
click to vote
IOLTS
2003
IEEE
16 years 17 days ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
164
click to vote
ISORC
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper presents our experiments for integrating OMG MIOP (Multicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coex...