this paper introduces a new cross-platform programming framework for developing quantum-accelerated scientific computing applications and executing them on most of today's cloud-based quantum computers and simulat...
详细信息
ISBN:
(纸本)9783030504335;9783030504328
this paper introduces a new cross-platform programming framework for developing quantum-accelerated scientific computing applications and executing them on most of today's cloud-based quantum computers and simulators. It makes use of C++ template meta-programming techniques to implement quantum algorithms as generic, platform-independent expressions, which get automatically synthesized into device-specific compute kernels upon execution. Our software framework supports concurrent and asynchronous execution of multiple quantum kernels via a CUDA-inspired stream concept.
this paper introduces three new XP practices and reports the experience of applying them to web based software development. these are issue- based programming, comment-first coding and just in time code ownership. the...
详细信息
A suitability assessment instrument for software developers was created using a psychometric criteria that identify the impact of behavior on the performance of software engineers. the instrument uses a questionnaire ...
详细信息
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy software system. As a consequence, one...
详细信息
ISBN:
(纸本)3540291385
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy software system. As a consequence, one must invest in reengineering efforts to keep further development costs down. Even though software systems and their business contexts may differ in countless ways, the techniques one uses to understand, analyze and transform these systems tend to be very similar. As a consequence, one may identify various reengineering patterns that capture-best practice in reverse- and re-engineering object-oriented legacy systems. We present a brief outline of a large collection of these patterns that have been mined over several years of experience with object-oriented legacy systems, and we indicate how some of these patterns can be supported by appropriate tools.
the proceedings contain 5 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: Learning Büchi Automata and Its Applications;securing Emergent IoT Applic...
ISBN:
(纸本)9783030176006
the proceedings contain 5 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: Learning Büchi Automata and Its Applications;securing Emergent IoT Applications;programming Z3.
Students are provided with an online training program programming Skill Development. the Program conducts programming tests every day by which the students have to solve programming problems within the given time dura...
详细信息
Understanding the influence of configuration options on performance is key for finding optimal system configurations, system understanding, and performance debugging. In prior research, a number of performance-influen...
详细信息
ISBN:
(纸本)9781450367684
Understanding the influence of configuration options on performance is key for finding optimal system configurations, system understanding, and performance debugging. In prior research, a number of performance-influence modeling approaches have been proposed, which model a configuration option's influence and a configuration's performance as a scalar value. However, these point estimates falsely imply a certainty regarding an option's influence that neglects several sources of uncertainty within the assessment process, such as (1) measurement bias, (2) model representation and learning process, and (3) incomplete data. this leads to the situation that different approaches and even different learning runs assign different scalar performance values to options and interactions among them. the true influence is uncertain, though. there is no way to quantify this uncertainty with state-of-the-art performance modeling approaches. We propose a novel approach, P4, based on probabilistic programmingthat explicitly models uncertainty for option influences and consequently provides a confidence interval for each prediction of a configuration's performance alongside a scalar. this way, we can explain, for the first time, why predictions may cause errors and which option's influences may be unreliable. An evaluation on 12 real-world subject systems shows that P4's accuracy is in line withthe state of the art while providing reliable confidence intervals, in addition to scalar predictions.
this paper introduces a voltage regulation strategy withthermostatically controlled loads (TCLs) equivalent energy storage model to alleviate voltage magnitude. then, a voltage management model incorporating TCLs is ...
详细信息
To create a panorama image, various image stitching methods are available, which stitch two or more images together into a single image. However, often image stitching algorithms fail to stitch good panoramas. these f...
详细信息
Saddle point algorithm is a new fast iterative method for linear programming, the program based on this algorithm has been widely used in many fields and shows better performance than other public domain programs. Sen...
详细信息
暂无评论