Sciweavers

7124 search results - page 159 / 1425
» Programming Languages and Operating Systems
Sort
View
ESOP
2006
Springer
15 years 10 months ago
A Basic Contract Language for Web Services
We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operat...
Samuele Carpineti, Cosimo Laneve
ICFP
2001
ACM
16 years 6 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
PPPJ
2009
ACM
16 years 1 months ago
Lazy continuations for Java virtual machines
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
Lukas Stadler, Christian Wimmer, Thomas Würth...
MIS
1999
Springer
193views Multimedia» more  MIS 1999»
15 years 10 months ago
Facilitating Spatio-Temporal Operations in a Versatile Video Database System
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...
Shermann S.-M. Chan, Qing Li
RTSS
2007
IEEE
16 years 22 days ago
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tian...