1216 search results - page 119 / 244 » Hybrid type checking |
140
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
194
click to vote
PEPM
2011
ACM
14 years 6 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
150
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
152
click to vote
MONET
2007
15 years 3 months ago
2007
Efficient routing and medium access control (MAC) are very important for Mobile Ad hoc Networks (MANETs). Most existing routing and MAC protocols consider homogeneous ad hoc networ...
153
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we propose an action planning algorithm and its evaluation method based on dynamic simulation for a novel type of hybrid leg-wheel rover for planetary exploratio...