5343 search results - page 572 / 1069 » Keyword programming in java |
143
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
128
Voted
DDECS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...
173
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
167
click to vote
NIME
2005
Springer
15 years 12 months ago
2005
Springer
Electronic Musical Instrument Design is an excellent vehicle for bringing students from multiple disciplines together to work on projects, and help bridge the perennial gap betwee...
180
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...