3765 search results - page 459 / 753 » Formal Methods for Systems Engineering Behavior Models |
158
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
156
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
139
Voted
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper addresses modeling issues behind the development of a hardware analog emulator of power system behavior referred to as a Power System on a Chip (PSoC). The paper wil...
188
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
168
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...