746 search results - page 118 / 150 » The NASA standard for models and simulations |
ICMCS
2005
IEEE
14 years 29 days ago
2005
IEEE
Network impairments such as delay and packet losses have severe impact on the presentation quality of many predictive video sources. Prior researches (e.g., [1]-[3][5]-[9][11]-[13...
GECCO
2005
Springer
14 years 27 days ago
2005
Springer
Optimal constellation design is important in military digital communications for Quadrature Amplitude Modulation (QAM). Optimization realizes a reduced probability of bit error (P...
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
SIGCSE
2003
ACM
14 years 19 days ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
IPPS
2002
IEEE
14 years 9 days ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...