| Name | Title | Contact Details |
|---|
Powerex was established in 1988 as the wholly-owned electricity marketing subsidiary of BC Hydro – Canada’s third largest electric utility – responsible for marketing BC Hydro’s surplus electricity in the west. Today, we are a key participant in energy markets across North America, buying and supplying physical wholesale power, natural gas, ancillary services, and more recently, environmental products with an ever-expanding list of trade partners. Our portfolio of energy resources includes purchases of power and natural gas from a wide variety of energy suppliers across North America, as well as the highly reliable Canadian Entitlement energy derived from the Canada/US Columbia River Treaty. The knowledge, expertise and creativity of our staff allow us to meet the changing demands of the markets and needs of our customers. Our employees closely follow the markets, enabling us to quickly respond to market changes. And our in-depth knowledge of the various markets, transmission and gas transportation systems helps us find creative solutions for securing and moving energy to support our trade agreements. In a changing market, Powerex has outlasted many of our competitors and evolved from an electricity marketing company to an energy trading and marketing company, offering a variety of products and services in traditional energy and emerging markets. Our chief competitive advantages have been the quality of our service, the integrity and creativity of our people, and our ability to reliably deliver energy products and services.
VIS Micro is a Santa Clara, CA-based company in the Computers and Electronics sector.
Oski`s unique formal verification services deliver peak sign-off confidence earlier in the development cycle by diving deep into design behavior to track down the most complex corner-case bugs. Our approach exhaustively proves the absence of bugs and brings a higher level of productivity to our clients, as compared with traditional simulation and formal verification approaches. Since 2005, Oski has focused on developing comprehensive formal verification methodologies to identify and sign-off high-risk blocks, achieve system-level architecture sign-off, and quickly resolve post-silicon bugs. Oski has built the largest team of formal verification experts in the world. Our founder and Chief Oski, Vigyan Singhal, did his PhD thesis at UC Berkeley in formal methods of verification. Vigyan later developed Cadence`s first-generation formal verification tool, and was the founder of Jasper Design Automation, which was later acquired by Cadence. The company is headquartered in San Jose, CA with a design center in Gurugram, India.
Rbe Inc is a Seattle, WA-based company in the Computers and Electronics sector.
PRECILAB is a Carrollton, TX-based company in the Computers and Electronics sector.