Learn More
Mobile users frequently want mobile devices as powerful as desk top PCs, but still in a small and light form factor. The level of users' demand is yet too high to satisfy with current technology. Available resources such as CPU, memory, and battery power are still insufficient for current mobile devices. One way to overcome these limitations is to offload(More)
Current testing practice in industry is often ineffective and slow to detect bugs, since most projects utilize manually generated test cases. Concolic testing alleviates this problem by automatically generating test cases that achieve high coverage. However, specialized execution platforms and resource constraints of embedded software hinder application of(More)
Buffer overflow detection using static analysis can provide a powerful tool for software programmers to find difficult bugs in C programs. Sound static analysis based on abstract interpretation, however, often suffers from false alarm problem. Although more precise abstraction can reduce the number of the false alarms in general, the cost to perform such(More)
In this paper, we present slim execution for distributed mobile environment. To relieve resource constrained mobile devices of CPU and power constraints, resource demanding applications are executed on nearby powerful servers and only interactive parts of applications are executed on mobile devices. Using nearby servers as backing storage, we can overcome(More)
In this paper, we present a path sensitive type system for resource usage verification. Path sensitivity is essential to model resource usage in C programs correctly and accurately. So far, most of methods to analyze this kind of property in the path sensitive way have been proposed as whole program analyses or unsound analyses. Our main contributions are(More)
int get a(); } class S extends P{ S() { a = 10; } int get a() { return a; } } (a) class P { int a, a’; P() { a = 1; a’ = get a(); } int get a() { return a; } } class S extends P{ S() { a = 10; } } (b) class P { int a; P() { a = C.get c(); } int get a() { return a; } } class S extends P{ S() { C.put c(10); } } (c) Fig. 2 Various code patterns for(More)
The F9 cell line, which was derived from a mouse testicular teratoma that originated from pluripotent germ cells, has been used as a model for differentiation. However, it is largely unknown whether F9 cells possess the characteristics of male germ cells. In the present study, we investigated spermatogenic stage- and cell type-specific gene expression in F9(More)
The identification and characterization of germ cell-specific genes are essential if we hope to comprehensively understand the mechanisms of spermatogenesis and fertilization. Here, we searched the mouse UniGene databases and identified 13 novel genes as being putatively testis-specific or -predominant. Our in silico and in vitro analyses revealed that the(More)
  • 1