1626 search results - page 111 / 326 » Subtyping with Power Types |
129
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
127
click to vote
ICISC
2008
15 years 5 months ago
2008
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...
140
Voted
ACL
1992
15 years 5 months ago
1992
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...
150
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
141
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Radio resources in the third generation (3G) wireless cellular networks (WCNs) such as the universal mobile telecommunications system (UMTS) network is limited in term of soft ...