1221 search results - page 93 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
156
click to vote
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
202
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
126
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
114
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...
106
click to vote
EOR
2006
15 years 3 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...