More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

31-60 of 64 results

  • www.stefanbucur.net
  • 1
Cloud9 is a symbolic execution platform for low-level system software, such as UNIX utilities, web servers, and distributed systems. Such systems rely on operating system calls to perform their job. To scalably support them in symbolic execution,..
Relevance: 16.482735
  • telesystems.com.mt
  • 1
  • 3
Established in 1987 by Mr. Carmelo Agius and later on developed and solely owned by Mr. Paul Hyacinth Agius, Advanced Telecommunications Systems Co. Ltd encompasses a sale driven company which exclusively flourishes customer service. Having been..
Relevance: 15.793827
  • dpph-ch.github.io
  • 2
In particular, DPPH produced a prototype called MedCo, the first operational system that makes sensitive medical-data processable for research in a simple, privacy-conscious and secure way... DPPH also produced a comprehensive software library,..
Relevance: 15.232868
  • www.bizapp.co
  • 2
  • 3
  • 2
Biz is a Qatari company based in Doha that offers a complete Invoicing Solution suite for small and medium-sized businesses, integrating marketing, sales, billing, payment and cash management tools... Biz's initial approach was to create a digital..
Relevance: 14.902399
  • www.typed.io
  • 1
We're a small consultancy dedicated to provide advices and softwares related to haskell, rust, security and cryptography... Thorough understanding of cryptography from low level implementation to high level protocol. We've designed high level..
Relevance: 14.848052
  • www.lightmass-dynamics.com
  • 1
Our product is an application framework which can be integrated into any existing physics and/or rendering software that's used offline, real time or in the cloud. Instead of using billions of current primitives like polygons or voxels to define an..
Relevance: 14.843353
  • www.lukatela.com
Geodyssey Limited was a private software development corporation, founded in 1992 by Hrvoje Lukatela and John Russell, funded exclusively through the investment of its principals and the revenues from its technology sales. It was operating world-wide..
Relevance: 14.665264
  • www.berstis.com
This document describes how to use the SNOBOL4 language on the IBM Personal Computer and includes a reference summary for the SNOBOL4 language. Familiarity with the SNOBOL4 language is assumed. This manual does not attempt to teach SNOBOL4. It is..
Relevance: 13.371027
  • www.cutecad.com
  • 1
  • 1
CuteCad is a simple 2D CAD software for everyone. You don't need any CAD experience to get started. CuteCAD was designed with modularity, extensibility and portability in mind, to speed up your prototyping process and to shorten the time to market of..
Relevance: 13.270784
  • www.jolie-lang.org
  • 1
  • 1
