4460 search results - page 644 / 892 » Formal methods for interactive systems |
275
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...
219
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...
182
click to vote
SEFM
2007
IEEE
16 years 1 months 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...
209
click to vote
PRDC
2006
IEEE
16 years 1 months 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...
208
click to vote
DAC
2006
ACM
16 years 1 months 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...