2251 search results - page 49 / 451 » Specification and Implementation Problems for C |
149
Voted
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
122
click to vote
CONCURRENCY
2006
15 years 3 months ago
2006
With the advent of grid technologies, scientists and engineers are building more and more complex applications to utilize distributed grid resources. The core grid services provid...
114
Voted
MICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper demonstrates how an Instruction Path Coprocessor (I-COP) can be efficiently implemented using the PipeRench reconfigurable architecture. An I-COP is a programmable on-c...
166
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
137
click to vote
NETGAMES
2005
ACM
15 years 8 months ago
2005
ACM
Ranking is necessary for multiplayer online games to provide players with self-complacence and reference for choosing game counterparts. Most existing ranking solutions are tightl...