Sciweavers

77 search results - page 16 / 16
» Boolean Circuits and a DNA Algorithm in Membrane Computing
Sort
View
JUCS
2007
95views more  JUCS 2007»
14 years 11 months ago
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
Iwan Tabakow
DAC
2002
ACM
16 years 18 days ago
ILP-based engineering change
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
Farinaz Koushanfar, Jennifer L. Wong, Jessica Feng...