527 search results - page 104 / 106 » Case Study: System Model of Crane and Embedded Control |
AUSAI
2006
Springer
14 years 9 days ago
2006
Springer
There is increasing evidence to suggest that the neocortex of the mammalian brain does not consist of a collection of specialised and dedicated cortical architectures, but instead ...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— We study the problem of dynamic learning by a social network of agents. Each agent receives a signal about an underlying state and communicates with a subset of agents (his nei...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...