3605 search results - page 417 / 721 » System and simulation modeling using SysML |
152
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
180
click to vote
AIA
2006
15 years 6 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
142
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
Network distance, measured as round-trip latency between hosts, is important for the performance of many Internet applications. For example, nearest server selection and proximity...
140
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
129
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...