1278 search results - page 153 / 256 » Software Engineering for Scalable Distributed Applications |
COMPSAC
2004
IEEE
14 years 23 days ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
ADAEUROPE
2010
Springer
14 years 1 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...
FASE
2011
Springer
13 years 15 days ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...