2111 search results - page 137 / 423 » How to Program Pervasive Systems |
113
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a technique to visualize the communication pattern of a parallel application at different points during its execution. Unlike many existing tools that show the...
96
Voted
MBEC
2010
14 years 7 months ago
2010
Apoptosis is a critical physiological pathway required for the normal functioning, homeostasis, and development of many organisms. This process is highly regulated at the biochemic...
104
Voted
PADL
2004
Springer
15 years 6 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
121
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...