io-port.net

io-port 06013419 Sloth, Christoffer; Wisniewski, Rafael

Verification of continuous dynamical systems by timed automata. (English)

Form. Methods Syst. Des. 39, No. 1, 47-82 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05993319 Przymus, Piotr; Rykaczewski, Krzysztof; Wiśniewski, Ryszard

Application of wavelets and kernel methods to detection and extraction of behaviours of freshwater mussels. (English)

Kim, Tai-hoon (ed.) et al., Future generation information technology. Third international conference, FGIT 2011 in conjunction with GDC 2011, Jeju Island, Korea, December 8‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-27141-0/pbk). Lecture Notes in Computer Science 7105, 43-54 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05980465 Shaker, Hamid Reza; Wisniewski, Rafael

Generalised Gramian framework for model/controller order reduction of switched systems. (English)

Int. J. Syst. Sci. 42, No. 8, 1277-1291 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50140726 Wisniewski, Remigiusz; Barkalov, Alexander; Titarenko, Larysa; Halang, Wolfgang A.

Design of microprogrammed controllers to be implemented in fpgas (English)

Applied Mathematics and Computer Science 21, No. 2, 401-412 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50235405 Dongarra, Jack; Beckman, Peter H.; Moore, Terry; Aerts, Patrick; Aloisio, Giovanni; Andre, Jean-Claude; Barkai, David; Berthou, Jean-Yves; Boku, Taisuke; Braunschweig, Bertrand; Cappello, Franck; Chapman, Barbara M.; Chi, Xuebin; Choudhary, Alok N.; Dosanjh, Sudip S.; Dunning, Thom H.; Fiore, Sandro; Geist, Al; Gropp, Bill; Harrison, Robert J.; Hereld, Mark; Heroux, Michael A.; Hoisie, Adolfy; Hotta, Koh; Jin, Zhong; Ishikawa, Yutaka; Johnson, Fred; Kale, Sanjay; Kenway, Richard; Keyes, David E.; Kramer, Bill; Labarta, Jesús; Lichnewsky, Alain; Lippert, Thomas; Lucas, Bob; Maccabe, Barney; Matsuoka, Satoshi; Messina, Paul; Michielse, Peter; Mohr, Bernd; Müller, Matthias S.; Nagel, Wolfgang E.; Nakashima, Hiroshi; Papka, Michael E.; Reed, Daniel A.; Sato, Mitsuhisa; Seidel, Edward; Shalf, John; Skinner, David; Snir, Marc; Sterling, Thomas L.; Stevens, Rick; Streitz, Fred; Sugar, Bob; Sumimoto, Shinji; Tang, William; Taylor, John; Thakur, Rajeev; Trefethen, Anne E.; Valero, Mateo; Van Der Steen, Aad; Vetter, Jeffrey S.; Williams, Peg; Wisniewski, Robert W.; Yelick, Katherine A.

The international exascale software project roadmap (English)

IJHPCA 25, No. 1, 3-60 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70271823 Morari, Alessandro; Gioiosa, Roberto; Wisniewski, Robert W.; Cazorla, Francisco J.; Valero, Mateo

A quantitative analysis of OS noise (English)

IPDPS, 852-863 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70665670 Przymus, Piotr; Rykaczewski, Krzysztof; Wisniewski, Ryszard

Application of wavelets and kernel methods to detection and extraction of behaviours of freshwater mussels (English)

FGIT, 43-54 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71003855 Soltani, Mohsen; Wisniewski, Rafael; Brath, Per; Boyd, Stephen

Load reduction of wind turbines using receding horizon control (English)

CCA, 852-857 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70023235 Appavoo, Jonathan; Waterland, Amos; Da Silva, Dilma; Uhlig, Volkmar; Rosenburg, Bryan S.; Van Hensbergen, Eric; Stoess, Jan; Wisniewski, Robert W.; Steinberg, Udo

Providing a cloud network infrastructure on a supercomputer (English)

HPDC, 385-394 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70091924 Giampapa, Mark; Gooding, Thomas; Inglett, Todd; Wisniewski, Robert W.

Experiences with a lightweight supercomputer kernel: lessons learned from blue gene’s CNK (English)

SC, 1-10 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70373172 Sloth, Christoffer; Wisniewski, Rafael

Abstraction of continuous dynamical systems utilizing Lyapunov functions (English)

CDC, 3760-3765 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70373684 Kragelund, Martin; Leth, John; Wisniewski, Rafal

Optimal input strategy for plug and play process control systems (English)

CDC, 2474-2479 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71003807 Kragelund, Martin; Leth, John; Wisniewski, Rafal

Performability measure for a power plant (English)

CCA, 1898-1903 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05759217 Shaker, Hamid Reza; Wisniewski, Rafael

Switched systems reduction framework based on convex combination of generalized gramians. (English)

J. Control Sci. Eng. 2009, Article ID 710478, 11 p. (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70373327 Wisniewski, Rafal; Chen, Liang; Larsen, Lars Finn Sloth

Synchronization analysis of the supermarket refrigeration system (English)

CDC, 5562-5567 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70668867 Tsafrir, Dan; Wisniewski, Robert W.; Bacon, David F.; Stroustrup, Bjarne

Minimizing dependencies within generic classes for faster and smaller programs (English)

OOPSLA, 425-444 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05446032 Da Silva, Dilma; Wisniewski, Robert W.

Introduction. (English)

Oper. Syst. Rev. 42, No. 1, 1 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05446029 Butrico, Maria A.; Da Silva, Dilma; Krieger, Orran; Ostrowski, Michal; Rosenburg, Bryan S.; Tsafrir, Dan; Van Hensbergen, Eric; Wisniewski, Robert W.; Xenidis, Jimi

Specialized execution environments. (English)

Oper. Syst. Rev. 42, No. 1, 106-107 (2008).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05446022 Wisniewski, Robert W.; Da Silva, Dilma; Auslander, Marc A.; Krieger, Orran; Ostrowski, Michal; Rosenburg, Bryan S.

K42: Lessons for the OS community. (English)

Oper. Syst. Rev. 42, No. 1, 5-12 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05527776 Larsen, Jesper A.; Wisniewski, Rafael; Izadi-Zamanabadi, Roozbeh

Hybrid control and verification of a pulsed welding process. (English)

Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3‒5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 357-370 (2007).

20

PDF XML AMS-TeX TEXT BIBTeX DOI