All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

3 178 (0,086s) •

Result

Bounded Model Checking Using Java PathFinder

this state. The bounded model checking is implemented by the model checker Java...

JC - Počítačový hardware a software

  • 2008
    • •
  • D
Result

Eclipse as Modelling Platform

This paper deals with the abilities of Eclipse to serve as a modular, graphical environment for heterogeneous modelling. The main focus lies on the application of XML technology in the area of modelling -- especially combined and heterogeneous modell...

JC - Počítačový hardware a software

  • 2003
    • •
  • D
Result

Evolutionary Design of Fractal Images

a designer and the system. The project is realize as a Java Applet.<br>...

JC - Počítačový hardware a software

  • 2005
    • •
  • D
Result

Connecting Jade with PN agent

Since Foundation of Intelligent Physical Agent (FIPA) is one of the biggest<br>organizations that handles standardization in the field of agent-based<br open whole new world of possibilities how to use Petri nets ins...

JC - Počítačový hardware a software

  • 2010
    • •
  • D
Result

Self-healing Assurance using Bounded Model Checking

This paper presents an approach of using bounded model checking for healing assurance within a framework for self-healing of concurrent Java programs. In this framework, dynamic (i.e., runtime) analysis is used to detect possible data races ...

JC - Počítačový hardware a software

  • 2009
    • •
  • D
Result

AtomRace: data race and atomicity violation detector and healer

The paper proposes a novel algorithm called AtomRace for a <br>dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write....

JC - Počítačový hardware a software

  • 2008
    • •
  • D
Result

Controlling Asterisk with Java application

The paper deals with remote control of the Asterisk with java application. We developed Java application for remote control of the Asterisk through the Asterisk Manager Interface. We used the java libraries Asterisk-Jav...

IN - Informatika

  • 2011
    • •
  • D
Result

We begin with Java

This article helps a potential user to start using the programming language Java. It describes basic settings of the programming environment and basic settings of the code editor PSPad....

AM - Pedagogika a školství

  • 2009
    • •
  • Jx
Result

jPapaBench

jPapaBench is a Java version of the PapaBench benchmark, originally written successfully tested on several real devices. The main motivation for implementing a Java allow comparison of different Java Virtual Machine impleme...

JC - Počítačový hardware a software

  • 2010
    • •
  • R
Result

HTTP Support in Java

The Java programming language is getting more and more popular because of its large number of extensions for different programming tasks. One of the biggest advantages of Java is the support for wide range of Internet technologies. ...

JC - Počítačový hardware a software

  • 2001
    • •
  • D
  • 1 - 10 out of 3 178