1864 search results - page 50 / 373 » Formal topology and domains |
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
BRAIN
2010
Springer
13 years 6 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
JUCS
2006
13 years 10 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
ICDE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...