-
2
-
-
84893063985
-
CASL: The common algebraic specification language
-
E. Astesiano and M. Bidoit et al., "CASL: the common algebraic specification language," Theoretical Comput. Sci., vol. 2001.
-
Theoretical Comput. Sci.
, vol.2001
-
-
Astesiano, E.1
Bidoit, M.2
-
6
-
-
2142714680
-
OMX: Object management extension
-
Washington, DC, Oct. 1-3
-
J. M. Chang and C. D. Lo, "OMX: Object management extension," in Proc. 2nd Int. Workshop on Compiler Architiecture Support for Embedded Systems (CASES), Washington, DC, Oct. 1-3, 1999.
-
(1999)
Proc. 2nd Int. Workshop on Compiler Architiecture Support for Embedded Systems (CASES)
-
-
Chang, J.M.1
Lo, C.D.2
-
7
-
-
0034501522
-
Making pointer-based data structures cache conscious
-
Dec.
-
T. M. Chilimbi, M. D. Hill, and J. R. Larus, "Making pointer-based data structures cache conscious," IEEE Computer, vol. 33, pp. 67-74, Dec. 2000.
-
(2000)
IEEE Computer
, vol.33
, pp. 67-74
-
-
Chilimbi, T.M.1
Hill, M.D.2
Larus, J.R.3
-
9
-
-
0003676114
-
-
Reading, MA: Addison-Wesley
-
G. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems Concepts and Design, 2nd ed. Reading, MA: Addison-Wesley, 1999.
-
(1999)
Distributed Systems Concepts and Design, 2nd Ed.
-
-
Coulouris, G.1
Dollimore, J.2
Kindberg, T.3
-
10
-
-
0031630290
-
Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer
-
San Fransisco, CA, June
-
J. L. da Silva Jr et al., "Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer," in Proc.- 35th ACM/IEEE Design Automation Conf., San Fransisco, CA, June 1998, pp. 76-81.
-
(1998)
Proc.- 35th ACM/IEEE Design Automation Conf.
, pp. 76-81
-
-
Da Silva Jr., J.L.1
-
11
-
-
0036989125
-
Incorporating energy efficient data structures into modular software implementations for Internet-based embedded systems
-
Rome, Italy, July 23-26
-
E. G. Daylight and T. Fermentel et al., "Incorporating energy efficient data structures into modular software implementations for Internet-based embedded systems," in Proc. Workshop on Software Performance (WOSP), Rome, Italy, July 23-26, 2002.
-
(2002)
Proc. Workshop on Software Performance (WOSP)
-
-
Daylight, E.G.1
Fermentel, T.2
-
12
-
-
0036954281
-
Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structures
-
Monterey, CA, Aug. 12-14
-
E. G. Daylight and S. Wuytack et al., "Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structures," in Proc. ISLPED, Monterey, CA, Aug. 12-14, 2002, pp. 76-79.
-
(2002)
Proc. ISLPED
, pp. 76-79
-
-
Daylight, E.G.1
Wuytack, S.2
-
13
-
-
33745162334
-
The Lbeck transformation system: A transformation system for equational higher order algebraic specifications
-
W. Dosch and S. Magnussen, "The Lbeck transformation system: a transformation system for equational higher order algebraic specifications, " in Proc. Workshop on Algebraic Development Techniques (WADT), 2001, pp. 85-108.
-
(2001)
Proc. Workshop on Algebraic Development Techniques (WADT)
, pp. 85-108
-
-
Dosch, W.1
Magnussen, S.2
-
15
-
-
84976678559
-
An interview with the 1986 A. M. Turing award recipients - John E. Hopcroft and Robert E. Tarjan
-
Mar.
-
K. Frenkel, "An interview with the 1986 A. M. Turing award recipients - John E. Hopcroft and Robert E. Tarjan," CACM, vol. 30, no. 3, pp. 214-223, Mar. 1987.
-
(1987)
CACM
, vol.30
, Issue.3
, pp. 214-223
-
-
Frenkel, K.1
-
19
-
-
0021615874
-
R-trees: A dynamic index structure for spatial searching
-
A. Guttman, "R-trees: a dynamic index structure for spatial searching," in Proc. ACM SIGMOD Conf., 1984, pp. 47-57.
-
(1984)
Proc. ACM SIGMOD Conf.
, pp. 47-57
-
-
Guttman, A.1
-
20
-
-
0001080849
-
A method for automatic optimization of dynamic memory management in C++
-
Valencia, Spain, Sept.
-
D. Haggander and P. Liden et al., "A method for automatic optimization of dynamic memory management in C++," in Proc. 30th Int. Conf. Parallel Processing (ICPP), Valencia, Spain, Sept. 2001, pp. 489-498.
-
(2001)
Proc. 30th Int. Conf. Parallel Processing (ICPP)
, pp. 489-498
-
-
Haggander, D.1
Liden, P.2
-
21
-
-
0015482118
-
Proof of correctness of data representations
-
New York: Springer-Verlag
-
C. A. R. Hoare, "Proof of correctness of data representations," in Acta Informatica 1. New York: Springer-Verlag, 1972, pp. 271-281.
-
(1972)
Acta Informatica
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
22
-
-
2142821618
-
-
[Online]
-
[Online] www.infineon.com/cgi/ecrm.dll/ecrm/scripts/prod_cat.jsp
-
-
-
-
24
-
-
0033889397
-
Filtering memory references to increase energy efficiency
-
Jan.
-
J. Kin and M. Gupta et al., "Filtering memory references to increase energy efficiency," IEEE Trans. Comput., vol. 49, Jan. 2000.
-
(2000)
IEEE Trans. Comput.
, vol.49
-
-
Kin, J.1
Gupta, M.2
-
25
-
-
0001495548
-
Automated data-member layout of heap objects to improve memory-hierarchy performance
-
May
-
T. Kistler and M. Franz, "Automated data-member layout of heap objects to improve memory-hierarchy performance," ACM Trans. Programming Languages Syst., vol. 22, no. 3, pp. 490-505, May 2000.
-
(2000)
ACM Trans. Programming Languages Syst.
, vol.22
, Issue.3
, pp. 490-505
-
-
Kistler, T.1
Franz, M.2
-
28
-
-
58449122154
-
Methodology for refinement and optimization of dynamic memory management for embedded systems in multimedia applications
-
Seoul, Korea, Aug.
-
M. Leeman and D. Atienza et al., "Methodology for refinement and optimization of dynamic memory management for embedded systems in multimedia applications," in Proc. Signal Processing Symp., Seoul, Korea, Aug. 2003, pp. 369-374.
-
(2003)
Proc. Signal Processing Symp.
, pp. 369-374
-
-
Leeman, M.1
Atienza, D.2
-
29
-
-
0034314462
-
Dynamic access ordering for streamed computations
-
Nov.
-
S. A. McKee and W. A. Wulf et al., "Dynamic access ordering for streamed computations," IEEE Trans. Comput., vol.49, pp. 1255-1270, Nov. 2000.
-
(2000)
IEEE Trans. Comput.
, vol.49
, pp. 1255-1270
-
-
McKee, S.A.1
Wulf, W.A.2
-
31
-
-
0002623953
-
Safe memory usage with dynamic memory allocation
-
May
-
N. Murphy, "Safe memory usage with dynamic memory allocation," Embedded Systems, pp. 49-57, May 2000.
-
(2000)
Embedded Systems
, pp. 49-57
-
-
Murphy, N.1
-
32
-
-
0036974895
-
Design space optimization of embedded memory systems via data remapping
-
June
-
K. Palem et al., "Design space optimization of embedded memory systems via data remapping," in Proc. Languages, Compilers, and Tools for Embedded Systems Software and Compilers for Embedded Systems (LCTES-SCOPES), June 2002, pp. 28-37.
-
(2002)
Proc. Languages, Compilers, and Tools for Embedded Systems Software and Compilers for Embedded Systems (LCTES-SCOPES)
, pp. 28-37
-
-
Palem, K.1
-
33
-
-
0034790789
-
Cache-efficient memory layout of aggregate data structures
-
Montreal, QB, Canada, Oct.
-
P. R. Panda and L. Semeria et al., "Cache-efficient memory layout of aggregate data structures," in ISSS'01, Montreal, QB, Canada, Oct. 2001.
-
(2001)
ISSS'01
-
-
Panda, P.R.1
Semeria, L.2
-
35
-
-
2142769000
-
E-ADTs: Turbo-charging complex data
-
P. Seshadri and M. Livny et al., "E-ADTs: turbo-charging complex data," Data Engineering Bulletin, vol. 19, no. 4, pp. 11-18, 1996.
-
(1996)
Data Engineering Bulletin
, vol.19
, Issue.4
, pp. 11-18
-
-
Seshadri, P.1
Livny, M.2
-
36
-
-
0034593009
-
Software performance antipatterns
-
Ottawa, ON, Canada, Sept.
-
C. U. Smith and L. G. Williams, "Software performance antipatterns," in Proc. 2nd Int. Workshop Software Performance, Ottawa, ON, Canada, Sept. 2000.
-
(2000)
Proc. 2nd Int. Workshop Software Performance
-
-
Smith, C.U.1
Williams, L.G.2
-
37
-
-
0004049036
-
-
Philips Electronics North America Corporation, Sunnyvale, CA
-
TriMedia TM1000 Preliminary Data Book, Philips Electronics North America Corporation, Sunnyvale, CA, 1997.
-
(1997)
TriMedia TM1000 Preliminary Data Book
-
-
-
38
-
-
0032651677
-
Matisse: A system-on-chip design methodology emphasizing dynamic memory management
-
July
-
D. Verkest and J. da Silva Jr. et al., "Matisse: a system-on-chip design methodology emphasizing dynamic memory management," J. VLSI Signal Processing, vol. 21, pp. 277-291, July 1999.
-
(1999)
J. VLSI Signal Processing
, vol.21
, pp. 277-291
-
-
Verkest, D.1
Da Silva Jr., J.2
-
40
-
-
0003308071
-
Dynamic storage allocation: A survey and critical review
-
Kinross, Scotland, UK, Sept. 27-29
-
P. R. Wilson and M. S. Johnstone et al., "Dynamic storage allocation: a survey and critical review," in Proc. 1995 Int. Workshop Memory Management, Kinross, Scotland, UK, Sept. 27-29, 1995.
-
(1995)
Proc. 1995 Int. Workshop Memory Management
-
-
Wilson, P.R.1
Johnstone, M.S.2
-
42
-
-
0029194649
-
Transforming set data types to power optimal data structures
-
Laguna Beach, CA, Apr.
-
S. Wuytack and F. Catthoor et al., "Transforming set data types to power optimal data structures," in Proc. IEEE Int. Workshop Low-Power Design, Laguna Beach, CA, Apr. 1995, pp. 51-56.
-
(1995)
Proc. IEEE Int. Workshop Low-power Design
, pp. 51-56
-
-
Wuytack, S.1
Catthoor, F.2
-
44
-
-
1442313388
-
Exploration and synthesis of dynamic data sets in telecom network applications
-
San Jose, CA, Dec.
-
C. Ykman-Couvreur and J. Lambrecht et al., "Exploration and synthesis of dynamic data sets in telecom network applications," in Proc. 12th ACM/IEEE Int. Symp. System-Level Synthesis (ISSS), San Jose, CA, Dec. 1999, pp. 125-130.
-
(1999)
Proc. 12th ACM/IEEE Int. Symp. System-level Synthesis (ISSS)
, pp. 125-130
-
-
Ykman-Couvreur, C.1
Lambrecht, J.2
-
45
-
-
84959055706
-
Data compression transformations for dynamically allocated data structures
-
Grenoble, France, Apr.
-
Y. Zhang and R. Gupta, "Data compression transformations for dynamically allocated data structures," in Proc. Int. Conf. Compiler Construction, Grenoble, France, Apr. 2002, pp. 14-28.
-
(2002)
Proc. Int. Conf. Compiler Construction
, pp. 14-28
-
-
Zhang, Y.1
Gupta, R.2
|