Sciweavers

398 search results - page 18 / 80
» Spider Diagrams of Order
Sort
View
CAINE
2003
13 years 11 months ago
Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
Nicolas Pernet, Yves Sorel
SCHOLARPEDIA
2011
13 years 20 days ago
Color mixture
: In 1613 d’Aguilon published a book on optics containing a novel color mixture diagram in arc form. Diagrams of similar form are found in many medieval manuscripts where they ha...
Rolf G. Kuehni
DIAGRAMS
2006
Springer
14 years 1 months ago
Fixing Shin's Reading Algorithm for Peirce's Existential Graphs
In her book "The Iconic Logic of Peirce's Graphs", S. J. Shin elaborates the diagrammatic logic of Peirce's Existential Graphs. Particularly, she provides trans...
Frithjof Dau
ICCD
2001
IEEE
176views Hardware» more  ICCD 2001»
14 years 6 months ago
BDD Variable Ordering by Scatter Search
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
William N. N. Hung, Xiaoyu Song
COMPSAC
2008
IEEE
13 years 11 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu