Sciweavers

973 search results - page 168 / 195
» Construction of a Semantic Model for a Typed Assembly Langua...
Sort
View
EMSOFT
2004
Springer
14 years 29 days ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
GPCE
2004
Springer
14 years 28 days ago
Taming Macros
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
Ryan Culpepper, Matthias Felleisen
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
14 years 29 days ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
JAPLL
2010
179views more  JAPLL 2010»
13 years 6 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
MM
2005
ACM
166views Multimedia» more  MM 2005»
14 years 1 months ago
MedSMan: a streaming data management system over live multimedia
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
Bin Liu, Amarnath Gupta, Ramesh Jain