5962 search results - page 445 / 1193 » Working with Patterns and Code |
176
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing clone management approaches are stil...
155
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
176
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
202
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
118
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a linear predictive coding technique for multichannel electromyographic (EMG) recordings. The signals are acquired using two-dimensional grid of electrodes which genera...