18429 search results - page 3307 / 3686 » Typing dynamic typing |
199
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
186
click to vote
MICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
As the industry moves toward larger-scale chip multiprocessors, the need to parallelize applications grows. High inter-thread communication delays, exacerbated by over-stressed hi...
171
click to vote
SSDBM
2006
IEEE
16 years 25 days ago
2006
IEEE
In many modern applications, there are no exact values available to describe the data objects. Instead, the feature values are considered to be uncertain. This uncertainty is mode...
187
click to vote
TRIDENTCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
—In this paper, we investigate the applicability of simulation and emulation for denial of service (DoS) attack experimentation. As a case study, we consider low-rate TCP-targete...
191
click to vote
VLSID
2006
IEEE
16 years 25 days ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...