1332 search results - page 134 / 267 » A generative programming approach to developing pervasive co... |
112
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
128
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
109
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
141
Voted
HPCA
2011
IEEE
14 years 6 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
113
click to vote
CIA
2007
Springer
15 years 8 months ago
2007
Springer
Physically based rendering is the process of generating a 2D image from the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, th...