8179 search results - page 1587 / 1636 » The PRACTIONIST Development Tool |
BIRD
2008
Springer
14 years 3 days ago
2008
Springer
The inverse protein folding problem is that of designing an amino acid sequence which has a prescribed native protein fold. This problem arises in drug design where a particular st...
ICSE
2010
IEEE-ACM
14 years 3 days ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
ACMSE
2005
ACM
14 years 3 days ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
ASSETS
2005
ACM
14 years 2 days ago
2005
ACM
Anecdotal evidence suggests that Web document summaries provide the sighted reader with a basis for making decisions regarding the route to take within non-linear text; and additi...
DAC
2005
ACM
14 years 2 days ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...