4485 search results - page 214 / 897 » Equivalences on Observable Processes |
101
click to vote
ISLPED
1997
ACM
15 years 7 months ago
1997
ACM
A low voltage current source is described that has a minimum input voltage of less than 0.1V and a minimum output voltage swing of 0.2V. Although this current source has an output...
136
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
113
Voted
ASAP
2006
IEEE
15 years 7 months ago
2006
IEEE
Parameterized static affine nested loop programs can be automatically converted to input-output equivalent Kahn Process Network specifications. These networks turn out to be close...
139
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
130
Voted
CASC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...