Sciweavers

1776 search results - page 295 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
EHEALTH
2008
188views Healthcare» more  EHEALTH 2008»
13 years 10 months ago
Persuasive Mobile Health Applications
With many industrialized societies bearing the cost of an increasingly sedentary lifestyle on the health of their populations there is a need to find new ways of encouraging physic...
Carlos Garcia Wylie, Paul Coulton
SAC
2009
ACM
14 years 3 months ago
Specifying and checking protocols of multithreaded classes
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
Clément Hurlin
FCCM
2009
IEEE
169views VLSI» more  FCCM 2009»
14 years 3 months ago
RC-BLASTn: Implementation and Evaluation of the BLASTn Scan Function
BLASTn is a tool universally used by biologists to identify similarities between nucleotide based biological genome sequences. This report describes an FPGA based hardware impleme...
Siddhartha Datta, Parag Beeraka, Ron Sass
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
14 years 3 months ago
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor
A generic and retargetable tool flow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent function...
Trevor Meyerowitz, Alberto L. Sangiovanni-Vincente...
ICSEA
2007
IEEE
14 years 3 months ago
An Extensible Architecture for Network-Attached Device Management
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
Michael J. McMahon Jr., Sergiu M. Dascalu, Frederi...