1652 search results - page 232 / 331 » Matching Vector Codes |
151
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
148
click to vote
ASWEC
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
135
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a tool for exploring different parallelization options for an application. It can be used to quickly find a high-quality match between an application and a ...
146
click to vote
FGCN
2008
IEEE
15 years 10 months ago
2008
IEEE
When recording extracellular neural activity, it is often necessary to distinguish action potentials arising from distinct cells near the electrode tip, a process commonly referre...
124
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...