16218 search results - page 280 / 3244 » Standards |
158
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...
167
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
134
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
The research reported in this paper has both a scientific and a commercial aim. The scientific interest is to explore the use of contexts in order to improve the quality of informa...
152
click to vote
GLVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
171
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...