Sciweavers

1699 search results - page 150 / 340
» A timed semantics of Orc
Sort
View
HASKELL
2009
ACM
16 years 22 days ago
Push-pull functional reactive programming
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
Conal M. Elliott
DEXA
2007
Springer
154views Database» more  DEXA 2007»
16 years 12 days ago
Performance Oriented Schema Matching
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...
Khalid Saleem, Zohra Bellahsene, Ela Hunt
GPCE
2009
Springer
15 years 4 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
RTSS
2009
IEEE
16 years 29 days ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
MDM
2004
Springer
138views Communications» more  MDM 2004»
15 years 11 months ago
Optimizing Data Placement over Wireless Broadcast Channel for Multi-Dimensional Range Query Processing
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
Jianting Zhang, Le Gruenwald