1636 search results - page 270 / 328 » Type-Theoretic Functional Semantics |
ACSAC
2007
IEEE
15 years 6 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...
CBMS
2007
IEEE
15 years 6 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 ...
109
click to vote
CODES
2007
IEEE
15 years 6 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...
IEEEPACT
2007
IEEE
15 years 6 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...
102
click to vote
IPPS
2007
IEEE
15 years 6 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...