718 search results - page 143 / 144 » Extraction of Structured Programs from Specification Proofs |
BMCBI
2007
13 years 8 months ago
2007
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
ACSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Twitter is a new web application playing dual roles of online social networking and micro-blogging. Users communicate with each other by publishing text-based posts. The popularit...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
DATE
2004
IEEE
14 years 10 days ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...