Result 1 to 20 of 196 total
Nominal completion for rewrite systems with binders. (English)
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 201-213 (2012).
1
A DDS-based middleware for quality-of-service and high-performance networked robotics. (English)
Concurrency Comput. Pract. Exp. 24, No. 16, 1940-1952 (2012).
2
SAT modulo linear arithmetic for solving polynomial constraints. (English)
J. Autom. Reasoning 48, No. 1, 107-131 (2012).
3
Evolution of XML schemas and documents from stereotyped UML class models: a traceable approach. (English)
Inf. Softw. Technol. 53, No. 1, 34-50 (2011).
4
New redundant logic design concept for high noise and low voltage scenarios (English)
Microelectronics Journal 42, No. 12, 1359-1369 (2011).
5
Do elementary flux modes combine linearly at the "atomic" level? integrating tracer-based metabolomics data and elementary flux modes (English)
Biosystems 105, No. 2, 140-146 (2011).
6
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach (English)
Information & Software Technology 53, No. 1, 34-50 (2011).
7
Flexible learning of k-dependence Bayesian network classifiers (English)
GECCO, 1219-1226 (2011).
8
Nerve: A lightweight middleware for quality-of-service networked robotics (English)
ITNG, 655-660 (2011).
9
Impact of positive bias temperature instability (PBTI) on 3T1D-DRAM cells (English)
ACM Great Lakes Symposium on VLSI, 277-282 (2011).
10
Analysis of delay mismatching of digital circuits caused by common environmental fluctuations (English)
ISCAS, 2585-2588 (2011).
11
io-port 70887917 Aymerich, Nivard;
Asenov, A.;
Brown, A.;
Canal, Ramon;
Cheng, B.;
Figueras, Joan;
González, Antonio;
Herrero, Enric;
Markov, S.;
Miranda, Miguel;
Pouyan, P.;
Ramirez, Tanausu;
Rubio, Antonio;
Vatajelu, I.;
Vera, Xavier;
Wang, X.;
Zuber, Paul
New reliability mechanisms in memory design for sub-22nm technologies (English)
IOLTS, 111-114 (2011).
12
Design of complex circuits using the via-configurable transistor array regular layout fabric (English)
SoCC, 166-169 (2011).
13
A new probabilistic design methodology of nanoscale digital circuits (English)
CONIELECOMP, 190-193 (2011).
14
Dynamic fine-grain body biasing of caches with latency and leakage 3T1D-based monitors (English)
ICCD, 332-338 (2011).
15
io-port 05847505 Galis, Alex;
Clayman, Stuart;
Fischer, Andreas;
Paler, Alexandru;
Al-Hazmi, Yahya;
De Meer, Hermann;
Cheniour, Abderhaman;
Mornard, Olivier;
Gelas, Jean Patrick;
Lefevre, Laurent;
Loyola, Javier Rubio;
Astorga, Antonio;
Serrat, Joan;
Davy, Steven
Future internet management platforms for network virtualisation and service clouds. (English)
Di Nitto, Elisabetta (ed.) et al., Towards a service-based internet. Third European conference, ServiceWave 2010, Ghent, Belgium, December 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17693-7/pbk). Lecture Notes in Computer Science 6481, 235-237 (2010).
16
Metamodeling for evolution: two decades of the Nóesis group. (Metamodelizando para evolucionar: dos décadas de grupo nóesis.) (Spanish)
Lambán, Laureano (ed.) et al., Contribuciones científicas en honor de Mirian Andrés Gómez. Logroño: Universidad de La Rioja, Servicio de Publicaciones (ISBN 978-84-96487-50-5/hbk). 263-272 (2010).
17
Modeling issues: a survival guide for a non-expert modeler. (English)
Petriu, Dorina C. (ed.) et al., Model driven engineering languages and systems. 13th international conference, MODELS 2010, Oslo, Norway, October 3‒8, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16128-5/pbk). Lecture Notes in Computer Science 6395, 361-375 (2010).
18
Stones falling in water: When and how to restructure a view-based relational database. (English)
Catania, Barbara (ed.) et al., Advances in databases and information systems. 14th East European conference, ADBIS 2010, Novi Sad, Serbia, September 20‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15575-8/pbk). Lecture Notes in Computer Science 6295, 559-562 (2010).
19
MODEST: a model for energy estimation under spatio-temporal variability (English)
ISLPED, 129-134 (2010).
20
Result 1 to 20 of 196 total
Start
Contact
Print
General Help
