2800 search results - page 271 / 560 » Fibrational Control Structures |
146
click to vote
DSVIS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
143
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
126
click to vote
PASTE
1998
ACM
15 years 8 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
111
click to vote
ARCS
1997
Springer
15 years 8 months ago
1997
Springer
This paper introduces a powerful novel sequencer hardware for controlling computational machines and for structured DMA (direct memory access) applications. The paper introduces t...
157
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...