1516 search results - page 222 / 304 » Trends in Software Verification |
132
click to vote
AGI
2008
15 years 7 months ago
2008
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent an...
181
click to vote
JSA
2010
15 years 9 days ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
172
click to vote
ICST
2008
IEEE
15 years 12 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
145
click to vote
ISPAN
2005
IEEE
15 years 11 months ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
220
click to vote
MATES
2010
Springer
15 years 4 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...