We define a type system modeling true separate compilation for a small but significant java subset, in the sense that a single class declaration can be intra-checked (following the Cardelli's terminology) and comp...
详细信息
ISBN:
(纸本)1581135289
We define a type system modeling true separate compilation for a small but significant java subset, in the sense that a single class declaration can be intra-checked (following the Cardelli's terminology) and compiled providing a minimal set of type requirements on missing classes. These requirements are specified by a local type environment associated with each single class, while in the existing formal definitions of the java type system classes are typed in a global type environment containing all the type information on a closed program. We also provide formal rules for static inter-checking and relate our approach with compilation of closed programs, by proving that we get the same results.
CSFS is a network file storage system that supports file storage on the Internet. In CSFS, dozens of distributed file servers are consolidated together to provide service as a whole. Files names are location independe...
详细信息
CSFS is a network file storage system that supports file storage on the Internet. In CSFS, dozens of distributed file servers are consolidated together to provide service as a whole. Files names are location independent. Files can be replicated on different servers. System architecture is of good scalability and the system is expected to scale up to one hundred of file servers. We implemented CSFS in pure java and tested the prototype by a java versioned Andrew benchmark. Testing result shows: CSFS delivers acceptable performance for general file operations;performance of file upload and download is as efficient as FTP;more than 450 concurrent online users can be supported.
When java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical computing, initial measurements indica...
详细信息
When java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical computing, initial measurements indicated a hundred-fold performance disadvantage between java and more established languages such as Fortran and C. Although much progress has been made, and java now can be competitive with C/C++ in many important situations, significant performance challenges remain. Existing java virtual machines are not yet capable of performing the advanced loop transformations and automatic parallelization that are now common in state-of-the-art Fortran compilers. java also has difficulties in implementing complex arithmetic efficiently. These performance deficiencies can be attacked with a combination of class libraries (packages, in java) that implement truly multidimensional arrays and complex numbers, and new compiler techniques that exploit the properties of these class libraries to enable other, more conventional, optimizations. Two compiler techniques, versioning and semantic expansion, can be leveraged to allow fully automatic optimization and parallelization of java code. Our measurements with the NINJA prototype java environment show that java can be competitive in performance with highly optimized and tuned Fortran code.
The proceedings contains 50 papers from 21st IEE international performance computing and communication conference. Topics discussed include: java virtual machine performance analysis with java instruction level parall...
详细信息
The proceedings contains 50 papers from 21st IEE international performance computing and communication conference. Topics discussed include: java virtual machine performance analysis with java instruction level parallelism and folding scheme;file access prediction with adjustable accuracy;maintaining consistency of the security policy in distributed environment;bandwidth allocation for data dissemination in cellular mobile networks;a flexible scatternet-wide scheduling algorithm for bluetooth networks;a query execution technique for join queries in distributed databases;and diagnosing quality of service faults in distributed applications.
Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requir...
详细信息
ISBN:
(纸本)9781581134728
Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop java applications using it.
Mobile Objects in java provides support for object mobility in java. Similarly to the RMI technique, a notion of client-side stub, called startpoint, is used to communicate transparently with a server-side stub, calle...
详细信息
Mobile Objects in java provides support for object mobility in java. Similarly to the RMI technique, a notion of client-side stub, called startpoint, is used to communicate transparently with a server-side stub, called endpoint. Objects and associated endpoints are allowed to migrate. Our approach takes care of routing method calls using an algorithm that we studied in [22]. The purpose of this paper is to present and evaluate the implementation of this algorithm in java. In particular, two different strategies for routing method invocations are investigated, namely call forwarding and referrals. The result of our experimentation shows that the latter can be more efficient by up to 19%.
The proceedings contain 31 papers from the conference on Proceedings of the ACM SIGSOFT: International Symposium on Software Testing and Analysis. Topics discussed include: model checking java programs using structura...
详细信息
ISBN:
(纸本)1581135629
The proceedings contain 31 papers from the conference on Proceedings of the ACM SIGSOFT: International Symposium on Software Testing and Analysis. Topics discussed include: model checking java programs using structural heuristics;evaluating the precision of static reference analysis using profiling;the distribution of faults in a large industrial software system;efficient instrumentation of code coverage testing and dependence analysis in reduction of requirement based test suites.
The proceedings contains 39 papers. Topics discussed include java based programming, abstracting remote object interaction, program compilation, generic programming, open runtime platform, java thread semantics, web s...
详细信息
The proceedings contains 39 papers. Topics discussed include java based programming, abstracting remote object interaction, program compilation, generic programming, open runtime platform, java thread semantics, web services, commodity workstation, object oriented approach, method level analysis, memory management performance and bluetooth environment.
Most conventional design processes produce documentation as a by-product: design is done within an environment or collection of tools and the design outputs, models, diagrams, results, etc are gathered together along ...
详细信息
Most conventional design processes produce documentation as a by-product: design is done within an environment or collection of tools and the design outputs, models, diagrams, results, etc are gathered together along with commentary (usually with hindsight) into some kind of document at the end of the process. Inspired by ideas taken from literate programming and notebook interfaces to design tools, a prototype document centred design document has been developed. In such an environment, the document is the main product and the design is a by-product of documenting the design. By implementing the framework components of the system in java and by using the extended markup language (XML) to encode the contents of the documents, the system is made platform neutral and therefore portable. An example document centred environment for computer-aided control system design (CACSD), that integrates Matlab and Simulink with the document-based framework, is briefly described and indications for future possibilities for this technology are given.
The today's Infotainmentsysteme (e.g. radio, telephone) in the car is usually developed as closed modules according to a rigid specification of the car manufacturers. An unrestricted porting, platform independence...
详细信息
The today's Infotainmentsysteme (e.g. radio, telephone) in the car is usually developed as closed modules according to a rigid specification of the car manufacturers. An unrestricted porting, platform independence and a re-use are however very difficult with this system. In this article technologies are presented, those are substantial for the application of dynamically exchangeable software components in embedded systems and thus the base for Infotainmentsystemen in cars of the future.
暂无评论