4350 search results - page 103 / 870 » Case studies for contract-based systems |
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
The availability of easily programmable manycore CPUs and GPUs has motivated investigations into how to best exploit their tremendous computational power for scientific computing...
JCDL
2009
ACM
14 years 4 months ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
BIBM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...
SARA
2007
Springer
14 years 4 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
MEMOCODE
2006
IEEE
14 years 4 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...