4666 search results - page 632 / 934 » Equations on Timed Languages |
183
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
186
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
167
click to vote
DOCENG
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
198
click to vote
HASKELL
2006
ACM
16 years 23 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
167
click to vote
PPPJ
2006
ACM
16 years 22 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...