1636 search results - page 270 / 328 » Type-Theoretic Functional Semantics |
130
Voted
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
129
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
138
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
139
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
145
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...