5600 search results - page 344 / 1120 » Synthesizing robust systems |
184
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
177
click to vote
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
192
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Despite the growing popularity of Online Social Networks (OSNs), the workload characteristics of OSN servers, such as those hosting blog services, are not well understood. Understa...
226
click to vote
TROB
2010
15 years 1 months ago
2010
Abstract--Acquisition of new sensorimotor knowledge by imitation is a promising paradigm for robot learning. To be effective, action learning should not be limited to direct replic...
239
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...