To meet the social development, the bilingual teaching model is gradually introduced in undergraduate teaching for computer science specialty. Firstly, the importance of the creation of bilingual teaching for "Ja...
详细信息
We present short programs that demonstrate the unsoundness of java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type ...
详细信息
Processor design has turned toward parallelism and heterogeneous cores to achieve performance and energy efficiency. Developers find high-level languages attractive as they use abstraction to offer productivity and po...
详细信息
Reference immutability guarantees that a reference is not used to modify the referenced object. It is well-understood and there are several scalable inference systems. Object immutability, a stronger immutability guar...
详细信息
One approach to decrease the gap between memory latency and processor speed is improving locality of data. Data layout optimization is a way to increase locality by reordering data elements in memory. Unfortunately, f...
详细信息
Professional software development is a challenging area of business process management nowadays. The most popular approaches for business process automation are based on Agile software development concept that conside...
详细信息
This research documents our inital experiences of using a new type of collaborative, industrial robot in the area of architecture, design, and construction. The KUKA LBR-iiwa differs from common robotc configurations ...
详细信息
The purpose of this work is developing the software for debugging and demonstration of tasks of motion control of robots group and monitoring a robots group using multiple cameras using javalanguage in the OS «E...
详细信息
Work stealing can be implemented in either a cooperative or a coordinated way. We compared the two approaches for lifelinebased global load balancing, which is the algorithm used by X10's Global Load Balancing fra...
详细信息
The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nan...
详细信息
The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nanopublication community. Its core features are stable, but it also contains unofficial and experimental extensions: for publishing to a decentralized server network, for defining sets of nanopublications with indexes, for informal assertions, and for digitally signing nanopublications. Most of the features of the library can also be accessed via an online validator interface.
暂无评论