Result 1 to 20 of 32 total
Exercises in nonstandard static analysis of hybrid systems. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 462-478 (2012).
1
Programming with infinitesimals: a {\sc While}-language for hybrid system modeling. (English)
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4‒8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 392-403 (2011).
2
Design and evaluation of a microprocessor course combining three cooperative methods: SDLA, pjbl and cnbl (English)
Computers & Education 57, No. 3, 1876-1884 (2011).
3
Ordered types for stream processing of tree-structured data (English)
JIP 19, 74-87 (2011).
4
Programming with infinitesimals: A while-language for hybrid system modeling (English)
ICALP (2), 392-403 (2011).
5
io-port 70830251 Yamanoue, Takashi;
Fouser, Robert J.;
Wada, Tomohito;
Hidaka, Masayasu;
Suzuki, Yusei;
Terada, Masaharu;
Takenoshita, Akira;
Beppu, Yutoku;
Nedachi, Yoko;
Yukawa, Koji;
Rodriguez, Holmes;
Suenaga, Katsuyuki;
Yamanaka, Yuichi;
Okamura, Toshihiko;
Brasier, Anne Elizabeth;
Seto, Hiroyuki;
Dogome, Kazuhide;
Yamada, Takeshi;
Oto, Noritaka;
Ito, Masakazu;
Nedachi, Munetomo
Information and communication technology infrastructure and management for collaboration with regional universities and colleges (English)
SIGUCCS, 25-30 (2011).
6
Application of predictive oscillation-based test to a CMOS opamp (English)
IEEE T. Instrumentation and Measurement 59, No. 8, 2076-2082 (2010).
7
Predictive test strategy for CMOS RF mixers. (English)
Integr., VLSI J. 42, No. 1, 95-102 (2009).
8
Fractional ownerships for safe memory deallocation. (English)
Hu, Zhenjiang (ed.), Programming languages and systems. 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14‒16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10671-2/pbk). Lecture Notes in Computer Science 5904, 128-143 (2009).
9
Predictive test technique for diagnosis of RF CMOS receivers (English)
VTS, 129-133 (2009).
10
Fractional ownerships for safe memory deallocation (English)
APLAS, 128-143 (2009).
11
Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references. (English)
Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 155-170 (2008).
12
Translation of tree-processing programs into stream-processing programs based on ordered linear type. (English)
J. Funct. Program. 18, No. 3, 333-371 (2008).
13
Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references (English)
APLAS, 155-170 (2008).
14
Type-based analysis of deadlock for a concurrent calculus with interrupts. (English)
De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 ‒ April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 490-504 (2007).
15
A module for bist of CMOS RF receivers (English)
J. Electronic Testing 23, No. 6, 605-612 (2007).
16
Type-based analysis of deadlock for a concurrent calculus with interrupts (English)
ESOP, 490-504 (2007).
17
Extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives. (English)
Hill, Patricia (ed.), Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7‒9, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-32654-0/pbk). Lecture Notes in Computer Science 3901, 98-114 (2006).
18
Resource usage analysis for the pi-calculus. (English)
Comput. Res. Repos. 2006, Article No. 0608035 (2006).
19
Resource usage analysis for the $π$-calculus. (English)
Log. Methods Comput. Sci. 2, No. 3, Paper 4, 42 p., electronic only (2006).
20
Result 1 to 20 of 32 total
Start
Contact
Print
General Help
