31686 search results - page 352 / 6338 » Resource typing in Guru |
172
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state aut...
167
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
148
click to vote
DCC
2008
IEEE
16 years 5 months ago
2008
IEEE
A partial difference set having parameters (n2, r(n - 1), n + r2 - 3r, r2 - r) is called a Latin square type partial difference set, while a partial difference set having paramete...
172
click to vote
ACSAC
2009
IEEE
16 years 28 days ago
2009
IEEE
—Validating function pointers dynamically is very useful for intrusion detection since many runtime attacks exploit function pointer vulnerabilities. Most current solutions tackl...
147
click to vote
ICSE
2009
IEEE-ACM
16 years 27 days ago
2009
IEEE-ACM
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we present the results of ...