1
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Execution in Multiprocessors Be Made Sequentially Consistent? -- Efficiently Passive Monitoring Flow...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... -- Power Monitoring for Mixed-Criticality on a Many-Core Platform -- On Confident Task-Accurate Performance...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Monitoring System for Large-Scale Mechanical and Electrical Equipment Based on Embedded Techniques...
View full text
Electronic eBook