1943 search results - page 241 / 389 » Software and higher education |
165
click to vote
ICMCS
2007
IEEE
16 years 27 days ago
2007
IEEE
Medical imaging has made great technological breakthroughs in multimodal acquisition, visualization, and analysis with many complementary image modalities to non-invasively captur...
165
click to vote
ISCAS
2007
IEEE
16 years 26 days ago
2007
IEEE
— We propose Differential Power Analysis (DPA) with a phase-based waveform matching technique. Conventionally, a trigger signal and a system clock are used to capture the wavefor...
175
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
140
click to vote
HPCC
2007
Springer
16 years 22 days ago
2007
Springer
RWAPI is a low-level communication interface designed for clusters of PCs. It has been developed to provide performance to higher applications on a wide variety of architectures. W...
170
click to vote
IFIP
2007
Springer
16 years 22 days ago
2007
Springer
Refactoring is a hot and controversial issue. Supporters claim that it helps increasing the quality of the code, making it easier to understand, modify and maintain. Moreover, the...