2613 search results - page 466 / 523 » Active Software Artifacts |
118
click to vote
ECRTS
2010
IEEE
15 years 28 days ago
2010
IEEE
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
114
click to vote
ICFP
2010
ACM
15 years 15 hour ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
BMCBI
2006
14 years 12 months ago
2006
Background: Aristolochic acid (AA) is the active component of herbal drugs derived from Aristolochia species that have been used for medicinal purposes since antiquity. AA, howeve...
111
click to vote
COMCOM
2006
14 years 12 months ago
2006
Recent technological advances in sensors, low-power integrated circuits, and wireless communications have enabled the design of lowcost, miniature, lightweight, and intelligent ph...