4460 search results - page 644 / 892 » Formal methods for interactive systems |
244
click to vote
NGC
2010
Springer
15 years 1 months ago
2010
Springer
A key to overcoming the limitations of classical artificial intelligence and to deal well with enormous amounts of information might be brain-like computing in which distributed re...
199
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
154
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
177
click to vote
PRDC
2006
IEEE
16 years 16 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
185
click to vote
DAC
2006
ACM
16 years 15 days ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...