1658 search results - page 250 / 332 » Implementing Bit-addressing with Specialization |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
ENVSOFT
2010
13 years 10 months ago
2010
Wind flow in urban environments is an important factor governing the dispersion of heat and pollutants from streets, squares and buildings. This paper presents a coupled CFD model...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...