-
1
-
-
0032630145
-
A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware
-
ACM Press
-
Abramovici, M., de Sousa, J.T., Saab, D.: A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware. In: Proceedings of 36th Design Automation Conference (DAC), pp. 684-690. ACM Press (1999)
-
(1999)
Proceedings of 36th Design Automation Conference (DAC)
, pp. 684-690
-
-
Abramovici, M.1
De Sousa, J.T.2
Saab, D.3
-
2
-
-
0142152718
-
Streaming geometric optimization using graphics hardware
-
Springer
-
Agarwal, P.K., Krishnan, S., Mustafa, N.H., Venkatasubramanian, S.: Streaming geometric optimization using graphics hardware. In: Proceedings of 11th European Symposium on Algorithms (ESA), Lecture Notes in Computer Science 2832, pp. 544-555. Springer (2003)
-
(2003)
Proceedings of 11th European Symposium on Algorithms (ESA), Lecture Notes in Computer Science 2832
, pp. 544-555
-
-
Agarwal, P.K.1
Krishnan, S.2
Mustafa, N.H.3
Venkatasubramanian, S.4
-
3
-
-
38048999467
-
Query co-processing on commodity processors
-
VLDB Endowment
-
Ailamaki, A., Govindaraju, N.K., Harizopoulos, S., Manocha, D.: Query co-processing on commodity processors. In: Proceedings of 32nd International Conference on Very Large Data Bases (VLDB), pp. 1267-1267 VLDB Endowment (2006)
-
(2006)
Proceedings of 32nd International Conference on Very Large Data Bases (VLDB)
, pp. 1267-1267
-
-
Ailamaki, A.1
Govindaraju, N.K.2
Harizopoulos, S.3
Manocha, D.4
-
5
-
-
0037269099
-
Dynamic- and static-priority scheduling of recurring real-time tasks
-
Baruah, S.: Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Syst. 24(1), 93-128 (2003)
-
(2003)
Real-Time Syst
, vol.24
, Issue.1
, pp. 93-128
-
-
Baruah, S.1
-
6
-
-
0032649292
-
Generalized multiframe tasks
-
Baruah, S., Chen, D., Gorinsky, S., Mok, A.K.: Generalized multiframe tasks. Real-Time Syst. 17(1), 5-22 (1999)
-
(1999)
Real-Time Syst
, vol.17
, Issue.1
, pp. 5-22
-
-
Baruah, S.1
Chen, D.2
Gorinsky, S.3
Mok, A.K.4
-
7
-
-
84880861455
-
Preemptively scheduling hard-real-time sporadic tasks on one processor
-
IEEE Computer Society Press
-
Baruah S., Mok A.K., Rosier, L.E.: Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Proceedings of 11th IEEE Real-time Systems Symposium, pp. 182-190. IEEE Computer Society Press (1990)
-
(1990)
Proceedings of 11th IEEE Real-time Systems Symposium
, pp. 182-190
-
-
Baruah, S.1
Mok, A.K.2
Rosier, L.E.3
-
8
-
-
77955922353
-
A method for accelerating test environments
-
IEEE Computer Society, Los Alamitos
-
Bauer, M., Ecker, W., Henftling, R., Zinn, A.: A method for accelerating test environments. In: Euromicro, Vol.01, p. 1477. IEEE Computer Society, Los Alamitos (1999)
-
(1999)
Euromicro
, vol.1
, pp. 1477
-
-
Bauer, M.1
Ecker, W.2
Henftling, R.3
Zinn, A.4
-
9
-
-
35148867733
-
High performance direct gravitational n-body simulations on graphics processing units
-
Belleman, R.G., Bedorf, J., Zwart, S.P.: High performance direct gravitational n-body simulations on graphics processing units. New Astron. 13(2), 103-112 (2008)
-
(2008)
New Astron
, vol.13
, Issue.2
, pp. 103-112
-
-
Belleman, R.G.1
Bedorf, J.2
Zwart, S.P.3
-
13
-
-
84958042785
-
On the complexity of scheduling conditional real-time code
-
Chakraborty, S., Erlebach, T., Thiele, L.: On the complexity of scheduling conditional real-time code. In: Proceedings of 7th International Workshop on Algorithms and Data Structures (WADS), Lecture Notes in Computer Science 2125, pp. 38-49 (2001)
-
(2001)
Proceedings of 7th International Workshop on Algorithms and Data Structures (WADS), Lecture Notes in Computer Science 2125
, pp. 38-49
-
-
Chakraborty, S.1
Erlebach, T.2
Thiele, L.3
-
14
-
-
0036997151
-
Approximate schedulability analysis
-
IEEE Computer Society
-
Chakraborty, S., Künzli, S., Thiele, L.: Approximate schedulability analysis. In: Proceedings of 23rd IEEE Real-time Systems Symposium (RTSS), p. 159. IEEE Computer Society (2002)
-
(2002)
Proceedings of 23rd IEEE Real-time Systems Symposium (RTSS)
, pp. 159
-
-
Chakraborty, S.1
Künzli, S.2
Thiele, L.3
-
16
-
-
84864170501
-
-
nVIDIA CUDA Zone
-
nVIDIA CUDA Zone, http://www.nvidia.com/object/cuda-home.html
-
-
-
-
18
-
-
0026976119
-
Distributed design-space exploration for high-level synthesis systems
-
IEEE Computer Society Press
-
Dutta, R., Roy, J., Vemuri, R.: Distributed design-space exploration for high-level synthesis systems. In: Proceedings of 29th Design Automation Conference (DAC), pp. 644-650. IEEE Computer Society Press (1992)
-
(1992)
Proceedings of 29th Design Automation Conference (DAC)
, pp. 644-650
-
-
Dutta, R.1
Roy, J.2
Vemuri, R.3
-
19
-
-
46449098604
-
Fast schedulability analysis using commodity graphics hardware
-
IEEE Computer Society
-
Feng, J., Chakraborty, S., Schmidt, B., Liu, W., Bordoloi, U.D.: Fast schedulability analysis using commodity graphics hardware. In: Proceedings of 13th International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA), pp. 400-408. IEEE Computer Society (2007)
-
(2007)
Proceedings of 13th International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA)
, pp. 400-408
-
-
Feng, J.1
Chakraborty, S.2
Schmidt, B.3
Liu, W.4
Bordoloi, U.D.5
-
20
-
-
33749040662
-
A fully polynomial-time approximation scheme for feasibility analysis in staticpriority systems with arbitrary relative deadlines
-
IEEE Computer Society
-
Fisher N., Baruah, S.: A fully polynomial-time approximation scheme for feasibility analysis in staticpriority systems with arbitrary relative deadlines. In: Proceedings of 17th Euromicro Conference on Real-time Systems (ECRTS), pp. 117-126. IEEE Computer Society (2005)
-
(2005)
Proceedings of 17th Euromicro Conference on Real-time Systems (ECRTS)
, pp. 117-126
-
-
Fisher, N.1
Baruah, S.2
-
22
-
-
11144277251
-
A multigrid solver for boundary value problems using programmable graphics hardware
-
Eurographics Association
-
Goodnight, N., Woolley, C., Lewin, G., Luebke, D., Humphreys, G.: A multigrid solver for boundary value problems using programmable graphics hardware. In: Proceedings of SIGGRAPH/Eurographics Conference on Graphics Hardware, pp. 102-111. Eurographics Association (2003)
-
(2003)
Proceedings of SIGGRAPH/Eurographics Conference on Graphics Hardware
, pp. 102-111
-
-
Goodnight, N.1
Woolley, C.2
Lewin, G.3
Luebke, D.4
Humphreys, G.5
-
25
-
-
0041562424
-
Re-use-centric architecture for a fully accelerated testbench environment
-
ACM
-
Henftling, R., Zinn, A., Bauer, M., Zambaldi, M., Ecker, W.: Re-use-centric architecture for a fully accelerated testbench environment. In: Proceedings of 40th Design Automation Conference (DAC), pp. 372-375. ACM (2003)
-
(2003)
Proceedings of 40th Design Automation Conference (DAC)
, pp. 372-375
-
-
Henftling, R.1
Zinn, A.2
Bauer, M.3
Zambaldi, M.4
Ecker, W.5
-
26
-
-
4544273778
-
-
Springer, Berlin
-
Kellerer, H., Pferschy, U., Pisinger, D.: Knapsack Problems. Springer, Berlin (2004)
-
(2004)
Knapsack Problems
-
-
Kellerer, H.1
Pferschy, U.2
Pisinger, D.3
-
27
-
-
34047136635
-
Parallel co-simulation using virtual synchronization with redundant host execution
-
European Design and Automation Association
-
Kim, D., Ha, S., Gupta, R.: Parallel co-simulation using virtual synchronization with redundant host execution. In: Proceedings of 9th Conference on Design, Automation and Test in Europe (DATE), pp. 1151-1156. European Design and Automation Association (2006)
-
(2006)
Proceedings of 9th Conference on Design Automation and Test in Europe (DATE)
, pp. 1151-1156
-
-
Kim, D.1
Ha, S.2
Gupta, R.3
-
28
-
-
4444378089
-
Communication-efficient hardware acceleration for fast functional simulation
-
ACM
-
Kim, Y.-I., Yang, W., Kwon, Y-S., Kyung, C-M.: Communication-efficient hardware acceleration for fast functional simulation. In: Proceedings of 41st Design Automation Conference (DAC), pp. 293- 298. ACM (2004)
-
(2004)
Proceedings of 41st Design Automation Conference (DAC)
, pp. 293-298
-
-
Kim, Y.-I.1
Yang, W.2
Kwon, Y.-S.3
Kyung, C.-M.4
-
29
-
-
0242533310
-
Linear algebra operators for GPU implementation of numerical algorithms
-
Krüger, J., Westermann, R.: Linear algebra operators for GPU implementation of numerical algorithms. ACM Trans. Graph. 22(3), 908-916 (2003)
-
(2003)
ACM Trans. Graph
, vol.22
, Issue.3
, pp. 908-916
-
-
Krüger, J.1
Westermann, R.2
-
30
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard real-time environment
-
Liu, C., Leyland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 46-61 (1973)
-
(1973)
J. ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.1
Leyland, J.2
-
31
-
-
74349123204
-
GPU-ClustalW: Using graphics hardware to accelerate multiple sequence alignment
-
Springer
-
Liu, W., Schmidt, B., Voss, G., Müller-Wittig, W.: GPU-ClustalW: Using graphics hardware to accelerate multiple sequence alignment. In: Proceedings of 13th International Conference on High Performance Computing (HiPC), pp. 363-374. Springer (2006)
-
(2006)
Proceedings of 13th International Conference on High Performance Computing (HiPC)
, pp. 363-374
-
-
Liu, W.1
Schmidt, B.2
Voss, G.3
Müller-Wittig, W.4
-
35
-
-
2442713051
-
A software/reconfigurable hardware sat solver
-
Skliarova, I., Ferrari, A.B.: A software/reconfigurable hardware sat solver. IEEE Trans. VLSI Syst. 12(4), 408-419 (2004)
-
(2004)
IEEE Trans. VLSI Syst
, vol.12
, Issue.4
, pp. 408-419
-
-
Skliarova, I.1
Ferrari, A.B.2
-
36
-
-
0024142156
-
Parallel logic simulation on general purpose machines
-
IEEE Computer Society Press
-
Soulè, L., Blank, T.: Parallel logic simulation on general purpose machines. In: Proceedings of 25th design automation conference (DAC), pp. 166-171. IEEE Computer Society Press (1988)
-
(1988)
Proceedings of 25th design automation conference (DAC)
, pp. 166-171
-
-
Soulè, L.1
Blank, T.2
-
39
-
-
0032671229
-
Using configurable computing to accelerate boolean satisfiability
-
Zhong, P., Martonosi, M., Ashar, P., Malik, S.: Using configurable computing to accelerate boolean satisfiability. IEEE Trans. Comput. Aided Design Integr. Circuits Syst. 18(6), 861-868 (1999)
-
(1999)
IEEE Trans. Comput. Aided Design Integr. Circuits Syst
, vol.18
, Issue.6
, pp. 861-868
-
-
Zhong, P.1
Martonosi, M.2
Ashar, P.3
Malik, S.4
-
40
-
-
0036954448
-
Tlb and snoop energy-reduction using virtual caches in lowpower chip-multiprocessors
-
ACM, New York
-
Ekman, M., Stenstrm, P., Dahlgren, F.: Tlb and snoop energy-reduction using virtual caches in lowpower chip-multiprocessors. In: ISLPED '02, pp. 243-246. ACM, New York (2004)
-
(2004)
ISLPED '02
, pp. 243-246
-
-
Ekman, M.1
Stenstrm, P.2
Dahlgren, F.3
-
41
-
-
30544433247
-
Optimizing instruction tlb energy using software and hardware techniques
-
Kadayif, I., Sivasubramaniam, A., Kandemir, M., Kandiraju, G., Chen, G.: Optimizing instruction tlb energy using software and hardware techniques. ACMTrans. Des. Autom. Electron. Syst. 10(2), 229-257 (2005)
-
(2005)
ACMTrans. Des. Autom. Electron. Syst
, vol.10
, Issue.2
, pp. 229-257
-
-
Kadayif, I.1
Sivasubramaniam, A.2
Kandemir, M.3
Kandiraju, G.4
Chen, G.5
-
42
-
-
33750918294
-
Low-power cache organization through selective tag translation for embedded processors with virtual memory support
-
ACM, New York
-
Zhou, X., Petrov, P.: Low-power cache organization through selective tag translation for embedded processors with virtual memory support. In: GLSVLSI '06, pp. 398-403. ACM, New York (2004)
-
(2004)
GLSVLSI '06
, pp. 398-403
-
-
Zhou, X.1
Petrov, P.2
-
43
-
-
27944457975
-
Energy-effcient physically tagged caches for embedded processors with virtual memory
-
ACM, New York
-
Petrov, P., Tracy, D., Orailoglu, A.: Energy-effcient physically tagged caches for embedded processors with virtual memory. In: DAC '05, pp. 17-22. ACM, New York (2005)
-
(2005)
DAC '05
, pp. 17-22
-
-
Petrov, P.1
Tracy, D.2
Orailoglu, A.3
-
44
-
-
18444419119
-
A low-power 2.5 ghz 90 nm level 1 cache and memory management unit
-
Haigh, J.R., Wilkerson, M., Miller, J., Beatty, T., Strazdus, S., Clark, L.: A low-power 2.5 ghz 90 nm level 1 cache and memory management unit. IEEE J. Solid-State Circuits. 40(5), 1190-1199 (2005)
-
(2005)
IEEE J. Solid-State Circuits
, vol.40
, Issue.5
, pp. 1190-1199
-
-
Haigh, J.R.1
Wilkerson, M.2
Miller, J.3
Beatty, T.4
Strazdus, S.5
Clark, L.6
-
45
-
-
1542359441
-
Reducing translation lookaside buffer active power
-
ACM, New York
-
Clark, L.T., Choi, B.,Wilkerson, M.: Reducing translation lookaside buffer active power. In: ISLPED '03, pp. 10-13. ACM, New York (2003)
-
(2003)
ISLPED '03
, pp. 10-13
-
-
Clark, L.T.1
Choi, B.2
Wilkerson, M.3
-
46
-
-
0010013829
-
-
Available:
-
Manne, S., Klauser, A., Grunwald, D., Somenzi, F.: Low power tlb design for high performance microprocessors [Online]. Available: http://citeseer.ist. psu.edu/manne97low.html (1997)
-
(1997)
Low power tlb design for high performance microprocessors [Online]
-
-
Manne, S.1
Klauser, A.2
Grunwald, D.3
Somenzi, F.4
-
47
-
-
1542359134
-
A selective filter-bank tlb system
-
ACM, New York
-
Lee, J.-H., Park, G.-H., Park, S.-B., Kim, S.-D.: A selective filter-bank tlb system. In: ISLPED '03, pp. 312-317. ACM, New York (2003)
-
(2003)
ISLPED '03
, pp. 312-317
-
-
Lee, J.-H.1
Park, G.-H.2
Park, S.-B.3
Kim, S.-D.4
-
48
-
-
85008015701
-
A low power tlb structure for embedded systems
-
Choi, J.-H., Lee, J.-H., Jeong, S.-W., Kim, S.-D.,Weems, C.: A low power tlb structure for embedded systems. IEEE Comput. Archit. Lett. 1(1), 3 (2006)
-
(2006)
IEEE Comput. Archit. Lett.
, vol.1
, Issue.1
, pp. 3
-
-
Choi, J.-H.1
Lee, J.-H.2
Jeong, S.-W.3
Kim, S.-D.4
Weems, C.5
-
49
-
-
34047140446
-
An ultra low-power tlb design
-
European Design and Automation Association, 3001 Leuven, Belgium, Belgium
-
Chang, Y.-J.: An ultra low-power tlb design. In: DATE '06: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1122-1127. European Design and Automation Association, 3001 Leuven, Belgium, Belgium (2006)
-
(2006)
DATE '06: Proceedings of the Conference on Design, Automation and Test in Europe
, pp. 1122-1127
-
-
Chang, Y.-J.1
-
50
-
-
2642516530
-
Compiler-directed physical address generation for reducing dtlb power
-
IEEE Computer Society, Los Alamitos, CA
-
Kadayif, I., Nath, P., Kandemir, M., Sivasubramaniam, A.: Compiler-directed physical address generation for reducing dtlb power. In: ISPASS '04, pp. 161-168. IEEE Computer Society, Los Alamitos, CA (2004)
-
(2004)
ISPASS '04
, pp. 161-168
-
-
Kadayif, I.1
Nath, P.2
Kandemir, M.3
Sivasubramaniam, A.4
-
51
-
-
84962240534
-
Compilerdirected array interleaving for reducing energy in multi-bank memories
-
IEEE Computer Society, Los Alamitos, CA
-
Delaluz, V., Kandemir, M., Vijaykrishnan, N., Irwin, M., Sivasubramaniam, A., Kolcu, I.: Compilerdirected array interleaving for reducing energy in multi-bank memories. In: ASP-DAC '02, pp. 288- 293. IEEE Computer Society, Los Alamitos, CA (2002)
-
(2002)
ASP-DAC '02
, pp. 288-293
-
-
Delaluz, V.1
Kandemir, M.2
Vijaykrishnan, N.3
Irwin, M.4
Sivasubramaniam, A.5
Kolcu, I.6
-
52
-
-
1842739856
-
Instruction scheduling for low power
-
Springer, Netherlands
-
Parikh, A., Kim, S., Kandemir, M., Vijaykrishnan, N., Irwin,M.: Instruction scheduling for low power. In: VLSI-SP '04, pp. 129-149. Springer, Netherlands (2004)
-
(2004)
VLSI-SP '04
, pp. 129-149
-
-
Parikh, A.1
Kim, S.2
Kandemir, M.3
Vijaykrishnan, N.4
Irwin, M.5
-
53
-
-
77955922412
-
Energy-efficient instruction scheduling utilizing cache miss information
-
EEE Computer Society,Los Alamitos, CA
-
Chiyonobu, A., Sato, T.: Energy-efficient instruction scheduling utilizing cache miss information. In: MEDEA '05: Proceedings of the 2005 Workshop on MEmory performance. IEEE Computer Society, Los Alamitos, CA (2005)
-
(2005)
MEDEA '05: Proceedings of the Workshop on MEmory performance
, vol.2005
-
-
Chiyonobu, A.1
Sato, T.2
-
54
-
-
16244423354
-
Compiler-directed code restructuring for reducing data TLB energy
-
International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004
-
Kandemir, M.,Kadayif, I., Chen, G.: Compiler-directed code restructuring for reducing data tlb energy. In: CODES+ISSS '04, pp. 98-103. IEEE Computer Society, Washington (2004) (Pubitemid 40457611)
-
(2004)
Second IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and Systems Synthesis, CODES+ISSS 2004
, pp. 98-103
-
-
Kandemir, M.1
Kadayif, I.2
Chen, G.3
-
55
-
-
77952532090
-
-
Intel Corporation. [Online] Available
-
Intel Corporation. Intel XScale-Technology Overview [Online]. Available: http://intel.com/design/intelxscale
-
Intel XScale-Technology Overview
-
-
-
56
-
-
84962779213
-
Mibench: A free, commercially representative embedded benchmark suite
-
WWC-4. 2001 IEEE International Workshop on IEEE Computer Society, Washington
-
Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: Mibench: a free, commercially representative embedded benchmark suite. In: WWC '01: Proceedings of theWorkload Characterization, 2001. WWC-4. 2001 IEEE International Workshop on, pp. 3-14. IEEE Computer Society, Washington, DC (2001)
-
(2001)
WWC '01: Proceedings of theWorkload Characterization
, vol.DC
, Issue.2001
, pp. 3-14
-
-
Guthaus, M.R.1
Ringenberg, J.S.2
Ernst, D.3
Austin, T.M.4
Mudge, T.5
Brown, R.B.6
-
58
-
-
0003268059
-
Dspstone: A dsp-oriented benchmarking methodology
-
Dallas
-
Zivojnovic, V., Velarde, J., Schlager, C., Meyr, H.: Dspstone: a dsp-oriented benchmarking methodology. In: Proceedings of Signal Processing Applications and Technology, Dallas (1994)
-
(1994)
Proceedings of Signal Processing Applications and Technology
-
-
Zivojnovic, V.1
Velarde, J.2
Schlager, C.3
Meyr, H.4
-
62
-
-
16244386553
-
Operation tables for scheduling in the presence of incomplete bypassing
-
Shrivastava, A., Earlie, E., Dutt, N., Nicolau, A.: Operation tables for scheduling in the presence of incomplete bypassing. In: CODES+ISSS, pp. 194-199 (2004)
-
(2004)
CODES+ISSS
, pp. 194-199
-
-
Shrivastava, A.1
Earlie, E.2
Dutt, N.3
Nicolau, A.4
-
63
-
-
27144532237
-
FORAY-GEN: Automatic generation of affine functions for memory optimizations
-
DOI 10.1109/DATE.2005.157, 1395678, Proceedings - Design, Automation and Test in Europe, DATE '05
-
Issenin, I., Dutt, N.: Foray-gen: automatic generation of affine functions for memory optimizations. In: DATE '05: Proceedings of the conference on Design, Automation and Test in Europe, pp. 808-813. IEEE Computer Society, Washington, DC (2005) (Pubitemid 44172094)
-
(2005)
Proceedings -Design, Automation and Test in Europe, DATE '05
, vol.II
, pp. 808-813
-
-
Issenin, I.1
Dutt, N.2
|