Result 1 to 20 of 75 total
A unifying property for distribution-sensitive priority queues. (English)
Iliopoulos, Costas S. (ed.) et al., Combinatorial algorithms. 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25010-1/pbk). Lecture Notes in Computer Science 7056, 209-222 (2011).
1
Compact representation of posets. (English)
Asano, Takao (ed.) et al., Algorithms and computation. 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25590-8/pbk). Lecture Notes in Computer Science 7074, 302-311 (2011).
2
Compact navigation and distance oracles for graphs with small treewidth. (English)
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4‒8, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-22005-0/pbk). Lecture Notes in Computer Science 6755, 268-280 (2011).
3
Succinct representation of dynamic trees. (English)
Theor. Comput. Sci. 412, No. 24, 2668-2678 (2011).
4
Ultra low voltage, high performance operational transconductance amplifier and its application in a tunable gm-C filter (English)
Microelectronics Journal 42, No. 6, 827-836 (2011).
5
Compact navigation and distance oracles for graphs with small treewidth (English)
ICALP (1), 268-280 (2011).
6
Compact representation of posets (English)
ISAAC, 302-311 (2011).
7
A unifying property for distribution-sensitive priority queues (English)
IWOCA, 209-222 (2011).
8
Comparing learning algorithms in automated assume-guarantee reasoning. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 643-657 (2010).
9
Entropy-bounded representation of point grids. (English)
Cheong, Otfried (ed.) et al., Algorithms and computation. 21st international symposium, ISAAC 2010, Jeju, Korea, December 15‒17, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17513-8/pbk). Lecture Notes in Computer Science 6507, 327-338 (2010).
10
Compositional bitvector analysis for concurrent programs with nested locks. (English)
Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 253-270 (2010).
11
Automated assume-guarantee reasoning through implicit learning. (English)
Touili, Tayssir (ed.) et al., Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14294-9/pbk). Lecture Notes in Computer Science 6174, 511-526 (2010).
12
Succinct representations of separable graphs. (English)
Amir, Amihood (ed.) et al., Combinatorial pattern matching. 21st annual symposium, CPM 2010, New York, NY, USA, June 21‒23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13508-8/pbk). Lecture Notes in Computer Science 6129, 138-150 (2010).
13
Ultra low-voltage, rail-to-rail input/output stage operational transconductance amplifier (OTA) with high linearity and its application in a gm-C filter (English)
ISQED, 231-236 (2010).
14
A highly linear operational transconductance amplifier (OTA) with high common mode rejection ratio (English)
ICSAP, 18-22 (2010).
15
Succinct representations of separable graphs (English)
CPM, 138-150 (2010).
16
Automated assume-guarantee reasoning through implicit learning (English)
CAV, 511-526 (2010).
17
Comparing learning algorithms in automated assume-guarantee reasoning (English)
ISoLA (1), 643-657 (2010).
18
Compositional bitvector analysis for concurrent programs with nested locks (English)
SAS, 253-270 (2010).
19
Entropy-bounded representation of point grids (English)
ISAAC (2), 327-338 (2010).
20
Result 1 to 20 of 75 total
Start
Contact
Print
General Help
