12055 search results - page 2186 / 2411 » High Performance Banking |
175
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
195
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
Ultrasound Myocardial Elastography (UME) and Tagged Magnetic Resonance Imaging (tMRI) are two imaging modalities that were developed in the recent years to quantitatively estimate ...
200
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
190
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
211
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...