5810 search results - page 875 / 1162 » An Approach to Programming Based on Concepts |
190
click to vote
ICS
2005
Tsinghua U.
16 years 5 days ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
204
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
187
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
202
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...