7139 search results - page 1134 / 1428 » Language Engineering in Practice |
161
click to vote
RAID
2007
Springer
16 years 24 days ago
2007
Springer
Network-level emulation has recently been proposed as a method for the accurate detection of previously unknown polymorphic code injection attacks. In this paper, we extend network...
176
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
187
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
167
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
144
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...