1404 search results - page 194 / 281 » On the Behavior of Complex Object-Oriented Systems |
150
click to vote
MODELS
2009
Springer
16 years 17 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
192
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
266
click to vote
VLSI
2007
Springer
16 years 4 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
147
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
174
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Due to the increasing complexity, the behavior of large-scale distributed systems becomes difficult to predict. The ability of on-line identification and autotuning of adaptive co...