io-port.net

io-port 05920886 Diguet, Jean-Philippe; Eustache, Yvan; Gogniat, Guy

Closed-loop-based self-adaptive hardware/Software-embedded systems: design methodology and smart Cam case study. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 38 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920885 Huynh, Johnny; Amaral, José Nelson; Berube, Paul; Touati, Sid Ahmed Ali

Evaluating address register assignment and offset assignment algorithms. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 37 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920884 Ragel, Roshan G.; Parameswaran, Sri

A hybrid hardware-software technique to improve reliability in embedded processors. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 36 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920883 Ykman-Couvreur, Chantal; Nollet, Vincent; Catthoor, Francky; Corporaal, Henk

Fast multidimension multichoice knapsack heuristic for MP-soc runtime management. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 35 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920882 Berendsen, Jasper; Gebremichael, Biniam; Vaandrager, Frits W.; Zhang, Miaomiao

Formal specification and analysis of zeroconf using uppaals. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 34 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920881 Aaraj, Najwa; Raghunathan, Anand; Jha, Niraj K.

A framework for defending embedded systems against software attacks. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 33 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920880 Nair, Ajay; Shankar, Karthik; Lysecky, Roman L.

Efficient hardware-based nonintrusive dynamic application profiling. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 32 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920879 Liu, Xue; Abdelzaher, Tarek F.

Nonutilization bounds and feasible regions for arbitrary fixed-priority policies. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 31 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920878 West, Richard; Parmer, Gabriel

Application-specific service technologies for commodity operating systems in real-time environments. (English)

ACM Trans Embed. Comput. Syst. 10, No. 3, 30 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889332 Li, Lian; Xue, Jingling; Knoop, Jens

Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 28 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889331 Ramaprasad, Harini; Mueller, Frank

Tightening the bounds on feasible preemptions. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 27 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889330 Zhu, Dakai

Reliability-aware dynamic energy management in dependable embedded real-time systems. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 26 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889329 Mohan, Sibin; Mueller, Frank; Root, Michael; Hawkins, William; Healy, Christopher A.; Whalley, David B.; Vivancos, Emilio

Parametric timing analysis and its application to dynamic voltage scaling. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 25 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889328 Cabodi, Gianpiero; Murciano, Marco; Violante, Massimo

Boosting software fault injection for dependability analysis of real-time embedded applications. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 24 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889327 Seo, Euiseong; Kim, Sangwon; Park, Seon-Yeong; Lee, Joonwon

Dynamic alteration schemes of real-time schedules for I/O device energy efficiency. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 23 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889326 Schliecker, Simon; Ernst, Rolf

Real-time performance analysis of multiprocessor systems with shared memory. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 22 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889325 Driver, Cormac; Reilly, Sean; Linehan, Éamonn; Cahill, Vinny; Clarke, Siobhán

Managing embedded systems complexity with aspect-oriented model-driven engineering. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 21 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889324 Adler, Rasmus; Schaefer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd

Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 20 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889323 Razavi, Niloofar; Behjati, Razieh; Sabouri, Hamideh; Khamespanah, Ehsan; Shali, Amin; Sirjani, Marjan

Sysfier: actor-based formal verification of systemc. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 19 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05889322 Falk, Joachim; Zebelein, Christian; Keinert, Joachim; Haubelt, Christian; Teich, Jürgen; Bhattacharyya, Shuvra S.

Analysis of systemc actor networks for efficient synthesis. (English)

ACM Trans Embed. Comput. Syst. 10, No. 2, 18 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI