Result 1 to 20 from 315 total
Analysis of Trivium using compressed right hand side equations. (English)
Kim, Howon (ed.), Information security and cryptology ‒ ICISC 2011. 14th international conference, Seoul, Korea, November 30‒December 2, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31911-2/pbk). Lecture Notes in Computer Science 7259, 18-32 (2012).
1
Solving compressed right hand side equation systems with linear absorption. (English)
Helleseth, Tor (ed.) et al., Sequences and their applications ‒ SETA 2012. 7th international conference, Waterloo, ON, Canada, June 4‒8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30614-3/pbk). Lecture Notes in Computer Science 7280, 291-302 (2012).
2
Verification of object-oriented programs: a transformational approach. (English)
J. Comput. Syst. Sci. 78, No. 3, 823-852 (2012).
3
Automatic verification of real-time systems with rich data: an overview. (English)
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 84-93 (2012).
4
An abstract model for proving safety of multi-lane traffic manoeuvres. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 404-419 (2011).
5
io-port 05914017 Grasset, Arnaud;
Millet, Philippe;
Bonnot, Philippe;
Yehia, Sami;
Putzke-Roeming, Wolfram;
Campi, Fabio;
Rosti, Alberto;
Huebner, Michael;
Voros, Nikolaus S.;
Rossi, Davide;
Sahlbach, Henning;
Ernst, Rolf
The MORPHEUS heterogeneous dynamically reconfigurable platform. (English)
Int. J. Parallel Program. 39, No. 3, 328-356 (2011).
6
Leveraging health social networking communities in translational research (English)
Journal of Biomedical Informatics 44, No. 4, 536-544 (2011).
7
Admission control and self-configuration in the EPOC framework (English)
ICSAMOS, 364-371 (2011).
8
An abstract model for proving safety of multi-Lane traffic manoeuvres (English)
ICFEM, 404-419 (2011).
9
Real-time communication analysis for networks with two-stage arbitration (English)
EMSOFT, 243-252 (2011).
10
A mesh-based command and control sensing system for public safety scenarios (English)
SenSys, 395-396 (2011).
11
Deploying a mesh-based command and control sensing system in a disaster area maneuver (English)
SenSys, 335-336 (2011).
12
SIMD-based decoding of posting lists (English)
CIKM, 317-326 (2011).
13
Reliability analysis for mpsocs with mixed-critical, hard real-time constraints (English)
CODES+ISSS, 149-158 (2011).
14
Real-time performance analysis of multiprocessor systems with shared memory. (English)
ACM Trans Embed. Comput. Syst. 10, No. 2, 22 (2010).
16
Editorial: model-driven embedded-system design. (English)
ACM Trans Embed. Comput. Syst. 10, No. 2, 15 (2010).
17
Safety, efficiency and autonomy - mastering conflicting trends in embedded systems design. (English)
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20‒23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 5-6 (2010).
18
Layered composition for timed automata. (English)
Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 228-242 (2010).
19
Kleene, Rabin, and Scott are available. (English)
Gastin, Paul (ed.) et al., CONCUR 2010 ‒ concurrency theory. 21th international conference, CONCUR 2010, Paris, France, August 31 ‒ September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 462-477 (2010).
20
Result 1 to 20 from 315 total
Start
Contact
Print
General Help
