Jan Janecek

26 papers A 2B 1C 2Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2020 conf
ACIT
Michal Konopa, Jan Fesl, Jan Janecek
2019 conf
ACIT
Jan Fesl, Marie Feslová, Vineet Gokhale, Michal Lejtnar, Jirí Cehák, Jan Janecek
2018 conf
ACIT
Jan Fesl, Vineet Gokhale, Marie Dolezalova, Jirí Cehák, Jan Janecek
2017 J jnl
Computing
Asmaa Atef, Tarek Hagras, Yousef B. Mahdy, Jan Janecek
2015 conf
DATESO
Ondrej Votava, Peter Macejko, Jan Janecek
2014 J jnl
Telecommun. Syst.
Alexandru Mihnea Moucha, Viktor Cerný, Jan Kubr, Jan Janecek
2009 B conf
IWCMC
Jan Janecek
2008 conf
SEESE@ICSE
Laban Mwansa, Jan Janecek
2006 conf
AICT/ICIW
Jesús Arturo Pérez Díaz, Victor Hugo Zárate Silva, Christian Cabrera, Jan Janecek
2005 J jnl
Int. J. Comput. Their Appl.
Tarek Hagras, Jan Janecek
2005 J jnl
Comput. Artif. Intell.
Tarek Hagras, Jan Janecek
2005 J jnl
Parallel Comput.
Tarek Hagras, Jan Janecek
2005 conf
IASTED Conf. on Software Engineering
Jan Janecek
2004 A conf
IPDPS
Tarek Hagras, Jan Janecek
2004 conf
ISPDC/HeteroPar
Tarek Hagras, Jan Janecek
2004 C conf
PDP
Tarek Hagras, Jan Janecek
2004 conf
ICPP Workshops
Tarek Hagras, Jan Janecek
2004 conf
ECBS
Jan Janecek
2004 conf
PDCS
Tarek Hagras, Jan Janecek
2003 conf
ICPP Workshops
Tarek Hagras, Jan Janecek
2003 C conf
ISPDC
Tarek Hagras, Jan Janecek
2002 A conf
ICDCS
Nedal Kafri, Jan Janecek
2002 conf
DEXA Workshops
Tomás Sysala, Jan Janecek
1993 J jnl
Microprocess. Microprogramming
Jan Janecek, Stefan Jedlik, Michal Meloun
1992 J jnl
Microprocess. Microprogramming
Jan Janecek
1987 J jnl
Microprocess. Microprogramming
Jan Janecek, Vlastimil Jánes
docker-build.sh
← Index docker-build.sh bash
#!/bin/bash

set -e

echo "Building REDB Docker image for linux/amd64 platform..."

# Function to tag the most recent <none> image
tag_unnamed_image() {
    local tag_name=$1
    local expected_size=$2
    
    # Get the most recent <none> image
    local image_id=$(docker images --filter "dangling=true" --format "{{.ID}}" | head -1)
    
    if [ -z "$image_id" ]; then
        echo "ERROR: No unnamed image found. Build may have failed."
        return 1
    fi
    
    local actual_size=$(docker images --format "table {{.ID}}\t{{.Size}}" | grep $image_id | awk '{print $2}')
    echo "Found image $image_id with size: $actual_size (expected: $expected_size)"
    
    # Tag the image
    echo "Tagging as $tag_name..."
    docker tag $image_id $tag_name
    
    return 0
}

# Build single unified image
echo ""
echo "Building REDB unified image - Supports both feature extraction and decompilation..."
echo "NOTE: If build hangs at 'exporting to image', press Ctrl+C - the image will still be created!"
echo ""

docker build --platform linux/amd64 -f Dockerfile -t redb:latest . || echo "Build interrupted (this is expected due to Docker Desktop bug)"

# Tag the image if it was built as unnamed
if docker images --filter "dangling=true" --format "{{.ID}}" | head -1 | grep -q "."; then
    tag_unnamed_image "redb:latest" "500MB"
fi

echo ""
echo "Docker build completed!"
echo ""
echo "Available images:"
docker images | grep redb

echo ""
echo "Image size:"
echo "REDB unified image: $(docker images redb:latest --format "{{.Size}}")"

echo ""
echo "Usage:"
echo "  Feature extraction: docker run redb:latest python3 start.py --nomad-job"
echo "  Decompilation:      docker run redb:latest python3 start.py --nomad-job --decompile"
echo "  Custom modules:     docker run redb:latest python3 start.py --nomad-job --modules BasicPropertiesExtractor,PEFeaturesExtractor"