Suchergebnisse - Java PathFinder 2

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks von 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 …”
Volltext

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

Volltext

Radiometric Signatures of Gold Mineralization Zone in Pongkor, West Java, Indonesia: A Baseline for Radiometric Mapping Application on Low-Sulfidation Epithermal Deposit von 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 …”
Volltext

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies von 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 …”
Volltext

Dynamic Pathfinders von Hunter, Ben

“… Library pathfinders are a time-tested method of leading library users to important resources …”
Volltext

A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development von 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 …”
Volltext

Supporting Domain-Specific Programming in Web 2.0: A Case Study of Smart Devices von 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, …”
Volltext

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

“… Library pathfinders are a time-tested method of leading library users to important resources …”
Volltext

The Mars Pathfinder mission Internet-based WITS rover planning and simulation system von 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 …”
Volltext

Model Checking Programs von 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 …”
Volltext

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems von 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 …”
Volltext

BioMiner—modeling, analyzing, and visualizing biochemical pathways and networks von Šı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 …”
Volltext

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

“… It is written in html, asp.net 2, C#, JavaScript, xml, and mathML. Content is stored modularly in txt and xml files …”
Volltext

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis von 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 …”
Volltext

Verification of Android Applications von 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 …”
Volltext

Where has my battery gone? Finding sensor related energy black holes in smartphone applications von 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 …”
Volltext

Fujitsu Accelerates Exhaustive Verification of Java Software Through Parallel Processing

“… Java PathFinder, a verification tool developed by the National Aeronautics and Space Administration …”
Volltext

Seasonal and interannual patterns of sea surface temperature in Banda Sea as revealed by self-organizing map von 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 …”
Volltext

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 …”
Volltext

SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream Synthesizing von 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 …”
Volltext