3831 search results - page 346 / 767 » Dynamic Context Logic |
138
click to vote
EFDBS
2001
15 years 8 months ago
2001
In this work, we consider augmenting SQL with constructs allowing dynamic restructuring. Dynamic restructuring occurs naturally in a framework including second-order capabilities f...
176
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
202
click to vote
MHCI
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
210
click to vote
AADEBUG
2005
Springer
16 years 5 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
166
click to vote
FUIN
2008
15 years 6 months ago
2008
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...