Resources
BNET Resources
- sort by:
- Relevance
- Date
- Popularity
- USA: TEKSOUTH AWARDED CONTRACT FOR CRIS INTEGRATION SYSTEM.
- Teksouth Corp., of Gardendale, Ala., is being awarded a contract for $17,199,961.This action will provide information technology services for the operations, sustainment, and refinement of the Commanders' Resource Integration System CRIS.CRIS facilities decision making within the Air Force by providing visibility into worldwide supply and ...
- Research articles 2008-04-21
- Surgical Displays Emerge as a High-Growth Segment in the North American Medical Display Monitors Markets
- PALO ALTO, Calif. -- The refinement of liquid crystal display LCD technology and ongoing installations of picture archiving and communications systems PACS are having a profound impact on the North American medical display monitors markets. While LCD refinement has resulted in the current state of price declines, PACS implementations continue...
- Research articles 2007-10-16
- Toyota Prius.(SPY REPORTS)(Brief article)
- Here's a good look at the next-generation Toyota Prius. The inside word from Japan is that the '09 version of the landmark hybrid will deliver both better fuel economy and more power. Engine size increases to 1.8 liters. New batteries and refinements to the Hybrid Synergy...
- Research articles 2007-03-01
- Simple super arrives.
- Byline: Ian Davis Nov 02, 2006 (Superfunds - ABIX via COMTEX) -- The Association of Superannuation Funds of Australia ASFA welcomes the Government's "Final Decisions" paper. The document discusses refinements to some of the administrative arrangements in the "Simple Super" plan in...
- Research articles 2006-11-02
- Subtly spiffier.(Spy REPORT: DETROIT)(product information)(Brief Article)
- It's scary to mess with a successful formula. And Ford's Explorer is the best-selling SUV on the market, so changes to it are minimal In fact, this prototype of next year's model--seen cavalierly cruising a suburb outside Detroit--reveals few refinements. Most noticeable are the bright horizontal...
- Research articles 2005-07-01
- Montana: INDIGENT REFORM PLAN SEEKS TO AVOID LAWSUIT
- A legislative task force is drafting a bill to establish a state-funded program for indigent defense that would ward off a pending civil rights lawsuit.The task force will present the draft to the legislature's interim Law and Justice Committee for refinement before the 2005 session begins in January.The American Civil...
- Research articles 2004-08-31
- PHILIPPINES LOOKS TO ADDRESS ANTI-MONEY LAUNDERING LAW.
- MANILA, Feb 7 Asia Pulse - As far as regulators are concerned, legislators should either allow refinements to strict deposit secrecy provisions in keeping with international standards or prepare the country for punitive sanctions from the Financial Action Task Force soon after its February 12, 2003 deadline lapses. ...
- Research articles 2003-02-07
- '99 gadgets include new engines, massaging seats.
- AARON ROBINSON Evolution, not revolution, best describes the technical changes automakers are making to their cars for 1999. The gadget parade this year will pass largely unnoticed by drivers unless they are involved in a bad crash or spend an afternoon pulling...
- Research articles 1998-10-26
- ELAST Technologies, Inc.'s Founder Dr. Robert D. Milne Once Again Teams With David B. Phillips Inventor of the `Ear Thermometer' to Refine ELAST's Non-Invasive Allergy Testing System
- LAS VEGAS--BUSINESS WIRE--Oct. 19, 1998--ELAST Technologies, Inc.'s (OTC-Bulletin Board:ETSG) David B. Phillips and Thomas Krucker, President, will attend Discovery Expo, sponsored by The Investment Reporter, Investor's Business Daily, & Business Wire on October 20, 1998 from Noon until 8 o'clock at the New York Hilton, 6th Avenue & 53rd Street....
- Research articles 1998-10-19
- DuraSwitch Receives Expanded Patent Coverage on its Electronic Switch Products
- PHOENIX--BUSINESS WIRE--Oct. 1, 1998--The U.S. Patent Office has granted DuraSwitchR Industries Inc. (OTC BB:DSWT) a third patent covering detailed refinements to the technology developed for its electronic switch products, DuraSwitch Chief Executive Officer Terren Dunlap announced. The latest refinements strengthen the manufacturing and licensing of the DuraSwitchR technology,...
- Research articles 1998-10-01
- The Cooper Group. (design firm)
- Taking their stylistic cues from the French modernist movement, designers Celeste Cooper and Donald Schermerhorn created an extremely appealing library heavy on refinement and sophistication. The delicate balance of discipline and lyricism that characterizes the best of high French modernism, says Cooper, makes the style a...
- Research articles 1993-09-01
- PETROBRAS ANNOUNCES ADDITION OF VEGETABLE OIL IN DIESEL REFINEMENT
- According to anba: The president of Brazilian oil company, Sergio Gabrielli announced yesterday (18) that as of 2007 the company will produce diesel in industrial scale, adding vegetable oil in the product's refinement. "The result will be a diesel oAccording to anba: The president of Brazilian oil company, Sergio Gabrielli...
- Research articles 2006-05-21
- BRAZIL: PETROBRAS ANNOUNCES ADDITION OF VEGETABLE OIL IN DIESEL REFINEMENT.
- According to anba: The president of Brazilian oil company, Sergio Gabrielli announced yesterday (18) that as of 2007 the company will produce diesel in industrial scale, adding vegetable oil in the product's refinement. "The result will be a die According to anba: The president of Brazilian...
- Research articles 2006-05-21
- Zales Corporation F1Q09 (Qtr End 10/31/08) Earnings Call Transcript
- Question-and-Answer Session Operator Operator Instructions The first question comes from Lorraine Maikis - Merrill Lynch. Lorraine Maikis - Merrill Lynch You have been talking about this SG&A reduction plan for a while and SG&A dollars this quarter were flat despite the decline in sales so can you...
- Earnings calls 2008-11-25
- The Top Ten Reasons Projects Fail (Part 9)
- Two keys to good estimation practice are information gathering and change management methods. How and when the information needed is gathered is largely a function of the lifecycle approach employed. This is true of change management also, pinpointing the importance of lifecycle design. Any good systems lifecycle will incorporate the...
- White papers 2003-11-05
- Balance Refinement of Massive Linear Octree Datasets
- This white paper deals with the process of enforcing the 2-to-1 constraint on an existing octree dataset called as balance refinement. The balance refinement problem is characterized not only by the sheer volume of data, but also by the intricacy of the 2-to-1 constraint. The paper presents solution that consists...
- White papers 2004-04-28
- Refinement and Validation of In-Situ Parameter Estimation Models
- This paper discusses the refinement and validation of in-Situ parameter estimation models. The validation of the parameter estimation method must be based on high-quality input data in order to increase the confidence in the parameter estimation model. This is to be done using a medium-scale borehole apparatus that was constructed...
- White papers 2000-03-24
Additional Resources
- Experiments With SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework
- This white paper presents experimental results on the performance of using symbolic simulation with SAT-based reparametrization within the Counterexample Guided Abstraction Refinement framework. Abstraction refinement has been applied successfully to prove safety properties of large industrial circuits. However, all existing abstraction refinement frameworks simply use SAT-based Bounded Model Checking BMC...
- White papers 2004-05-13
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- This paper presents a new procedure to perform this refinement operation for abstractions of hybrid systems by following an approach originally developed for finite-state systems. Hybrid dynamic systems include both continuous and discrete state variables. The paper also shows how such reachability computations with varying degrees of complexity that can...
- White papers 2003-01-24
- Predicate Abstraction and Refinement Techniques for Verifying Verilog
- This white paper evaluates three techniques to improve the performance of SAT-based predicate abstraction of circuits. First the partition of the abstraction problem by forming subsets of the predicates making the resulting abstractions more coarse, but the computation of the abstract transition relation becomes easier, secondly evaluates the performance effect...
- White papers 2004-06-25
- << Previous
- page 1 of 1
- Next >>
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