Jolie is a contract-first programming language, which puts API design at the forefront. It supports both synchronous and asynchronous communication. Data models are defined by types that support refinement (in red on the right), and DTO (Data..
Relevance: 13.151168
  • www.mentolabs.xyz
  • 1
  • 19
At Mento Labs, we are on a mission to develop the next generation of digital assets for real-world adoption. We innovate, develop and implement transparent digital asset solutions utilizing our expertise in financial markets, tokenomics, software..
Relevance: 13.020765
  • www.jamodeler.com
Based on 2017 GDC talk 'The Illusion of Motion: Making Magic with Textures in the Vertex Shader'... Hello world, my name is Jeffrey Adams. I am a passionate game developer with a diverse background of skills and experiences. The first few years of..
Relevance: 12.989888
  • zerotcb.github.io
To put an end to data breaches and security exploits, we are building state-of-the-art solutions that allow customers to perform sensitive data analytics in both public and private clouds. Our mantra is simple: remove large parts of the cloud..
Relevance: 12.835807
  • www.curvsurf.com
  • 2
  • 2
Curvsurf offers a variety of software solutions for your specific needs. We utilize groundbreaking, abstract-based geometric algorithms to estimate a shape's proportions based on a recognizable shape in REAL-TIME... By using FindSurface, users can..
Relevance: 12.69623
  • sciknowengine.github.io
abstract = {Within this paper, we describe a neuroinformatics project (called "NeuroScholar," http://www.neuroscholar.org/) that enables researchers to examine, manage, manipulate, and use the information contained within the published..
Relevance: 12.625728
  • andreschaller.de
  • 1
  • 1
  • 1
Security Engineering understood as the art of interleaving strong security primitives and concepts with efficient and effective IT solutions - comprising the underlying hardware as well as the software stack. This principle lies at the heart of my..
Relevance: 12.479924
  • cs4405.github.io
  • 1
Software systems are becoming highly concurrent and distributed to utilize modern multicore architectures and increasing speed and bandwidth in networks. Shared-memory concurrency in multicore programs and message-passing concurrency in distributed..
Relevance: 11.820986
  • www.ockam.io
Ockam is a team of doers, builders, shippers, and finishers. We created an environment where every individual is empowered to act, and trusted to be world-class in their role... Software cannot be secured from the outside. Ockam provides powerful..
Relevance: 11.719719
  • express-sos2022.github.io
We are planning a special issue with selected papers from EXPRESS/SOS 2021 and EXPRESS/SOS 2022... Using dedicated software to represent or enact legislation or regulation has the advantage of solving the inherent ambiguity of legal texts and..
Relevance: 11.686437
  • www.voxalgroup.com
  • 1
Voxal Group is dedicated to further development and promotion of a new revolutionary graphics engine, opening the world of portable electronics to previously unimaginable complexities of 3D and 4D graphics... Our first product is software running on..
Relevance: 11.601388
  • ic-safety.com
  • 1
  • 1
Microelectronic systems are integrated into all sectors of modern society. Individuals rely on mobile computing, home automation, and smart cars to manage their lives. System builders, government, industry, and the military rely on communication..
Relevance: 11.3305645
  • openfab.mit.edu
We present OpenFab, a programmable pipeline for synthesis of multi-material 3D printed objects that is inspired by RenderMan and modern GPU pipelines. The pipeline supports procedural evaluation of geometric detail and material composition, using..
Relevance: 11.155095
  • www.hiwill.in
  • 1
  • 2
Hi-WiLL is an ISO 9001:2015 compliant company. In year of 2006, two highly passionate, determined, innovative &l foresighted entrepreneurs laid down the foundation of Hi-WiLL engineering solution with manufacturing facility of DIE &l Precision..
Relevance: 11.116661
  • www.asianhost.org
  • 9
  • 47
Hardware has long been viewed as a trusted party supporting the whole computer system and is often treated as an abstract layer running instructions passed through the software layer. Historically, cybersecurity community believed that the integrated..
Relevance: 10.7923355
  • www.pro3d.eu
PRO3D is a FP7 project funded by the EU under GA n° 248776. Copyright © 2010 CEA. All right reserved. Theme by deniart... PRO3D developped a rigorous design flow based on the BIP and DOL component framework: The flow is (i) model-based, that is,..
Relevance: 10.7923355
  • futurenetworks.space
  • 2
  • 4
The Westcott Future Network Development Centre (FNDC) is s a joint funded venture between the Buckinghamshire Local Enterprise Partnership (BLEP) and the Satellite Applications Catapult, focused on resilient communications. We are an open and..
Relevance: 10.682395
  • quasilinear.com
  • 1
Quasilinear Research is developing a probabilistic processor model, defined in the Chisel hardware description language, to capture the execution of user-level software in terms of the gate-level logic primitives understood by existing search and..
Relevance: 10.452833
  • rtmath.net
  • 2
  • 1
RTMath provides a set of .NET and Java components and libraries for numerical calculations and time-series data analysis. Based on very efficient integration with Intel® Math Kernel Library (MKL) and Intel® Integrated Performance Primitives (IPP),..
Relevance: 9.70854
  • goodbright.nz
  • 1
Cashless is about making money human again - merging crypto primitives with a new way to think about mutual credit. We provide an alternative way to keep track of credit through communities and tools for greater reliability and transparency -..
Relevance: 9.624539
  • www.steinhoff.de
  • 1
  • 1
We reserve the right to modify the content of our Web site at any time. Specific information about technical specifications of our products is provided only by our sales department. Steinhoff does not have any responsibility for the contents of..
Relevance: 9.195619