Sciweavers

144 search results - page 5 / 29
» System Level Analysis of the Bluetooth Standard
Sort
View
ERCIM
2008
78views more  ERCIM 2008»
13 years 7 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
RTS
2010
175views more  RTS 2010»
13 years 2 months ago
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
François Dorin, Pascal Richard, Michaë...
WSC
2007
13 years 9 months ago
Simulation tool for manpower forecast loading and resource leveling
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
Mikhail Hanna, Janaka Y. Ruwanpura
FMCAD
2007
Springer
13 years 11 months ago
Circuit Level Verification of a High-Speed Toggle
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
Chao Yan, Mark R. Greenstreet
WACV
2005
IEEE
14 years 29 days ago
A Real-Time Rodent Tracking System for Both Light and Dark Cycle Behavior Analysis
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...
Jane Brooks Zurn, Drew Hohmann, Steven I. Dworkin,...