8719 search results - page 293 / 1744 » A Categorical Approach to Simulations |
190
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Single-electron devices have drawn much attention in the last two decades. They have been widely used for device research and also show promise as a potential alternative to compl...
162
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
177
click to vote
ANSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Simulation lag is a known issue in networked virtual environments where users are geographically distributed. When users collaborate across the network using haptics, there are al...
197
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
150
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...