95 search results - page 16 / 19 » Operational Semantics for DKAL: Application and Analysis |
ICDE
2000
IEEE
14 years 8 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
LCPC
2005
Springer
14 years 26 days ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...