Sciweavers

3902 search results - page 500 / 781
» Hardware Synthesis from C C Models
Sort
View
KBSE
2007
IEEE
16 years 1 months ago
Modeling bug report quality
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
Pieter Hooimeijer, Westley Weimer
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 12 months ago
Applying a Layered Policy Model to IP Based Voice Services
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
Douglas C. Sicker
BIODATAMINING
2008
140views more  BIODATAMINING 2008»
15 years 6 months ago
Modeling gene-by-environment interaction in comorbid depression with alcohol use disorders via an integrated bioinformatics appr
Background: Comorbidity of Major Depressive Disorder (depression) and Alcohol Use Disorders (AUD) is well documented. Depression, AUD, and the comorbidity of depression with AUD s...
Richard C. McEachin, Benjamin J. Keller, Erika F. ...
TC
2008
15 years 6 months ago
Accurate, Pre-RTL Temperature-Aware Design Using a Parameterized, Geometric Thermal Model
Abstract-- Preventing silicon chips from negative, even disastrous thermal hazards has become increasingly challenging these days; considering thermal effects early in the design c...
Wei Huang, Karthik Sankaranarayanan, Kevin Skadron...
POPL
2006
ACM
16 years 7 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...