Výsledky vyhľadávania - Java PathFinder 2

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks Autor Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… In this paper, we evaluate the cost-effectiveness of the Java PathFinder 2 (JPF 2) model checker for the detection of deadlocks in the context of the TestCon method…”
Získať plný text

Model checking JAVA programs using JAVA PathFinder Autor Havelund, Klaus, Pressburger, Thomas

Získať plný text

Radiometric Signatures of Gold Mineralization Zone in Pongkor, West Java, Indonesia: A Baseline for Radiometric Mapping Application on Low-Sulfidation Epithermal Deposit Autor Syaeful, Heri, Ciputra, Roni Cahya, Adimedha, Tyto Baskara, Sumaryanto, Agus, Sukadana, I Gde, Indrastomo, Frederikus Dian, Pratiwi, Fadiah, Sucipta, Sucipta, Pratama, Hendra Adhi, Mustika, Deni, Widana, Kurnia Setiawan, Widodo, Susilo, Burhannudinnur, Muhammad, Syafri, Ildrem, Sutopo, Bronto

“…Radiometric mapping could play a prominent role in locating the host rock or alteration that leads to gold mineralization. Nevertheless, in low-sulfidation…”
Získať plný text

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies Autor Péter, Bertalan Zoltán, Ádám, Zsófia, Micskei, Zoltán, Kocsis, Imre

“… This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others…”
Získať plný text

Dynamic Pathfinders Autor Hunter, Ben

“…Library pathfinders are a time-tested method of leading library users to important resources…”
Získať plný text

A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development Autor Liwei Shen, Xin Peng, Wenyun Zhao

“…Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used…”
Získať plný text

Supporting Domain-Specific Programming in Web 2.0: A Case Study of Smart Devices Autor Ahmadi, Navid, Lelli, Francesco, Jazayeri, Mehdi

“…Web 2.0 communities emerge regularly with the growing need for domain-specific programming over Web APIs. Even though Web mashups provide access to Web APIs,…”
Získať plný text

Dynamic Pathfinders: Leveraging Your OPAC to Create Resource Guides Autor Hunter, Ben

“…Library pathfinders are a time-tested method of leading library users to important resources…”
Získať plný text

The Mars Pathfinder mission Internet-based WITS rover planning and simulation system Autor Backes, P.G., Tso, K.S., Tharp, G.K.

“…The Web Interface for Telescience (WITS) is an Internet-based tool that the Mars Pathfinder mission used for both mission operations at JPL and public outreach…”
Získať plný text

Model Checking Programs Autor Visser, Willem, Havelund, Klaus, Brat, Guillaume, Park, SeungJoon, Lerda, Flavio

“… in modern programming languages. In keeping with this philosophy we have developed a verification and testing environment for Java, called Java PathFinder (JPF…”
Získať plný text

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems Autor Moffett, Y., Dingel, J., Beaulieu, A.

“… In this paper, we consider this problem in the context of the model-driven development (MDD) of embedded systems based on UML 2, in which UML 2 state machines are used to specify component behavior…”
Získať plný text

BioMiner—modeling, analyzing, and visualizing biochemical pathways and networks Autor Šırava, M., Schäfer, T., Eiglsperger, M., Kaufmann, M., Kohlbacher, O., Bornberg-Bauer, E., Lenhof, H. P.

“…—which can be used to model biochemical pathways and networks. As a first application we present PathFinder, a new tool predicting biochemical pathways by comparing groups of related organisms based on sequence similarity…”
Získať plný text

Pathfinder: Online Textbook With Randomly Generated Assignments, With Potential For Online Cooperative Creation Autor Everett, Jess

“… It is written in html, asp.net 2, C#, JavaScript, xml, and mathML. Content is stored modularly in txt and xml files…”
Získať plný text

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis Autor Milewicz, Reed Morgan

“…Since the widespread adoption of multi-core architectures at the turn of the millennium, parallel and concurrent programming paradigms, such as multi-threaded…”
Získať plný text

Verification of Android Applications Autor Van Der Merwe, Heila

“… We develop an extension to Java Path Finder (JPF) called JPF-Android to verify Android applications outside of the Android platform…”
Získať plný text

Where has my battery gone? Finding sensor related energy black holes in smartphone applications Autor Yepang Liu, Chang Xu, Cheung, S. C.

“…Smartphone applications have millions of users. Their energy efficiency is very important. However, we investigated 174 Android applications and found 33 of…”
Získať plný text

Fujitsu Accelerates Exhaustive Verification of Java Software Through Parallel Processing

“… Java PathFinder, a verification tool developed by the National Aeronautics and Space Administration…”
Získať plný text

Seasonal and interannual patterns of sea surface temperature in Banda Sea as revealed by self-organizing map Autor Iskandar, Iskhaq

“… A neural network pattern recognition approach based on self-organizing map (SOM) has been applied to monthly SST from the Advanced Very High Resolution Radiometer (AVHRR) Oceans Pathfinder…”
Získať plný text

Fujitsu Develops Software Verification Technology for Practical-use Web Applications

“… and Fujitsu Laboratories of America, Inc. announced today their joint development of the world's first core technology for automatic verification of Java-based practical-use web applications…”
Získať plný text

SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream Synthesizing Autor Ye, Qian, Lu, Minyan

“…Adoption of distributed stream processing (DSP) systems such as Apache Flink in real-time big data processing is increasing. However, DSP programs are prone to…”
Získať plný text