More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-30 of 488 results

  • www.drisq.com
  • 1
  • 1
  • 4
D-RisQ is a high-tech UK company, specialising in producing software and systems verification technologies, Worcestershire - and based in Malvern, the home of one of the UK's newest high technology business clusters and a historically important..
Relevance: 89.116554
  • www.verocel.com
  • 5
Verocel is excited to join Wisk in the development and certification of its fully autonomous eVTOL aircraft... Verocel offers expert tools and services to aid customers in software or system verification across multiple industries where safety..
Relevance: 36.424362
  • systemc.org
  • 1
Consequently, design tools must deliver orders-of-magnitude improvement in productivity at both architectural and implementation (RT and physical) levels. Moreover, tools must support a methodology that enables the early development of embedded..
Relevance: 36.158134
  • www.airportveriscan.com
  • 1
veriScan can integrate with airline departure control systems, airport management software, and government or private matching solutions... * Success Rate is defined as the percentage of successful verifications where a traveler is in-scope (within..
Relevance: 35.590336
  • www.lupiak.com
  • 1
Developing of web-based service for verification of system readiness to installation, provisioning, and orchestration from scratch... Experience with the main aspects of the software development cycle including requirements definition, system..
Relevance: 35.310486
  • www.cav2007.org
  • 4
CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and..
Relevance: 35.3061
  • ai4reason.org
The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories... Such complex formal theories arise..
Relevance: 35.191124
  • www.jmldesignllc.net
  • 1
JML Design is a full service embedded software product company offering a complete solution for your embedded software needs. From design to validation and through to system verification, JML has the expertise and resources to get your embedded..
Relevance: 34.6875
  • www.appraid-tech.com
  • 2
  • 3
Appraid Tech is a community of brilliant engineers disrupting the market with their expertise to drive safety innovation through automotive-embedded software development... Appraid Tech provides a system and Software Testing Services (STS) for..
Relevance: 34.29776
  • www.posedgesoft.com
  • 2
  • 1
Located in the Minneapolis area, Posedge Software, Inc. provides design and consulting services for virtual platforms, embedded systems, and related fields... Posedge Software provides consulting and design services for EDA and related industries,..
Relevance: 33.970238
  • fluxata.com
  • 1
  • 1
Measurement and automation using LabVIEW. Experts in IC validation and automation of verification of integrated circuits using National Instruments PXI system. Fluxata is taking the verification/validation of intergrated circuits to a whole new level..
Relevance: 33.959938
  • www.recurity-labs.com
  • 2
  • 1
  • 13
Recurity Labs specializes in IT-security consulting services, focusing on the most important angles of software and system security: the design and verification of expected behaviour... Recurity Labs supports in designing protocols as well as..
Relevance: 33.803978
  • www.smartsoft.ca
  • 4
  • 3
SmartSoft provide desktop and enterprise-level solutions for address correction, postal discounts, and print workflow automation, for Canada and the United States. From our former suite of addressing and mailing products, the Master Delivery series,..
Relevance: 33.686928
  • www.theodorefranklin3.com
  • 1
  • 1
Completed requirements based verification and achieved 100% Code Coverage for DO-254 compliance... Participated in Code Peer Reviews, performed requirements traceability and created various project development documents and company standards to..
Relevance: 33.66224
  • www.getmyevv.com
  • 1
  • 3
After the 21st Century Cures Act requiring Electronic Visit Verification software, there have been a lot of changes in the home care industry. MY EVV, is an Electronic Visit Verification software company, which was founded back in 2018 and was..
Relevance: 33.648636
  • www.turant.ai
  • 2
  • 3
  • 6
Our advanced Attendance Management System offers a seamless solution for tracking employee attendance with precision and efficiency. Whether you need an Attendance Tracking System, Attendance Tracker, or Attendance Tracking Software, our technology..
Relevance: 33.634995
  • hs2-engineering.de
  • 1
  • 1
hs2 engineering GmbH was founded in 2012. In our highly skilled team we are able to access many years of experience in the areas of software, device and system development, verification and qualification, prototyping and small series...
Relevance: 33.520405
  • lehouque.fr
  • 1
  • 1
System integration, verification and validation of military vehicles (HF/VHF radios, LOS/Microwaves, Satellite)... Administration, support and maintenance of a tactical IP network based in Muscat, Oman... Management of a virtual infrastructure for..
Relevance: 33.211235
  • en.radiation-test.com
  • 1
  • 1
Shenzhen Radiation-test co.,LTD. (hereinafter referred to as "Radiation-test") is a high-tech enterprise established by a number of experts in the testing industry.The company focuses on engineering design, simulation and verification of electronic..
Relevance: 32.691643
  • www.systemdesigncentral.de
  • 1
  • 1
System Design Central offers consulting services and solutions in the fields of Model Based Systems Engineering, Requirements Engineering, Validation Verification and Supplay Chain Complexity... We are a team of experts focused at helping our..
Relevance: 32.64894
  • www.uctechip.com
  • 1
UC Techip is a technology R&D and service provider with forward innovation and delivery to open ISA, RISC-V based processor core and verification suite, software, silicon intellectual property (IP) and Domain Specific Architecture (DSA) solution...
Relevance: 32.46373
  • fullspectrumsoftware.com
  • 1
  • 2
Full Spectrum has been the go-to development partner for industry-leading Life Science companies for over two decades... Full Spectrum is managing a complete product/system program or a signification aspect of the product/system including technical..
Relevance: 32.38874
  • www.valinux.co.jp
  • 1
  • 3
  • 5
We support to design and development for mission-critical systems, cloud computing infrastructures and server/network virtualization with functional improvement, tuning and OSS architecture/missing functions development... We provide instructive..
Relevance: 32.36018
  • www.01systems.com
  • 1
  • 10
SigCap is an Enterprise Signature Verification Management System for Banks to manage customer signature details, account information, mandates, biometrics and more... Established in 1986, 01 Systems is one of the first Software providers in the..
Relevance: 32.32694
  • coems.eu
  • 2
  • 1
  • 11
COEMS is a novel observer platform with supporting verification methods for software systems. Key Data Project title: Continuous Observation of Embedded Multicore Systems Project coordinator: Martin Leucker, ISP/ Universität zu Lübeck (DE)..
Relevance: 32.11589
  • www.zkteco-ea.com
  • 1
  • 1
Empowerment Integrated Business based on Biometric Verification Core Techniques (Smart Identity Authentication Application) ZKTeco is a globally renowned provider of biometric verification algorithm techniques, sensors and software platform, which..
Relevance: 31.939476
  • www.mechatronicuml.org
  • 4
  • 3
  • 4
MechatronicUML offers a set of integrated analyses steps, with which you can verify your models. Thereby, you use existing verification techniques and tools for proving the correctness of discrete behavior, while considering real-time constraints..
Relevance: 31.804308
  • nowledge-tech.com
  • 1
  • 5
NowLedge Tech has significant experience in developing embedded software per customer specifications. Our embedded software expertise includes complete board support packages and operating system porting, middleware and library porting, and software..
Relevance: 31.745716
  • www.hcltechconsulting.com
  • 1
HCL TECH CONSULTING Ltd. is a Hong Kong based Consultancy Company founded in 2019. We help our clients to gain competitive advantage by providing cost-effective and efficient business and technological solutions... HCL TECH CONSULTING Ltd. consists..
Relevance: 31.480465
  • www.bermondseyelectronics.com
  • 1
  • 2
  • 1
Bermondsey Electronics is an embedded firmware and software company that can help bring electronic products to life. Discover how we can help you today... Bermondsey Electronics Limited is a highly experienced embedded firmware system design house..
Relevance: 31.118637