Showing results: 76 - 90 of 169 items found.
-
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface- The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
RapiCoverZero -
Rapita Systems Ltd.
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
CompCert -
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
LDS-7200 -
PSE Technology
5 nanometers tuning range• 10 picometer setpoint accuracy• 0.1 picometer resolution• 20mW output power• 0.005 dB power stability• Built-in coherence control• Integrated function generator• USB remote interface• Application program with source code
-
Testing Technologies
The Spirent SecurityLabs’ services are structured to produce high-impact results with minimal impact on the client organization. Our dedicated teams of experienced security professionals offer comprehensive scanning, penetration testing and monitoring services for networks, applications and devices, as well as source code analysis.
-
EMS-PT30C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
EMS-PT50C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
RapiTaskZero -
Rapita Systems Ltd.
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
Fibre Channel SDK -
Avionics Interface Technologies
Software Drivers for Windows, Linux, VxWorks, and other Operating Systems (on request) - Compatible with all Fibre Channel Interface Modules - Includes documented APIs with source code examples for ANSI C, C++, and LabVIEW - Support provided by AITs industry leading applications engineering team
-
Helix Core -
Perforce Software Inc.
Perforce Helix Core is the leading version control system for teams who need to accelerate innovation at scale. Store and track changes to all your digital assets, from source code to binary to IPs. Connect your teams and empower them to move faster and build better.
-
Kiuwan
Know the risks, the technical debt, the security flaws, the performance issues… create automatic action plans and analyze their progress. Make better decisions, faster, with Kiuwan Software Analytics! Kiuwan is the Optimyth cloud solution for the Certification, Management and Government of the quality and productivity of the source code of your business critical application portfolios.
-
Imagix 4D -
Verifysoft Technology GmbH
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
137 -
STAR-Dundee
STAR-Dundee's SpaceWire LabVIEW VISA driver has been implemented as a native LabVIEW driver, providing support for the STAR-Dundee PCI family of devices. Software written to control these devices may be deployed on any hardware platform that supports cPCI/PCI and NI-VISA, including both Windows based hosts and LabVIEW Real-Time targets, without requiring modifications to source code. The software is provided as LabVIEW source with password protected block diagrams, allowing users to compile for any target.
-
EXC-8000PCI -
Excalibur Systems, Inc.
The EXC-8000PCIe is a PCI Express card supporting up to eight independent 8000 family avionics communication modules, allowing multiple different protocols to be mixed and matched on a single card. Modules available include MIL-STD-1553, MIL-STD-1760, MMSI, ARINC-429, ARINC-708, ARINC-717, Serial, Discrete and CAN bus.The EXC-8000PCIe supports extensive error injection and detection capabilities, IRIG B Time Code input, and can be ordered with an extended operating temperature range of -40ºC to +85ºC and conformal coating. The EXC-8000PCIe is supplied with C drivers, including source code.
-
PMC/XMC -
IXI Technology
IXI Technology’s highly-accurate card provides time down to 62.5ns resolution in UNIX format. Its time-sourced, disciplined, voltage-controlled crystal oscillator (VCXO) or optional CSAC not only allows it to provide sub-second resolution, but also to “flywheel” during the absence or loss of carrier. The module has a status LED that indicates when the internal time is synchronized with the input time code. The card provides a programmable offset on its internal time from the input time source. The generated IRIG-B or 1588 output can be configured to be synchronous to the chosen input time source or configured to use the best available time source.