Sciweavers

3381 search results - page 652 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
VLDB
2002
ACM
143views Database» more  VLDB 2002»
15 years 5 months ago
SQL Memory Management in Oracle9i
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
Benoît Dageville, Mohamed Zaït
ICIP
2006
IEEE
16 years 7 months ago
Extending Single-View Scalable Video Coding to Multi-View Based on H.264/AVC
An extension of single-view scalable video coding to multiview is presented in this paper. Scalable video coding is recently developed in the Joint Video Team of ISO/IEC MPEG and ...
Michael Drose, Carsten Clemens, Thomas Sikora
POPL
2005
ACM
16 years 6 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
BTW
2007
Springer
164views Database» more  BTW 2007»
15 years 12 months ago
Ruminations on Multi-Tenant Databases
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...
Dean Jacobs, Stefan Aulbach
PPDP
2007
Springer
15 years 12 months ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano