接続数

COUNTER351062FROM 2012/5/16

MISRA-C diary(C言語日誌)

12345
2019/01/13new

N2176 C2017 (1) 3.14 memory location p5.c

Tweet ThisSend to Facebook | by kaizen

N2176 C2017 (1) 3.14 memory location p5.c


// 1 filename:p5.c

// ver. 0.1 December.29, 2013

// ver. 0.2 January 11, 2014 add 2 sets of input for clarify about warning and assignment.

// ver. 0.3 August 22 2018, N2176 C2017

// 2 original examples and/or notes:

// (c) ISO/IEC JTC1 SC22 WG14 N2176, October 9,2017

// http://www.open-std.org/jtc1/sc22/wg14/www/abq/c17_updated_proposed_fdis.pdf

// C2018 3.14 memory location

//

// 3 compile and output mechanism:

// (c) Ogawa Kiyoshi, kaizen@wh.commufa.jp December.29, 2013-

//

// 4 compile errors and/or wornings:

// 4.1(c) Apple LLVM version 4.2 (clang-425.0.27) (based on LLVM 3.2svn)

// Target: x86_64-apple-darwin11.4.2 //Thread model: posix

//Xcode 5.0.2/LLVM version 4.2 (clang-425.0.27) (based on LLVM 3.2svn)

//Command/Options: cc -std=c11 -Wall misra-C-2-1-ex-ui-wicm4a.c 

// (c) LLVM 2003-2009 University of Illinois at Urbana-Champaign.

// 4.2. gcc-4.9 (GCC) 4.9.0 20131229 (experimental) C90/C99/C2011, 32/64 bit, http://gcc.gnu.org/onlinedocs/gcc/Standards.html

//      Copyright (C) 2013 Free Software Foundation, Inc. http://gcc.gnu.org/gcc-4.9/changes.html

//Command/Options: gcc std=c11 -Wall misra-C-2-1-ex-ui-wicm4a.c 

//Configuration:brew install gcc49

//

// 4.3. Visual Studio Express 2013, 

//(c) Microsoft http://www.visualstudio.com/

//SPEC:'most of C99/C11 that is a subset of ISO C++98/C++11'.

//http://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/2089423-c99-support

//Windows 7, .NET Framework

//(c) VMware, Inc.

//VMWare fusion 6

//

// 4.4 M3T-NC30WA V.5.45 Release 01

//(c) Renesas Electronics Corporation.http://www.renesas.com/products/mpumcu/m16c/

//using M16C M8C simulator, M8C36

//SPEC:C90, 16 bit

//

// 5. Hardware:  MacBook Pro, 

//(c) Intel http://ark.intel.com/products/37006/

//Core 2 Duo 2.53GHz, 8GB, 1067MHz DDR3

//

// 6. Special Thanks: Upper organizatios and 

//ISO/IEC JTC1 SC22 WG14, http://www.open-std.org/jtc1/sc22/wg14/www/standards

//ITSCJ/IPSJ http://www.itscj.ipsj.or.jp/itscj_english/index.html

//Daido Universcity, http://www.daido-it.ac.jp/gakubugakka/computer/index.html

//IT planning Inc., http://www.itpl.co.jp/en/index.html

//Spancion Inc., http://www.spansion.com/

//SWEST: Summer Workshop on Embedded System Technologies , http://swest.toppers.jp

//CEST: Consortium for Embedded System Technology, http://www.ertl.jp/CEST/

//OSC:Open Source Conference, http://www.ospn.jp/


#include "stdafx.h"

//either an object of scalar type, or a maximal sequence of adjacent bit-fields all having

//nonzero width

struct {

char a;

int b:5, c:11, :0, d:8;

struct { int ee:8; } e;

}f;

#ifdef _WIN32

int _tmain(int argc, _TCHAR* argv[]){

#else 

int main(void){

#endif

 f.a = 1;

f.b=2;

f.c=3;

f.d=4;

f.e.ee=5;

printf(" %d %d %d %d %d\n", f.a,f.b,f.c,f.d,f.e.ee);

f.a = 1000001;

f.b = 2000002;

f.c = 3000003;

f.d = 4000004;

f.e.ee=5000005;

printf(" %d %d %d %d %d\n", f.a,f.b,f.c,f.d,f.e.ee);

f.a = 1000000000001;

f.b = 2000000000002;

f.c = 3000000000003;

f.d = 4000000000004;

f.e.ee=5000000000005;

printf("3.14 memory location %d %d %d %d %d\n", f.a,f.b,f.c,f.d,f.e.ee);

}



18:37 | 投票する | 投票数(0) | コメント(0)
2018/12/30

IEEE C++ template generic 63 papers(5) 56-63

Tweet ThisSend to Facebook | by kaizen
56)
A code synthesis experimentH. Graves;J. Louie;T. MullenProceedings of the Seventh Knowledge-Based Software Engineering ConferenceYear: 1992
Pages:6- 17Cited by:Papers (6)IEEE Conferences

1. H. Graves, "Interactive Design in LEAP", Proceedings of 1991 AAAI Workshop on Automating Software Design, 1991..

2. H. Graves, W. Polak, "Common Intermediate Design Language", Proceedings of 25th Hawaii International Conference on System Sciences January 7-10 1991, 1992.

3. C. Green, D. Luckham, R. Blazer, T. Cheatham, C. Rich, "Report on a knowledge-based software assistant" in Readings in Artificial Intelligence and 'Software Engineering, AC, Los Altos:Morgan Kaufmann, 1986.

4. T. Mullen, H. Graves, "System Design Capture in LEAP", Proceedings of the 1991 Naval Surface Warfare Center workshop in systems design synthesis technology.

5. W. Mark, "Software Design Memory", Proceedings of 1991 AAAI Workshop on Automating Software Design.

6. C. Rich, R. Waters, "Automatic Programming: Myths and Prospects", Computer, pp. 40-51, Aug. 1988.

7. D. Smith, "KIDS: A Semiautomatic Program Development System", IEEE Transactions on Software Engineering, vol. 16, no. 9, pp. 1024-1043, Sep. 1990.

57)
Design of table-driven ATE models in a simulation environmentJ.C. Merritt;F.E. Monroe1988. IMTC-88. 5th IEEE Instrumentation and Measurement Technology ConferenceYear: 1988
Pages:27- 31IEEE Conferences

NOREF 

58)
Implementing non-strict evaluation on OOVMs

N. Perry

IEE Proceedings - SoftwareYear: 2005,Volume: 152,Issue:6
Pages:309- 315IET Journals & Magazines

Making the future safe for the past: Adding Genericity to the Java Programming Language
Jan 1998ACM SIGPLAN Notices
Gilad BrachaGilad BrachaMartin OderskyMartin OderskyDavid StoutamireDavid StoutamirePhilip WadlerPhilip Wadler

Why Functional Programming Matters
Feb 1989The Computer Journal
John HughesJohn Hughes

The Concurrent Massey Hope+C Functional Language System
Article
P. BurgessP. BurgessN. PerryN. PerryR. PointonR. Pointon

Miranda - A non-strict Functional Language with Polymorphic Types
Jan 1985Lecture Notes in Computer Science
D.A. TurnerD.A. Turner

Shared Source CLI Essentials
Jan 2003
D. StutzD. StutzTed NewardTed NewardG. ShillingG. Shilling

Correct and optimal implementation of recursion in a simple programming language
Jan 1973Journal of Computer and System Sciences
Jean VuilleminJean Vuillemin

ILX: Extending the .NET Common IL for functional language interoperability
Nov 2001Electronic Notes in Theoretical Computer Science
Don SymeDon Syme

Scripting .NET Using Mondrian
Jun 2001
Erik MeijerErik MeijerNigel PerryNigel PerryArjan van YzendoornArjan van Yzendoorn

Implementing functional languages on object-oriented virtual machines
Mar 2004IEE Proceedings - Software
Nigel PerryNigel PerryErik MeijerErik Meijer

Compiling Lazy Functional Languages: An introduction
Nov 1995
Thomas JohnssonThomas Johnsso

Composing contracts: an adventure in financial engineering - Functional Pearl
Aug 2000
Simon Loftus Peyton JonesSimon Loftus Peyton JonesEber Jean-MarcEber Jean-MarcJulian SewardJulian Seward

Design and Implementation of Generics for the .NET Common Language Runtime
Jun 2001ACM SIGPLAN Notices
Andrew Kennedy, Andrew Kennedy, Don SymeDon Syme

Austin, C. 'J2SE 5.0 in a Nutshell', 2004, http://java.sun.com/ developer/technicalArticles/releases/j2se15/

Friedman, D., and Wise, D.S.: 'CONS should not evaluate its arguments', in Michaelson, S., and Milner, R. (Eds.): 'Automata languages and programming' (Edinburgh University Press, Edinburgh, UK, 1976), pp. 257 –284

Backus, J., Bauer, F., Green, J., Katz, C., McCarthy, J., Naur, P., Perlis, A.,
Rutishauser, H., Samuelson, K., Vauquois, B., Wegstein, J., Wijngaarden, A.V., and Woodger, M.: 'Revised report on the algorithmic language Algol 60', Commun. ACM, 1963, 6, (1), pp. 1–17

16 ECMA: 'C # Language Specification', 2001, http://www.ecmainternational.org/publications/files/ecma-st/ECMA-334.pdf 17 Jones,

S.P., Eber, J.-M., and Seward, J.: 'Composing contracts: an adventure in financial engineering', SIGPLAN Not., 2000, 35, (9), pp. 280–292

Hejlsberg, A.: 'C # futures'. OOPSLA, 2002, http:==gotdotnet. com=team=csharp=conferences=OOPSLA%202002%20Csharp.ppt IEE Proc.-Softw., Vol. 152, No. 6, December 2005

59)
Requirements based testing of softwareTabinda Sarwar;Wajiha Habib;Fahim Arif2013 Second International Conference on Informatics & Applications (ICIA)Year: 2013
Pages:347- 352Cited by:Papers (1)IEEE Conferences

1. J. Grudin, "Interactive Systems: Bridging the Gap between the Developers and Users", IEEE Computer, Volume 24 Issue 4, April 1991.

2. J. Ryser, S. Berner and M. Glinz, "On the State of Art in Requirements Based Validation and Test", in ACM Digital Library, March 1998.

3. Bender RBT Inc., "Requirements Based Testing Process Overview", 2009.

4. C. Wen-Jing, X. Sheng-Hong, and Y. Xiu-Xia, "A Function Testing Method for Interactive Software", IEEE Second International Workshop on Computer Science and Engineering, 2009.

5. J. Anderson, F. Fleek, K. Garrity, and F. Drake, "Integrating Usability Techniques into Software Development", IEEE Software January/February 2001.

6. C. Wen-Jing and X. Sheng-Hong, "On Test Case Generation for Interactive Software", International Conference on Computational Intelligence and Software Engineering CiSE, 2009.

7. F. Belli and C. J. Budnik, "Minimal Spanning Set for Coverage Testing of Interactive Systems", Springer-Verlag Berlin Heidelberg 2005

8. J. Offutt, L. Shaoying, A. Abdurazik, and P. Ammann, "Generating Test Data From State-Based Specifications", The Journal of Software Testing, Verification and Reliability, Volume 13 Issue 1, pp.25-53, Medgeh 2003.

9. A. Gargantini, C. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specification", Proc. ESEC/FSE '99, ACM SIGSOFT, pp. 146-162, 1999.

10. G. D. Abowd, J. Coutaz and L. Nigay, "Structuring the Space of Interactive System Properties", Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, 1992.

11. H. Thimbleby and P. Cairns, "Reducing number entry errors: Solving a widespread, serious problem," Journal of The Royal Society Interface, Volume 51 Issue 7, pp. 1429-1439, 2010.

12. H. Thimbleby and A. Gimblett, "Dependable keyed data entry for interactive systems", Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems, Volume 45, 2011

13. I. Sommerville, Software Engineering, 7 Edition.

14. A. Abran, A. Khelifi, W. Suryn and A. Seffah, "Consolidating the ISO Usability Models", Software Quality Journal, Volume 11, pp. 325-338, 2003.

15. J. Neilson, "Usability Engineering", 1 Edition.

16. M. Welie, G. C. Veer and A. Eliëns, "Breaking down usability", Proceedings of Interact, 1999.

17. D. Travis, "Discount Usability: Time to Push Back the Pendulum?"Internet:http://www.userfocus.co.uk/articles/ discount.html, May 2, 2003.

18. A. Abran, A. Khelifi, W. Suryn and A. Seffah: "Consolidating the ISO Usability Models", Proceedings of International Software Quality Management Conference Springer, Glasgow, Scotland, UK, 2003

60)
Beyond templates: a study of clones in the STL and some general implicationsH.A. Basit;D.C. Rajapakse;S. JarzabekProceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.Year: 2005
Pages:451- 459Cited by:Papers (2)IEEE Conferences

1. Baker, B. S., "On finding duplication and near-duplication in large software systems," Proc. 2nd Working Conference on Reverse Engineering, 1995, pages 86-95.

2. Balazinska, M., Merlo, E., Dagenais, M., Lagüe, B., and Kontogiannis, K.A., "Partial redesign of Java software systems based on clone analysis," Proc. 6th IEEE Working Conference on Reverse Eng., 1999, pp. 326-336.

3. Balazinska, M., Merlo, E., Dagenais, Lagüe, B., and Kontogiannis, K.A., "Advanced Clone-Analysis to Support Object-Oriented System Refactoring," Proc. Seventh Working Conference on Reverse Engineering (WCRE '00) pp. 98-107.

4. Bassett, P., Framing software reuse - lessons from real world, Yourdon Press, Prentice Hall, 1997.

5. Batory, D., Singhai, V., Sirkin, M. and Thomas, J. "Scalable software libraries," ACM SIGSOFT'93: Symp. on the Foundations of Software Engineering, Los Angeles, Dec. 1993, pp.191-199

6. Baxter, I., Yahin, A., Moura, L., and Anna, M. S., "Clone detection using abstract syntax trees," Proc. Intl. Conference on Software Maintenance (ICSM '98), pp. 368-377.

7. Biggerstaff, T. "The library scaling problem and the limits of concrete component reuse," 3 Int 'I. Conf. on Software Reuse, ICSR'94, 1994, pp. 102-109

8. Bracha G. et al. "JSR 14: Add Generic Types to the JavaTM Programming Language," Java Community Process, http://www.jcp.org/en/jsr/ detail?id=14.

9. Brooks, P.B The Mythical Man-Month, Addison Wesley, 1995

10. Brown, T.J., Spence, I., Kilpatric, P., and Crookes, D., "Adaptable Components for Software Product Line Engineering", LNCS, vol 2379, Chastek, G. (Ed.), Springer-Verlag Berlin Heidelberg, 2002, pp. 154-175.

11. Case Studies on XVCL Website, http://fxvcl.sourceforge.net/CaseStudy.htm.

12. Cordy, J. R., "Comprehending Reality: Practical Challenges to Software Maintenance Automation," Proc. 11th IEEE Intl. Workshop on Program Comprehension, (IWPC 2003), pp. 196-206.

13. Czarnecki, K. and Eisenecker, U., Generative Programming: Methods, Tools, and Applications, Addison-Wesley, 2000.

14. Ducasse, S, Rieger, M., and Demeyer, S., "A language independent approach for detecting duplicated code," Proc. Intl. Conference on Software Maintenance (ICSM '99), pp. 109-118.

15. Ernst, M., Badros, G., and Notkin, D. "An Empirical Analysis of C Preprocessor Use," IEEE Transactions on Software Engineering, Dec. 2002, pp. 1146-1170

16. Fowler M. Refactoring - improving the design of existing code, Addison-Wesley, 1999.

17. Garcia, R. et al., "A Comparative Study of Language Support for Generic Programming," Proc. 18th ACMSIGPLAN Conf. on Object-oriented Programming, Systems, Languages, and Applications, 2003, pp. 115-134.

18. Home page of SGI STL, http://www.sgi.com/tech/stl/.

19. Jarzabek, S. and Shubiao, L., "Eliminating Redundancies with a "Composition with Adaptation" Meta-programming Technique," Proc. ESEC-FSE'03, European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, pp. 237-246.

20. Johnson, J. H., "Substring Matching for Clone Detection and Change Tracking," Proc. Intl. Conference on Software Maintenance (ICSM '94), pp. 120-126.

21. Kamiya, T., Kusumoto, S, and Inoue, K., "CCFinder: A multi-linguistic token-based code clone detection system for large scale source code," IEEE Trans. Software 

22. Karhinen, A., Ran, A. and Tallgren, T. "Configuring designs for reuse," Proc. International Conference on Software Engineering, ICSE'97, Boston, MA., 1997, pp. 701-710.

23. Kennedy, A. and Syme, D., "Design and implementation of generics for the .Net Common Language Runtime," Proc. ACM SIGPLAN '01 Conf. on Programming Languages Design and Implementation (PLDI -01), New York, June 2001, pp 1-12.

24. Musser, D. R. and Saini A., STL Tutorial and Reference Guide, Addison-Wesley, Reading, MA, 1996.

25. Opdyke, W., Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.

26. Parnas, D., "Software aging," Proc. 16th International Conference on Software Engineering (ICSE 1994), pages 279-287.

27. Thompson, S., "Higher Order + Polymorphic = Reusable", unpublished manuscript available from the Computing Laboratory, University of Kent. http://www.cs.ukc.ac.uk/pubs/1997

28. "XML-based Variant Configuration Language," XVCL Website, http://fxvcl.sourceforge.net

29. Zhang, H. and Jarzabek, S. "An XVCL approach to handling variants: A KWIC product line example," Proc. 10th Asia-Pacific Software Engineering Conference (APSEC'03), IEEE CS Press., pp 116-125.

30. Zhang, H. and Jarzabek, S., "An XVCL-based Approach to Software Product Line Development", Proc. 15th International Conference on Software Engineering and Knowledge Engineering (SEKE'03), San Francisco, USA, 1-3 July, 2003.

61)
Construction of file management systems from software componentsD.S. Batory;J.R. Barnett;J. Roy;B.C. Twichell;J. Garza[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications ConferenceYear: 1989
Pages:358- 364IEEE Conferences

1. D. S. Batory, "Concepts for a Database System Synthesizer", ACM PODS 1988, pp. 184-192.

2. D. S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise, "GENESIS: An Extensible Database Management System", IEEE Trans. Software Engr., November 1988.

3. J. R. Barnett, D. S. Batory, "A Uniform Mechanism to Support Long Fields and Nested Relations in DBMSs", Proc. Hawaii Int. Conf. System Sciences, 1989.

4. P. A. Bernstein, V. Hadzilacos, N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.

5. T. Biggerstaff, C. Richter, "Reusability Framework Assessment and Directions", IEEE Software, vol. 4, no. 2, pp. 41-49, March 1987.

6. M. J. Carey, D. J. DeWitt, D. Frank, G. Graefe, M. Muralikrishna, J. E. Richardson, E. J. Shekita, "The Architecture of the EXODUS Extensible DBMS", Workshop on Object-Oriented Database Syst., pp. 52-65, 1986.

7. W. Effelsburg, T. Haerder, "Principles of Database Buffer Management", ACM Trans. Database Syst., vol. 9, no. 4, pp. 560-595, Dec. 1984.

8. J. Goguen, "Parameterized Programming", IEEE Trans. Software Engr., vol. SE-10, no. 5, pp. 528-543, September 1984.

9. A. Goldberg, D. Robson, Smalltalk-80: The Language and Its Implementation, Addison-Wesley, 1983.

10. M. K. Lee, J. C. Freytag, G. M. Lohman, "Implementing an Interpreter for Functional Rules in a Query Optimizer", VLDB 1988, pp. 218-229.
Google Scholar 
11. B. Liskov, A. Snyder, R. Atkinson, C. Schaffert, "Abstraction Mechanisms in CLU", Comm. ACM, vol. 20, no. 8, pp. 564-576, Aug. 1977.
Access at ACM  Google Scholar 
12. D. Lomet, "A Simple Bounded Disorder File Organization with Good Performance", ACM Trans. Database Syst..
Access at ACM  Google Scholar 
13. S. T. March, D. G. Severance, M. Wilens, "Frame Memory: A Storage Architecture to Support Rapid Design and Implementation of Efficient Databases", ACM Trans. Database Syst., vol. 6, no. 3, pp. 441-463, Sept. 1981.

14. J. M. Neighbors, "The Draco Approach to Constructing Software from Reusable Components", IEEE Trans. Software Engineering, pp. 564-574, Sept. 1984.

15. F. Olken, private correspondence.

16. R. Prieto-Diaz, "Domain Analysis for Reusability", Proc. COMPSAC 1987, pp. 23-29.

17. G. M. Sacco, M. Schkolnick, "Buffer Management in Relational Database Systems", ACM Trans. Database Syst., vol. 11, no. 4, pp. 473-498, Dec. 1986.

18. ADABAS: Effective Data Base Management for the Corporate Environment, Va., Reston, 1980.

19. M. Stonebraker, L. Rowe, "The Design of POSTGRES", ACM SIGMOD 1986, pp. 340-355.

20. T. J. Teorey, D. Yang, J. P. Fry, "A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model", ACM Comp. Surv., vol. 18, no. 2, pp. 197-222, June 1986.

21. W. Tracz, "RMISE Workshop on Software Reuse Meeting Summary", Software Reuse: Emerging Technology, 1988.

22. D. M. Volpano, R. B. Kieburtz, "Software Templates", Int. Conf. Software Engineering 1985, pp. 55-60.

62)
Implementation of a scalable real time canny edge detector on programmable SOCBhageshC. Maheshwari;John Burns;Michaela Blott;Giulio Gambardella2017 International Conference on Electrical and Computing Technologies and Applications (ICECTA)Year: 2017
Pages:1- 5IEEE Conferences

1. D. Chaikalis, G. Passalis, N. Sgouros, D. Maroulis, T. Theoharis, "Hardware Acceleration for 3D Image Reconstruction", 2008 Panhellenic Conference on Informatics, pp. 147-151, 2008.

2. B. Zhang, J. Wang, X. Pan, "Virus Scan System Based on Hardware-Acceleration", Second International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 2007), pp. 344-351, 2007.

3. J. Monson, M. Wirthlin, B.L. Hutchings, "Implementing highperformance low-power FPGA-based optical flow accelerators in C", Application-Specific Systems Architectures and Processors (ASAP) 2013 IEEE 24th International Conference, 5-7 June 2013.

4. X. Liu, Y. Chen, T. Nguyen, S. Gurumani, K. Rupnow, D. Chen, High-Level Synthesis of Complex Applications: An H.264 Video Decoder. Intl Symp. on Field-Programmable Gate Arrays (FPGA), 2016.

5. R. Dobai, L. Sekanina, "Towards Evolvable Systems Based on the Xilinx Zynq Platform", 2013 IEEE International Conference on Evolvable Systems (ICES), pp. 8995, 2013.

6. H. Neoh, A. Hazanchuck, Adaptive edge detection for real-time video processing using FPG As Altera Corp. San Jose CA USA Application Note, 2005.

7. Q. Xu, C. Chakrabarti, L. J. Karam, "A distributed Canny edge detector and its implementation on FPGA", Proc. DSP/SPE, pp. 500505, Jan. 2011.

8. Y. Luo, R. Duraiswami, "Canny edge detection on NVIDIA CUDA", Proc. IEEE CVPRW, pp. 18, Jun. 2008.

9. L. H. A. Lourenco, "Efficient implementation of canny edge detection filter for ITK using CUDA", Proc. 13th Symp. Comput. Syst., pp. 3340, 2012.
 Show Context View Article Full Text: PDF(282KB) Google Scholar 
10. [online] Available: http://opencv-python-tutroals.readthedocs.io/en/latest/py_tutorials/py_imgproc/py_canny/py_canny.html#.

11. H. Abdelgawad, M. Safar, A. Wahba, "High Level synthesis of Canny Edge Detection Algorithm on Zynq Platform", World Academy of Science Engineering and Technology International Science Index 97 International Journal of Computer Electrical Automation Control and Information Engineering, vol. 9, no. 1, pp. 148-152, 2015.

12. Y. Umuroglu, N. J. Fraser, G. Gambardella, M. Blott, P. Leong, M. Jahre, K. Vissers, "Finn: A framework for fast scalable binarized neural network inference", Proceedings of the 2017 ACM/SIGDA International Symposium on Field Programmable Gate Arrays FPGA 17, pp. 6574, 2017.

13. [online] Available: http://www.wiki.xilinx.com/HLS+Video+Library.

14. [online] Available: http://www.pynq.io/.

15. [online] Available: https://github.com/Xilinx/PYNQ.

63)
Energy-minimum sub-threshold self-timed circuits using current-sensing completion detectionO.C. Akgun;J.N. Rodrigues;J. SparsoIET Computers & Digital TechniquesYear: 2011,Volume: 5,Issue:4
Pages:342- 353Cited by:Papers (1)IET Journals & Magazines

Self-timed logic using Current-Sensing Completion Detection (CSCD)
Article
Feb 1994Journal of VLSI Signal 

An Autonomous 16 mm3 Solar-Powered Node for Distributed Wireless Sensor Networks
Feb 2002
Brett WarnekeBrett WarnekeM.D. ScottM.D. ScottBrian LeibowitzBrian Leibowitz[...]Kristofer S. J. PisterKristofer S. J. Pister

An Energy-Efficient ASIC for Wireless Body Sensor Networks in Medical Applications
Article
Full-text available
Mar 2010IEEE Transactions on Biomedical Circuits and Systems
Yun ZouYun ZouHanjun JiangHanjun JiangLingwei ZhangLingwei Zhang[...]Xinkai ChenXinkai Chen

A < 1 pJ sub-VT cardiac event detector in 65 nm LL-HVT CMOS
Conference Paper
Oct 2010
Joachim Neves RodriguesJoachim Neves RodriguesOmer Can AkgunOmer Can AkgunViktor OwallViktor Owall

Circuits for energy harvesting sensor signal processing
Jan 2006
Rajeevan AmirtharajahRajeevan AmirtharajahJustin WenckJustin WenckJamie CollierJamie Collier[...]Bicky ZhouBicky Zhou

Minimum-Energy Sub-threshold Self-Timed Circuits: Design Methodology and a Case Study
Jan 2010Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems
Omer Can AkgunOmer Can AkgunJoachim Neves RodriguesJoachim Neves RodriguesJens SparsøJens Sparsø

Low Power and Energy Efficient Asynchronous Design
Dec 2007Journal of Low Power Electronics
Peter A. BeerelPeter A. BeerelMarly RonckenMarly Roncken

A Current Sensing Completion Detection Method for Asynchronous Pipelines Operating In the Sub-threshold Regime
Mar 2009International Journal of Circuit Theory and Applications
Omer Can AkgunOmer Can AkgunFrank K. GürkaynakFrank K. GürkaynakYusuf LeblebiciYusuf Leblebici

A Study on self-timed asynchronous subthreshold logic
Nov 2007
Niklas LotzeNiklas LotzeMaurits OrtmannsMaurits OrtmannsYiannos ManoliYiannos Manoli

Ion-implanted complementary MOS transistors in low-voltage circuits
Mar 1972IEEE Journal of Solid-State Circuits
R. SwansonR. SwansonJ.D. MeindlJ.D. Meindl

Current sensor on the base of permanent pre-chargeable amplifier
Apr 1999
V. VarshavskyV. VarshavskyM. TsukisakaM. Tsukisaka

Circuit design for current-sensing completion detection
Jan 1998
H. LampinenH. LampinenO. VainioO. Vainio

A doubly-latched asynchronous pipeline
Nov 1997
R. KolR. KolR. GinosarR. Ginosar


Asynchronous circuits based on multiple localised current-sensing completion detection
Jun 1995
Eckhard GrassEckhard GrassS. JonesS. Jones

Digital implementation of a wavelet-based event detector for cardiac pacemakers
Jan 2006Circuits and Systems I: Regular Papers, IEEE Transactions on
Joachim Neves RodriguesJoachim Neves RodriguesThomas OlssonThomas OlssonL. SornmoL. SornmoV. OwallV. Owall

Four-phase micropipeline latch control circuits
Jul 1996IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Steve FurberSteve FurberPaul DayPaul Day

Low-Power Operation Using Self-Timed Circuits and Adaptive Scaling of the Supply Voltage
Jan 1995IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Lars S. NielsenLars S. NielsenCees NiessenCees NiessenJens SparsoJens SparsoKees Van BerkelKees Van Berkel

Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications
Nov 2006IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Jordi CortadellaJordi CortadellaAlex KondratyevAlex KondratyevLuciano LavagnoLuciano LavagnoC.P. SotiriouC.P. Sotiriou

Special issue on sensor networks and applications
Sep 2003Proceedings of the IEEE
Hamid GharaviHamid GharaviSathiya Prabhu KumarSathiya Prabhu Kumar

Asynchronous Design Methodologies: An Overview
Feb 1995Proceedings of the IEEE
Scott HauckScott Hauck

A 160 mV robust Schmitt trigger based subthreshold SRAM
Nov 2007IEEE Journal of Solid-State Circuits
Jaydeep KulkarniJaydeep KulkarniKeejong KimKeejong KimKaushik RoyKaushik Roy

A 180-MV subthreshold FFT processor using a minimum energy design methodology
Feb 2005IEEE Journal of Solid-State Circuits
Alice WangAlice WangA. P. ChandrakasanA. P. Chandrakasan

Ion Implanted Complementary MOS Transistors in Low Voltage Circuits
May 1972IEEE Journal of Solid-State Circuits
Richard M. SwansonRichard M. SwansonJ.D. MeindlJ.D. Meindl

Low-power CMOS digital design
May 1992IEEE Journal of Solid-State Circuits
A.P. ChandrakasanA.P. ChandrakasanSamuel ShengSamuel ShengRobert BrodersenRobert Brodersen


64)
Fingerprint: Technologies and Algorithms for Biometrics ApplicationsYear: 2011
IEEE Courses


65
Biometrics for Recognition at a DistanceYear: 2010
IEEE Courses
66
Cloud Services and Software Platforms: OpenNebulaYear: 2014
IEEE Courses
67
Cellular Wave Computers--Via Million ProcessingYear: 2009
IEEE Courses
68
Introduction to Universal Plug and Play TechnologyYear: 2008
IEEE Courses
69
Customizable and Downloadable Graphic Templates (PC and Mac) for Process Modeling Green Engineering SystemsYear: 2010
IEEE Courses
70
Introduction to Sustainable Green Engineering System Analysis & DesignYear: 2010
IEEE Courses

71
Changes to the NESC (R) 2017 EditionYear: 2017
IEEE Courses




18:45 | 投票する | 投票数(0) | コメント(0)
2018/12/29

IEEE C++ template generic 63 papers(4) 41-55

Tweet ThisSend to Facebook | by kaizen
GBTL-CUDA: Graph Algorithms and Primitives for GPUsPeter Zhang;Marcin Zalewski;Andrew Lumsdaine;Samantha Misurda;Scott McMillan2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)Year: 2016
Pages:912- 920Cited by:Papers (9)IEEE Conferences

1. 2016.

2. A. Buluc, J. Gilbert, "Parallel Sparse Matrix-Matrix Multiplication and Indexing: Implementation and Experiments", SIAM Journal on Scientific Computing, vol. 34, no. 4, pp. C170-C191, Jan. 2012, ISSN 1064-8275-1095-7197.

3. A. Buluç, J. R. Gilbert, "The Combinatorial BLAS: design implementation and applications", International Journal of High Performance Computing Applications, vol. 25, no. 4, pp. 496-509, Nov. 2011.

4. M. Burtscher, R. Nasre, K. Pingali, "A Quantitative Study of Irregular Programs on GPUs", IEEE Internat. Symp. on Workload Characterization (IISWC), pp. 141-151, 2012.

5. A. A. Davidson, S. Baxter, M. Garland, J. D. Owens, "Work-Efficient Parallel GPU Methods for Single-Source Shortest Paths", 28th International Parallel and Distributed Processing Symposium, 2014.

6. K. Ekanadham, B. Horn, J. Jann, M. Kumar, J. Moreira, P. Pattnaik, M. Serrano, G. Tanase, H. Yu, Graph Programming Interface: Rationale and Specification. Technical Report RC25508 (WAT1411-052), 2014.

7. M. B. Enrico, "Mastrostefano. Efficient breadth first search on multi-GPU systems", J. Parallel and Distributed Computing, vol. 73, no. 9, pp. 1292-1305, 2013.

8. V. Gadepally, J. Bolewski, D. Hook, D. Hutchison, B. Miller, J. Kepner, "Graphulo: Linear algebra graph kernels for nosql databases", Parallel and Distributed Processing Symposium Workshop (IPDPSW) 2015 IEEE International, pp. 822-830, 2015.

9. S. Hong, S. K. Kim, T. Oguntebi, K. Olukotun, "Accelerating CUDA Graph Algorithms at Maximum Warp", Proc. 16th ACM Symposium on Principles and Practice of Parallel Programming, pp. 267-276, 2011.

10. J. Kepner, "Math document", The GraphBLAS, Jan. 2016.

11. J. Kepner, J. Gilbert, Graph Algorithms in the Language of Linear Algebra, SIAM, Aug. 2011, ISBN 9780898719901.

12. T. Mattson, D. Bader, J. Berry, A. Buluc, J. Dongarra, C. Faloutsos, J. Feo, J. Gilbert, J. Gonzalez, B. Hendrickson, J. Kepner, C. Leiserson, A. Lumsdaine, D. Padua, S. Poole, S. Reinhardt, M. Stonebraker, S. Wallach, A. Yoo, "Standards for graph algorithm primitives", 2013 IEEE High Performance Extreme Computing Conference (HPEC), pp. 1-2, Sept. 2013.

13. D. Merrill, M. Garland, A. Grimshaw, "Scalable GPU graph traversal", Proc. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 117-128, 2012.

14. L.-M. Munguia, D. A. Bader, E. Ayguade, "Task-Based Parallel Breadth-First Search in Heterogeneous Environments", Proc. 19th International Conference on High Performance Computing (HiPC), pp. 1-10, 2012.

15. Y. H. Timothy, A. Davis, "The University of Florida Sparse Matrix Collection", ACM Trans. Math. Softw., vol. 38, no. 1, pp. 1, 2011.

16. Y. Wang, A. Davidson, Y. Pan, Y. Wu, A. Riffel, J. D. Owens, Gunrock: A High-Performance Graph Processing Library on the GPU.arXiv:1501.05387 [cs], Jan. 2015.

17. P. Zhang, E. Holk, J. Matty, S. Misurda, M. Zalewski, J. Chu, S. McMillan, A. Lumsdaine, "Dynamic Parallelism for Simple and Efficient GPU Graph Algorithms", Proceedings of the 5th Workshop on Irregular Applications: Architectures and Algorithms IA3 '15, pp. 11:1-11:4, 2015.

1. W. D. Gropp and B. Smith. PETSc. Technical report, Argonne National Laboratory, 1994.

2. Bjarne Stroustrup. The C++ Programming Language: Special Edition. Addison-Wesley Professional, 3 edition, February 2000.

3. Peter Gottschling et al. PMTL4 web page. http://www.simunova.com/node/142 (accessed Dec. 2011).

4. Peter Gottschling, David S. Wise, and Adwait Joshi. Generic support of algorithmic and structural recursion for scientific computing. IJPEDS, 24(6):479-503, Dec. 2009.

5. Peter Gottschling et al. Debugging MTL4. https://simunova.zih.tu-dresden. de/mtl4/docs/debugger support.html (accessed Dec. 2011).

6. Peter Gottschling and Cornelius Steinhardt. Meta-tuning in MTL4. In ICNAAM 2010: International Conference of Numerical Analysis and Applied Mathematics, volume 1281, pages 778-782, September 2010.

7. L.V. Kalé and S. Krishnan. CHARM++: A Portable Concurrent Object Oriented System Based on C++. In A. Paepcke, editor, OOPSLA'93, pages 91-108. ACM Press, Sep. 1993.

8. MPI Forum. MPI: A Message-Passing Interface Standard. Version 2.2, June 23rd 2009.

9. Philip Alpatov, Greg Baker, Carter Edwards, John Gunnels, Greg Morrow, James Overfelt, and Robert van de Geijn. PLAPACK: Parallel linear algebra package. In SIAM Parallel Processing Conference, 1997.

10. M.A. Heroux et al. An overview of the Trilinos project. TOMS, 31(3):397-423, 2005.

11. Kirk Schloegel, George Karypis, and Vipin Kumar. Parallel static and dynamic multi-constraint graph partitioning. Concurrency and Computation: Practice and Experience, 14(3):219-240, 2002.

12. Jesper Larsson Träff. Implementing the MPI process topology mechanism. In Supercomputing '02, pages 1-14, Los Alamitos, CA, USA, 2002. IEEE Computer Society Press.

13. S. H. Bokhari. On the mapping problem. IEEE Trans. Comput., 30(3):207-214, 1981.

14. S.-Y. Lee and J. K. Aggarwal. A mapping strategy for parallel processing. IEEE Trans. Comput., 36(4):433-442, 1987.

15. S. Wayne Bollinger and Scott F. Midkiff. Heuristic technique for processor and link assignment in multicomputers. IEEE Trans. Comput., 40(3):325-333, 1991. (Pubitemid 21728093)

16. François Pellegrini and Jean Roman. Scotch: A software package for static mapping by dual recursive bipartitioning of process and architecture graphs. In HPCN Europe, volume 1067 of LNCS, pages 493-498. Springer, 1996.

17. Hao Yu, I-Hsin Chung, and Jose Moreira. Topology mapping for blue gene/l supercomputer. In SC'06, page 116, New York, NY, USA, 2006. ACM.

18. Abhinav Bhatelé, Laxmikant V. Kalé, and Sameer Kumar. Dynamic topology aware load balancing algorithms for molecular dynamics applications. In ICS '09, NY, USA, 2009. ACM.

19. T. Hoefler and M. Snir. Generic Topology Mapping Strategies for Large-scale Parallel Architectures. In Proceedings of the 2011 ACM International Conference on Supercomputing (ICS'11), pages 75-85. ACM, Jun. 2011.

20. Jörg Walter and Mathias Koch. Boost Basic Linear Algebra. Boost, 2002. www.boost.org/libs/numeric.

21. Douglas Gregor and Matthias Troyer. Boost.MPI, November 2006.

22. D. Gregor and A. Lumsdaine. Lifting sequential graph algorithms for distributed-memory parallel computation. SIGPLAN Not., 40(10):423-437, 2005.

23. Alex Breuer, Peter Gottschling, Douglas Gregor, and Andrew Lumsdaine. Effecting parallel graph eigensolvers through library composition. In Performance Optimization for High-Level Languages and Libraries (POHLL), April 2006.

24. Christophe Prud'homme. A DSEL in C++ for AD, projection, integration and variational formulations. Sci. Program., 14:81-110, April 2006.

25. S. Aland, J. Lowengrub, and A. Voigt. Two-phase flow in complex geometries: A diffuse domain approach. CMES, 57(1):77-106, 2010.

26. P. Gottschling, T. Witkowski, and A. Voigt. Integrating object-oriented and generic programming paradigms: Experiences with AMDiS and MTL4. In POOSC'08, Cyprus, 2008.

27. David R. Musser and Alexander A. Stepanov. Generic programming. In P. (Patrizia) Gianni, editor, Symbolic and algebraic computation: ISSAC '88, Proceedings, volume 358, pages 13-25, Berlin, 1989. Springer.

28. Alexander Stepanov and Paul McJones. Elements of Programming. Addison-Wesley Professional, 1 edition, June 2009.

29. Rudolf Wille. Conceptual graphs and formal concept analysis. In Conceptual Structures: Fulfilling Peirce's Dream, volume 1257 of LNCS, pages 290-303. Springer Berlin / Heidelberg, 1997.

30. Matthew H. Austern. Generic programming and the STL: Using and extending the C++ Standard Template Library. Professional Computing Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998.

31. David Abrahams and Aleksey Gurtovoy. C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond. Addison-Wesley, 2004.

32. T.L. Veldhuizen. C++ templates are Turing complete. citeseer.ist.psu. edu/581150.html, 2003.

33. Robert Ramey. Boost Serialization Library. Boost, 2004. http://www.boost.org/libs/release/libs/serialization.

34. Timothy A. Davis. University of Florida sparse matrix collection. NA Digest, 92, 1994.

35. T. Hoefler, T. Schneider, and A. Lumsdaine. Multistage Switches are not Crossbars: Effects of Static Routing in High-Performance Networks. In Cluster Computing'08. IEEE Computer Society, Oct. 2008.

36. T. Hoefler and M. Snir. Writing Parallel Libraries with MPI - Common Practice, Issues, and Extensions. In Proceedings of EuroMPI 2011, volume 6960, pages 345-355. Springer, Sep. 2011.

43)
Efficiency inC++

S. Lippman

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)Year: 1999
Pages:414- 414IEEE Conferences

no ref in IEEE

44)
Hybrid synthesis and processing schemes for highly-ordered polyaniline nanoarchitecturesA. Vlad;P. Jedrasik;C.A. Dutu;D.A. Serban;P. Guillet;C.-A. Fustin;U. Södervall;J.F. Gohy;S. Melinte2010 3rd International Nanoelectronics Conference (INEC)Year: 2010
Pages:429- 430IEEE Conferences

1. J. Huang, R. B. Kaner, "Flash welding of conducting polymer nanofibers", Nature Materials, vol. 3, pp. 783-786, 2004.

2. N.-R. Chiou, C. Lu, J. Guan, L. J. Lee, A. J. Epstein, "Growth and alignment of polyaniline nanofibres with superhydrophobic superhydrophilic and other properties", Nature Nanotech., vol. 2, pp. 354-357, 2007.

3. X. Zhang, H. S. Kolla, X. Wang, K. Raja, S. K. Manohar, "Fibrillar growth in polyaniline", Adv. Funct. Mater., vol. 16, pp. 1145-1152, 2006.

4. C.-G. Wu, T. Bein, "Conducting polyaniline filaments in a mesoporous channel host", Science, vol. 264, pp. 1757-1759, 1994.

5. D. Wang, F. Caruso, "Fabrication of polyaniline inverse opals via templating ordered colloidal assemblies", Adv. Mater., vol. 13, pp. 350-353, 2001.

6. A. Vlad et al., "Highly ordered conjugated polymer nanoarchitectures with three-dimensional structural control", Nano Letters.

45)
Physics Analysis Tools for the CMS Experiment at LHCFrancesco Fabozzi;Christopher D. Jones;Benedikt Hegner;Luca ListaIEEE Transactions on Nuclear ScienceYear: 2008,Volume: 55,Issue:6
Pages:3539- 3543Cited by:Papers (10)IEEE Journals & Magazines

1. "The CMS Collaboration 2007 Physics technical design report Volume II: Physics performances", J. Phys. G: Nucl. Part. Phys., vol. 34, pp. 995-1579.

2. C. D. Jones, J. Kowalkowski, M. Paterno, E. Sexton-Kennedy, W. Tanenbaum, "2006 The new CMS event data model and framework”", Proc. CHEP 2006, 2006-Feb.-13–17.

3. C. D. Jones, L. Lista, B. Hegner, "2006 Analysis environment for CMS”", Proc. CHEP 2007, 2007-Sep.-2–7.

4. R. Brun, F. Rademakers, "1996 ROOT — An object oriented data analysis framework", Proceedings AIHENP’96 Workshop, vol. 389, pp. 81-86, 1996-Sep.

ROOT I/O [4] is chosen as the underlying technology for implementing the event store and Reflex dictionaries [6] are provided for every stored object type.
Go To Text

5. data, 2005.

6. S. Roiser, "2006 Reflex reflection in C++”", Proc. CHEP 2006, 2006-Feb.-13–17.

7. G. De Nardo, L. Lista, "2003 User defined data in the new analysis model of the BaBar experiment", Proc. IEEE Nucl. Sci. Symp. Conf. Record, vol. 1, pp. 165-168, 2003-Oct.-19–25.

8. A. Alexandrescu, Modern C++ Design, New York:Addison Wesley, 2001.

9. R. J. Jacobsen, G. H. de Monchenault, "1998 The beta analysis toolkit of the BaBar experiment”", Proc. CHEP 98, 1998-Aug.-Sep.-31–4.

46)
Fast nonrigid mesh registration with a data-driven deformation priorDavidC. Schneider;Peter Eisert2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV WorkshopsYear: 2009
Pages:304- 311
Cited by:Papers (7)|Patents (2)
IEEE Conferences

1. T. Albrecht, M. Luthi, T. Vetter, "A Statistical Deformation Prior for Non-Rigid Image and Shape Registration", Proc. Conference on Computer Vision and Pattern Recognition CVPR'08, 2008.

2. B. Allen, B. Curless, Z. Popovic, "The Space Of Human Body Shapes: Reconstruction And Parameterization From Range Scans", Proc. of ACM SIGGRAPH, 2003.

3. B. Amberg, A. Blake, A. Fitzgibbon, S. Romdhani, T. Vetter, "Reconstructing High Quality Face-Surfaces using Model Based Stereo", Proceedings ICCV, 2007.

4. B. Amberg, S. Romdhani, T. Vetter, "Optimal Step Nonrigid ICP Algorithms For Surface Registration", Proc. Conference on Computer Vision and Pattern Recognition CVPR'07, 2007.

5. D. Anguelov, P. Srinivasan, H.-C. Pang, D. Koller, S. Thrun, J. Davis, "SCAPE: Shape Completion and Animation of People", Proc. of ACM SIGGRAPH, 2005.

6. D. Anguelov, P. Srinivasan, H.-C. Pang, D. Koller, S. Thrun, J. Davis, "The Correlated Correspondence Algorithm for Unsupervised Registration of Nonrigid Surfaces", NIPS, vol. 17, pp. 33-40, 2005.

7. P. J. Besl, N. D. McKay, "A Method for Registration of 3-D Shapes", IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 14, pp. 239-256, 1992.

8. V. Blanz, K. Scherbaum, H.-P. Seidel, "Fitting a Morphable Model to 3D Scans of Faces", Proceedings of ICCV, 2007.

9. V. Blanz, T. Vetter, "A Morphable Model for the Synthesis of 3D Faces", Proc. of ACM SIGGRAPH, 1999.

10. V. Blanz, T. Vetter, "Face Recognition Based on Fitting a 3D Morphable Model", IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 25/9, 2003.

11. A. M. Bronstein, M. M. B. an Ron Kimmel, Numerical Geometry of Nonrigid Shapes, Springer, 2008.

12. A. M. Bronstein, M. M. Bronstein, R. Kimmel, "Topology-invariant similarity of nonrigid shapes", International Journal of Computer Vision, vol. 81, no. 3, pp. 281-301, 2009.

13. P. Fua, "Regularized Bundle-Adjustment to Model Heads from Image Sequences without Calibration Data", International Journal of Computer Vision, vol. 38, pp. 153-171, 2000.

14. D. Haehnel, S. Thruny, W. Burgard, "An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots", Proc. of the International Joint Conference on Artificial Intelligence, 2003.

15. K. Kahler, J. Haber, H. Yamauchi, H.-P. Seidel, "Head Shop: Generating Animated Head Models With Anatomical Structure", Proc. of ACM SIGGRAPH, 2002.

16. J. Paterson, A. Fitzgibbon, "3D Head Tracking Using Non-Linear Optimization", British Machine Vision Conference 03, 2003.

17. S. Romdhani, T. Vetter, "Estimating 3D Shape and Texture Using Pixel Intensity Edges Specular Highlights Texture Constraints and a Prior", IEEE Conference on Computer Vision and Pattern Recognition, 2005.

18. M. Wheeler, K. Ikeuchi, "Iterative estimation of rotation and translation using the quaternion", Technical Report CMU-CS-95–215, 1995.

47)
A framework for detecting interface violations in component-based softwareS.H. Edwards;G. Shakir;M. Sitaraman;B.W. Weide;J. HollingsworthProceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)Year: 1998
Pages:46- 55Cited by:Papers (5)IEEE Conferences


1. D. Batory, B. J. Geraci, "Composition Validation and Subjectivity in GenVoca Generators", IEEE Trans. Software Engineering, pp. 67-82, Feb. 1997.

2. B. Bennett, M. Sitaraman, "Validation of Results in Testing Abstract Data Types: A Method for Automation", Proc. First Int'l Conf. on Software Quality, 1991-Oct.

3. D. Fleming, M. Sitaraman, S. Sreerama, "A Practical Performance Criterion for Object Interface Design", J. Object-Oriented Programming, pp. 52-63, Jul./Aug. 1997.

4. P. Frankl, R. Doong, "The ASTOOT approach to testing object-oriented programs", ACM Trans. Software Engineering Methodology, vol. 3, no. 2, pp. 101-130, 1994.

5. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.

6. D. Hoffman, P. Strooper, "The Test-graphs Methodology: Automated Testing of Classes", J. Object-Oriented Programming, Nov. 1995.

7. J. Hollingsworth, S. Sreerama, B. W. Weide, S. Zhupanov, "RESOLVE Components in Ada and C++", ACM SIGSOFT Software Engineering Notes, pp. 52-63, Oct. 1994.

8. B. Liskov, J. Guttag, Abstraction and Specification in Program Development, McGraw-Hill, 1986.

9. B. Meyer, Object-Oriented Software Construction, New York:Prentice-Hall, 1988.

10. B. Meyer, Object-Oriented Software Construction, New Jersey, Upper Saddle River:Prentice Hall PTR, 1997.

11. D. L. Parnas, "A Technique for Software Module Specification with Examples", Comm. ACM, pp. 330-336, May 1972.

12. A. Parrish, D. Cordes, "Applying Conventional Unit Testing Techniques to Abstract Data Type Operations", Int'l J. Software Engineering and Knowledge Engineering, pp. 103-122, Mar. 1994.

13. D. E. Perry, "The Inscape Environment", Proc. 11th Intl. Conf. On Software Eng., pp. 2-12, 1989-May.

14. D. S. Rosenblum, "A Practical Approach to Programming with Assertions", IEEE Trans. Software Engineering, pp. 19-31, Jan. 1995.

15. G. Shakir, A Systematic Generator for Detecting Interface Violations in Component-Based Software, 1997.

16. B. W. Weide, "Special Section: Component-Based Software Engineering Using RESOLVE", ACM SIGSOFT Software Engineering Notes, pp. 21-67, Oct. 1994.

17. A. Stepanov, "The Standard Template Library", BYTE, pp. 177-178, Oct. 1995.

18. B. W. Weide, W. F. Ogden, M. Sitaraman, "Recasting Algorithms to Encourage Reuse", IEEE Software, pp. 80-88, Sept. 1994.

19. J. M. Wing, "A Specifier's Introduction to Formal Methods", Computer, pp. 8-24, Sept. 1990.

48)
A Top-Down approach to automated generation of high-level SPICE model of Buck RegulatorArnab Khawas;Fidel Muradali;Amitava Banerjee;Siddhartha Mukhopadhyay2011 Annual IEEE India ConferenceYear: 2011
Pages:1- 6IEEE Conferences

1. G. R. Boyle, B. M. Cohn, D. O. Pederson, "Macromodeling of Integrated Circuit Operational Amplifier", Journal of Solid State Circuits, vol. SC-9, pp. 353-364, Dec. 1974.

2. M. Brinson, D. Faulkner, "Modular Spice macromodel for operational amplifiers", IEEE proc.-Circuits Devices Syst., vol. 141, no. 5, pp. 417-420, Sept. 1994.

3. Development of Extensive SPICE macromodel for Current Feedback Amplifiers, 1992.

4. D. Hindi, "A SPICE Compatible Macromodel for CMOS Operational Amplifiers", Application Note 856, 1992.

5. C. Y. Pan, K. T. Cheng, S. Gupta, "A comprehensive fault macro-model for opamps", IEEEIACM International Conference on Comput.-Aided Design, pp. 344-348, Nov. 1994.

6. Y. Wei, A. Doboli, "Structural Macromodeling of Analog Circuits through Model Decoupling and Transformation", IEEE Transactions on Comput.-Aided Design of Integrated Circuits and Systems, vol. 27, no. 4, pp. 712-725, Apr. 2008.
 
7. [online] Available: http://www.national.com/analog/webench/power.

8. Subho Chatterjee, "An Approach Towards Automated Generation of Macromodels for Operational Amplifiers", Jan. 2009.
 
9. Amitava Banerjee, "Process Variation Aware Macromodeling for Analog Integrated Circuits", Jul. 2010.
 
10. "LM3495 Emulated Peak Current Mode Buck Controller for Low Output Voltage", A DC-DC Converter from National Semiconductor, Nov. 2007.

49)
AGenericRussellian Elimination of Abstract Objects

KevinC. Klement

Philosophia MathematicaYear: 2017,Volume: 25,Issue:1
Pages:91- 115OUP Journals & Magazines

Where do the natural numbers come from?
Sep 1990Synthese
Harold Theodore HodesHarold Theodore Hodes

Frege’s Cardinals as Concept-correlates
Sep 2006Erkenntnis
Gregory LandiniGregory Landini


50)
A study on allelic recombination

C. Cotta

The 2003 Congress on Evolutionary Computation, 2003. CEC '03.Year: 2003,Volume: 2
Pages:1406- 1413 Vol.2Cited by:Papers (1)IEEE Conferences

1. G. Cotta and J. Muruzabal. Towards a more efficient evolutionary induction of bayesian networks. In J.J. Merelo et al., editors, Parallel Problem Solving from Mature VII, volume 2439 of Lecture Notes in Computer Science, pages 730-739. Springer-Verlag, Berlin Heidelberg, 2002.

2. C. Cotta and J.M, Troya. Information processing in transmitting recombination. Applied Mathematics Letters. In Press.

3. C. Cotta and J.M. Troya. On the influence of the representation granularity in heuristic forma recombination. In J. Carroll et al., editors, ACMSymposium on Applied Com.puting 2000, pages 433-439. ACM Press, 2000.

4. G. Cotta and J.M. Troya. Using dynastic exploring recombination to promote diversity in genetic search. In M. Schoenauer et al., editors. Parallel Problem Salving from Nature VI, volume 1917 of Lecture Notes in Computer Science, pages 325334. Springer-Verlag, Berlin, 2000.

5. C. Cotta and J.M. Troya. Analyzing directed acyclic graph recombination. In B. Reusch., editor, Computational Intelligence: Theory and Applications, volume 2206 of Lecture Notes in Computer Science, pages 739-748. Springer-Verlag, Berlin Heidelberg, 2001.

6. M.R. Garey and D.S Johnson. Computers and Intractability: A Guide to the Theory of NP- Completeness. Freeman and Co., San Francisco CA, 1979.

7. K. Mathias and D. Whitley. Genetic operators, the fitness landscape and the traveling salesman problem. In R. Manner and B. Manderick, editors, Parallel Problem Solving From Nature II, pages 259-268. Elsevier, Amsterdam, 1992.

8. N.J. Radcliffe. Equivalence class analysis of genetic algorithms. Complex Systems, 5:183-205, 1991.
 
9. N.J. Radcliffe. Genetic set recombination. In D. Whitley, editor, Foundations of Genetic Algorithms II, pages 203-219, San Mateo CA, 1992. Morgan Kauffman.

10. N.J. Radcliffe. The algebra of genetic algorithms. Annals of Mathematics and Artificial Intelligence, 10:339-384, 1994.

11. T. Starkweather, S. McDaniel, K. Mathias, D. Whitley, and C. Whitley. A comparison of genetic sequencing operators. In R.K. Belew and L.B. Booker, editors, Proceedings of the Fourth International Conference on Genetic Algorithms, pages 69-76, San Mateo CA, 1991. Morgan Kauffman.

51)
Building a XML based Object Mapping System (OMS)A. Trad;D. KalpicProceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.Year: 2001
Pages:89- 94 vol.1Cited by:Patents (2)IEEE Conferences

1. Albrecht, K, (2000), Submission for Object Management Group Applications Awards 2000, Winterthur e-Business department, Winterthur, Switzerland.

2. Ambler, S., (2000), Mapping objects to relational databases, Ronin International-IBM developerWorks, USA.

3. Booch, G., Christerson, M., Fuchs, M., Koistinen, J., (1999), UML for XML Schema Mapping Specification, Rational Rose, USA.

4. Burkhardt, R. (1997), UML Unified Modelling Language, Addison Wesley

5. Chamberlin, D. (1999), DB2 Universal Database-Der unentbehrliche Begleiter, Addison-Wesley Publishing Company, USA.

6. Chang, B., Scardina, M., Karun, K., Kiritzov, S., Macky, I., Novoselsky, A., Ramakrishnan, N., (2001), "Generating XSQL Server Pages", Oracle Magazine-Oracle Press, USA.

7. Eckstein, R. (1999), XML Reference, O'Reilly & Associates, CA, USA.

8. ECP (1999), Electronic Commerce Platform/E-commerce Platform Gesammtkonzept, Winterthur e-Business department, Winterthur, Switzerland.

9. El Masri, R., Navathe, S. (1994), Fundamentals of Database Systems, World Student Series, CA, USA.

10. Eriksson, H E. and Magnus P. (1998), UML Toolkit, John Wiley & Sons, Ine

11. ErrKorrSys (2000), MULTIMEDIA PRODUCTION AND DISTRIBUTION SYSTEM-The SKIP Korrespondenz System Projekt Dokumentation, Winterthur e-Business department, Winterthur, Switzerland.

12. Innovator, (2000), INNOVATOR CASE-strategic software development tool, MID Corporation, Germany.

13. Jacobson, I., Christerson, M., Jonsson, P. (1994), Object Oriented Software Engineering-OOSE, New York John Wiley & Sons Inc.

14. Jaworski, J. (1999), Java 2 Platform Unleashed, SAMS Publishing, Indianapolis, Indiana, USA.

15. LPC Consulting (1998), OO to RDBMS Mapping Framework, LPC Consulting Services Inc. USA.

16. Orfali, R., Harkey, D., Edwards, J. (1996), The Essential Distributed Objects-Survival Guide, John Wiley & Sons Inc., Canada.

17. Papyrus Print Services, (1999), Papyrus Mainframe Printing, ISIS Papyrus Marketing GmbH, Germany.

18. Pardi, W. (1999), XML in Action, Microsoft Press, Redmond, Washington, USA.

19. RogueWave, (1999), Tools.h++ Foundation Class Library for C++ Programming, RogueWave Software, Oregon, USA.

20. Rosenberger, J. (1998), Teach Yourself CORBA in 14 Days, SAMS Publishing, Indianapolis, Indiana, USA.

21. SKIP-Korrespondenz system (2000), MULTIMEDIA PRODUCTION AND DISTRIBUTION SYSTEM-The SKIP Korrespondenz System Projekt Dokumentation, Winterthur e-Business department, Winterthur, Switzerland.

22. SKIP-Schadenmeldung (1999), SKIP-Schadenmeldung-Architektur, Basisklassen, Codegenerator, Drucken 2. Tier (Business Server SM), Winterthur e-Business department, Winterthur, Switzerland.

23. Stroustrup, B. (1994), The C++ Programming Language, Addison-Wesley Publishing Company, USA.

24. Vogel, A., Vasudevan, B., Benjamin, M., Villalba, T. (1999), C++ Programming with CORBA, John Wiley & Sons Inc., Canada.

52)
Information model for the specification of QoS agreements among ambient networksP. Mendes;J. Andres-Colas;C. Pinho2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio CommunicationsYear: 2005,Volume: 3
Pages:1830- 1834 Vol. 3Cited by:Papers (2)IEEE Conferences

1. ITU-T Recommendation Y. 1541, "Network performance objectives for IP-based services", May 2002.

2. ITU-T Recommendation G.1010, "End-user multimedia QoS categories", November 2001.

3. 3GPP TS 23.107, "Quality of Service (QoS) concept and architecture", v6.1.0, March 2004.

4. 3GPP TS 22.105, "Services and Service Capabilities", v5.2.0, June 2002.

5. Cornelia Kappler, Paulo Mendes, Christian Prehofer, Petteri Poyhonen and Di Zhou, "A Framework for Self-organized Network Composition", In Proc. of the International Workshop on Autonomic Communication, Berlin, October 2004.

6. N. Niebert, A. Schieder, H. Abramowicz, G. Malmgren, J. Sachs, U, Horn, Ch. Prehofer and H. Karl, "Ambient Networks: An Architecture for Communication Networks beyond 3G", IEEE Wireless Communications, April 2004.

7. Jerry Ash (ed), "QoS-NSLP QSPEC Template", Internet Draft, IETF, Feb 2005.

8. S. Van den Bosch (ed) "NSLP for Quality-of-Service Signaling", Internet Draft, lETF, Feb 2005.

9. Sotiris Maniatis, Eugenia Nikolouzou, Iakovos Venieris, "End-to-end QoS Specification Issues in the Converged All-IP Wired and Wireless Environment", IEEE Communication Magazine, June 2004.

10. Jorge Andres-Colas et al, "Connecting Ambient Networks - Architecture and Protocol Design", Deliverable D.3.2 of the Ambient Network project. To be submitted in March 2005.

53)
An approach for software design method comparisonHung-Fu Chang;StephenC-Y. LuProceedings of the 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Year: 2012
Pages:187- 194IEEE Conferences


1. V. Hubka, & W. E. Eder, "Design science: introduction to the needs, scope and organization of engineering design knowledge," London: Springer-Verlag. 1996.

2. M. Saeki, "Software specification & design methods and method engineering," International Journal of Software Engineering and Knowledge Engineering, 1994.
 
3. M. Jackson, "Jackson development methods: JSP and JSD." Encyclopaedia of Software Engineering, John J Marciniak ed, Vol. 1 pp 585-593. John Wiley & Sons, 1994.

4. G. Booch, R. A. Maksimchuk, M. W. Engel, B. J. Young, J. Conallen, and K. A. Houston, "Object-Oriented analysis and design with applications," 3rd ed, Addison-Wesley. 2007.

5. P. C. Mathews, S. Ahmed and M. Aurisicchio, "Extracting experience through protocol analysis," International Conference on Data Mining 2001, Workshop on Integrating Data Mining and Knowledge Management.

6. H. Jiang and C.-C. Yen, "Protocol analysis in design research: a review," International Association of Societies of Design Research, 2009.

7. T. M. Neill, J. S. Gero and J. Warren, "Understanding conceptual electronic design using protocol analysis," Research in Engineering Design.

8. Z. Yuming and X. Baowen, "Measuring structure complexity of UML class diagrams," Journal of Electronics Vol. 20 No.3, May 2003.

9. S. Q. Le, T. B. Ho and T. H. Phan, "A novel graph-based similarity measure for 2D chemical structures, " Genome Informatics 15 (2): 82-91, 2004.

10. A. Tsiolakis, "Consistency analysis of UML class and sequence diagrams based on attributed typed graphs and their transformation," ETAPS 2000 Workshop On Graph Transformation Systems.

11. R. A. Rufai, "New structural similarity metrics for UML models," Master Thesis, King Fahd University of Petroleum and Minerals, 2003.

12. C. Treude, S. Berlik, S. Wenzel, and U. Kelter, "Difference computation of large models," Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007.

13. S. Hong, G. van den Goor, and S. B. Kemper, "A formal approach to the comparison of Object-Oriented analysis and design methodologies," Proceedings of the 26th Hawaii International Conference on System Sciences, January 1993 Volumn IV, pp. 689-698.

14. D. de Champeaux and P. Faure, "A Comparative Study of Object Oriented Analysis Methods," Journal of Object-Oriented Programming (JOOP), March/April, 1992, pp. 21-33.

15. P. Arnold, S. Bodoff, D. Coleman, H. Gilchrist, and F. Hayes, "An evolution of five Object-Oriented development methods," Research report, HP Laboratories, June 1991.

16. D. E. Monarchi and G. I. Puhr, "A research typology for Object-Oriented analysis and design," Communications of the ACM, Vol. 35, No. 9, September 1992, pp. 35 - 47.

17. R. G. Fichman, and C. F. Kemerer, "Object-Oriented and conventional analysis and development methodologies: comparison and critique, center for information systems research," Sloan School of Management, M.I.T., CISR WP. No. 230, 1991. 38 pages.

18. N. M. A. Munassar and A. Govardhan, "Comparison between traditional approach and Object-Oriented approach in software engineering development," International Journal of Advanced Computer Science and Applications, Vol. 2, No. 6, 2011.

54)
An approach for cross-discipline requirements engineering process patternsM.T. Gaska;D.C. GauseProceedings of IEEE International Symposium on Requirements Engineering: RE '98Year: 1998
Pages:182- 189Cited by:Papers (3)IEEE Conferences

1. C. Alexander, Timeless Ways of Building, New York:Oxford University Press, 1979.

2. C. Alexander, A Pattern Language, New York:Oxford University Press, 1977.

3. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal, Pattern-Oriented Software Architecture - A System of Patterns, Wiley and Sons Ltd., February 1996.

4. P. Checkland, Systems Thinking Systems Practice, New York:John Wiley & Sons, 1981.

5. A. Clifton-Taylor, The Pattern of English Building, London:Faber and Faber Limited, 1972.

6. J. Coplien, "A Generative Development-Process Pattern Language" in Pattern Languages of Program Design, New York:Addison-Wesley Publishing Company, pp. 183-237, 1995.

7. J. Coplien, D. Schmidt, Pattern Languages of Program Design, NY:Addison-Wesley Publishing Company, 1995.

8. A. Davis, Software Requirements: Objects Functions and States, NJ, Englewood Cliffs:Prentice Hall, 1993.

9. G. Davis, "Strategies for Information Requirements Determination", IBM Systems Journal, vol. 21, no. 1, pp. 4-30, 1982.

10. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design patterns: Elements of Reusable Object-Oriented Software, New York:Addison-Wesley, 1994.

11. M. Gaska, "General Principles of Requirements Engineering Across Disciplines: Patterns for Application to New Approaches to Computer-Based Systems Design", RE'97 Doctoral Consortium, 1997-Jan.

12. M. Gaska, Reuse Lessons Learned from Architecture and Building Systems Integration, IL, St. Charles:WISR, 1995.

13. D. Gause, SS580 Systems Design, Binghamton:SUNY, 1988.

14. D. Gause, G. Weinberg, Exploring Requirements: Quality Before Design, New York:Dorset House Publishing, 1989.

15. J. Grady, System Requirements Analysis, New York:McGraw- Hill, 1993.

16. R. Hill, "Enabling Concurrent Engineering by Improving the Requirements Process", Proceedings from CALS/CE Conference, pp. 275, 1991-June.

17. P. Hsia, A. Davis, D. Kung, "Status Report: Requirements Engineering", IEEE Software, pp. 75-79, November 1993.

18. P. Hsai, A. Davis, D. Kung, "Why is requirements engineering underused?", IEEE Software, pp. 8, March 1994.

19. M. Jackson, Software Requirements & Specifications a lexicon of practice principles and prejudices, New York:Addison-Wesley, 1995.

20. J. Johnson, Scope Grope Top 10 Reasons Why Projects Fail Scope of Software Project Failures, Chicago:The Standish Group, May 95.

21. C. Jones, Patterns of Software Systems Failure and Success, NY:International Thomson Computer Press, 1996.

22. R. Likert, New Patterns of Management, New York:McGraw-Hill, 1961.

23. D. Marca, C. McGowan, SADT Structured Analysis and Design Technique, New York:McGraw-Hill, Inc., 1988.
24. H. Petroski, Design Paradigms Case Histories of Error and Judgment in Engineering, Cambridge:Cambridge Univ. Press, 1994.

25. K. Pohl, "PRO_ART: Enabling Requirements Pre-Traceability", Proceedings of ICRE '96, pp. 76-84.

26. C. Potts, "Requirements Models in Context", Third IEEE International Symposium on Requirements Engineering (RE'97), pp. 102-104, 1997-January-6-10.

27. W. Pree, "Strategies and Patterns Handbook" in Design Patterns for Object-Oriented Software Development, Addison Wesley, 1995.

28. C. Ramamoorthy, G. Ho, "A design methodology for user oriented computer systems", Proceedings National Computer Conference, pp. 953-966, 1978.

29. Random House Unabridged Dictionary CDROM.
30. D. Rawsthorne, A Pattern Language for Requirements Analysis.

31. J. Renouard, "Computer science can learn from the social sciences", IEEE Computer, pp. 112, Sept. 1996.

32. S. Robertson, "Requirements Patterns Via Events/Use Cases" in PLoP, Illinois, Sept. 1996.

33. C. Robson, Real World Research a Resource for Social Scientists and Practitioner-Researchers, Cambridge:Blackwell, 1993.

34. M. Rubinstein, Patterns of Problem Solving, New Jersey, Englewood Cliffs:Prentice Hall, 1975.

35. R. Rush, The Building Systems Integration Handbook, Boston:The American Institute of Architects, 1986.

36. H. Salzman, S. Rosenthal, Software by Design: Shaping Technology and the Workplace, New York:Oxford University Press, 1994.

37. P. Senge, "The Fifth Discipline" in The Art & Practice of the Learning Organization, NY:Currency Doubleday, 1994.

38. , "On the Nature of Business Success", British Association for the Advancement of Science, 1968.

39. R. Thayer, M. Dorfman, System and Software Requirements Engineering, California:IEEE Computer Society Press, 1990.

40. W. Utz, Software Technology Transitions, NY, Englewood Cliffs:Prentice Hall, 1992.

41. R. Von Oech, A Kick in the Seat of the Pants: Using Your Explorer Artist Judge & Warrior to be More Creative, Harper Perennial, 1986.

42. B. Whitenack, RAPPeL: A Requirements Analysis-Process Pattern Language for Object-Oriented Development, pp. 259-291, 1995.

43. R. Wieringa, Requirements Engineering Frameworks for Understanding, New York:John Wiley & Sons, 1996.

44. T. Winograd, J. Bennett, L. DeYoung, B. Hartfield, Bringing Design to Software, New York:Addison-Wesley, 1996.

45. T. Winograd, F. Flores, Understanding Computers and Cognition, NJ, Norwood:Ablex Publishers, 1986.

46. R. Yin, Case Study Research Design and Methods, California, Thousand Oaks:Sage, 1994.

47. J. Zachman, "A Framework for Information Systems Architecture", IBM Systems Journal, pp. 276-292, 1987.

55)
Coterie templates: a new quorum construction methodW.K. Ng;C.V. RavishankarProceedings of 15th International Conference on Distributed Computing SystemsYear: 1995
Pages:92- 99Cited by:Papers (8)IEEE Conferences


1. D. Agrawal, A. Abbadi, "An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion", ACM Transactions on Computer Systems, vol. 9, no. 1, pp. 1-20, Feb. 1991.

2. A. Albert, R. Sandler, An Introduction to Finite Projective Planes, New York:Holt, Rinehart & Winston, 1968.

3. D. Barbara, H. Garcia-Molina, "Mutual Exclusion in Partitioned Distributed Systems", Distributed Computing, no. 1, pp. 119-132, 1986.

4. O. Carvalho, G. Roucairol, "On Mutual Exclusion in Computer Networks", Communications of the ACM, vol. 26, no. 2, pp. 146-147, 1983.

5. C. J. Colbourn, P. C. Van Oorschot, "Applications of Combinatorial Designs in Computer Science", ACM Computing Surveys, vol. 21, no. 2, pp. 223-250, 1989.

6. Y. I. Chang, M. Singhal, M. T. Liu, "A Fault Tolerant Algorithm for Distributed Mutual Exclusion. Proceedings of the 9th", Symposium on Reliable Distributed Systems, pp. 146-154, 1990-Oct.

7. H. Garcia-Molina, K. Barbara, "How to Assign Votes in a Distributed System", Journal of the ACM, vol. 32, no. 4, pp. 841-860, Oct. 1985.

8. M. Maekawa, "A √ Algorithm for Mutual Exclusion in Decentralized Systems", ACM Transactions on Computer Systems, vol. 3, no. 2, pp. 145-159, 1985.

9. M. Raynal, A Simple Taxonomy for Distributed Mutual Exclusion Algorithms, 1990.

10. G. Ricart, A. Agrawala, "An Optimal Algorithm for Mutual Exclusion in Computer Networks", Communications of the ACM, vol. 24, no. 1, pp. 9-17, Jan. 1981.

11. H. J. Ryser, "Combinatorial Mathematics" in Carus Mathematical Monographs, Washington, D.C.:Mathematical Association of America, 1963.

12. B. A. Sanders, "The Information Structure of Distributed Mutual Exclusions Algorithms", ACM Transactions on Computer Systems, vol. 5, no. 3, pp. 284-299, Aug. 1987.

13. M. Singhal, "A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems", IEEE Transactions on Computers, vol. 38, no. 5, pp. 651-662, May 1989.




09:52 | 投票する | 投票数(0) | コメント(0)
2018/12/29

IEEE C++ template generic 63 papers(3) 26-40

Tweet ThisSend to Facebook | by kaizen
Evolving a CUDA kernel from an nVidiatemplateW. B. Langdon;M. HarmanIEEE Congress on Evolutionary ComputationYear: 2010
Pages:1- 8Cited by:Papers (23)IEEE Conferences


1. Andrea Arcuri, Xin Yao, Jun Wang, "A novel coevolutionary approach to automatic software bug fixing", 2008 IEEE World Congress on Computational Intelligence, pp. 1-6, June 2008.

2. Jason M. Daida, Adam M. Hilss, David J. Ward, Stephen L. Long, "Visualizing tree structures in genetic programming", Genetic Programming and Evolvable Machines, vol. 6, no. 1, pp. 79-110, 2005.

3. Stephen Dignum, Riccardo Poli, Dirk Thierens et al., "Generalisation of the limiting distribution of program sizes in tree-based genetic programming and analysis of its effects on bloat", GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, vol. 2, pp. 1588-1595, 7–11 July 2007.

4. Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Guenther Raidl et al., "A genetic programming approach to automated software repair", GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pp. 947-954, 8–12 July 2009.

5. Simon L. Harding, Wolfgang Banzhaf, Ignacio Hidalgo, Francisco Fernandez, Juan Lanchares, "Distributed genetic programming on GPUs using CUDA", Workshop on Parallel Architectures and Bioinspired Algorithms, September 13 2009.

6. M. Hutchins, H. Foster, T. Goradia, T. Ostrand, "Experiments on the effectiveness of dataflow-and control-flow-based test adequacy criteria", Proceedings of 16th International Conference on Software Engineering ICSE-16, pp. 191-200, May 1994.

7. John R. Koza, Genetic Programming: On the Programming of Computers by Natural Selection, MIT press, 1992.

8. W. B. Langdon, M. Harman, "Evolving gzip matches kernel from an nVidia CUDA template", Technical Report TR-10–02, February 2010.

9. W. B. Langdon, A. P. Harrison, "Evolving DNA motifs to predict GeneChip probe performance", Algorithms in Molecular Biology, vol. 4, no. 6, March 2009.

10. W. B. Langdon, Riccardo Poli, Foundations of Genetic Programming, Springer-Verlag, 2002.

11. W. B. Langdon, Olivia Sanchez Graillet, A. P. Harrison, Automated DNA motif discovery. arXiv, January 2010.

12. William B. Langdon, Mark Harman, Yue Jia, "Efficient multi objective MC GA GP search and higher order mutation testing", Journal of Systems and Software.

13. William B. Langdon, Genetic Programming and Data Structures, Kluwer, 1998.

14. William B. Langdon, "Size fair and homologous tree genetic programming crossovers", Genetic Programming and Evolvable Machines, vol. 1, no. 1/2, pp. 95-119, April 2000.

15. David J. Montana, "Strongly typed genetic programming", Evolutionary Computation, vol. 3, no. 2, pp. 199-230, 1995.

16. Riccardo Poli, William B. Langdon, Nicholas Freitag McPhee, A field guide to genetic programming, 2008, [online] Available: http://lulu.com.

17. Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest, "Automatically finding patches using genetic programming. In Stephen Fickas editor", International Conference on Software Engineering (ICSE) 2009, pp. 364-374, May 16–24 2009.

28)
Design ofgenericdirect sparse linear system solver inC++ for power system analysis S. Pandit;S.A. Soman;S.A. KhapardeIEEE Transactions on Power SystemsYear: 2001,Volume: 16,Issue:4
Pages:647- 652Cited by:Papers (13)IEEE Journals & Magazines

1. B. Stroustrup, The C++ Programming Language, Addison-Wesley Publishing Company, 1997.

2. A. F. Neyer, F. F. Wu, K. Imhof, "Object oriented programming for flexible software: Example of a load flow", IEEE Trans. Power Systems, vol. 5, no. 3, pp. 689-695, 1990.

3. E. Z. Zhou, "Object oriented programming C++ and power system simulation", IEEE Trans. Power Systems, vol. 11, no. 1, pp. 206-215, 1996.

4. B. Hakavik, A. T. Holen, "Power system modeling and sparse matrix operations using object oriented programming", IEEE Trans. Power Systems, vol. 9, no. 2, pp. 1045-1052, 1994.

5. S. Pandit, S. A. Soman, S. A. Khaparde, "Object-oriented design for power system applications", IEEE Computer Applications in Power, vol. 13, no. 4, pp. 43-47, 2000.

6. J. Dongarra, A. Lumsdaine, X. Niu, R. Pozo, K. Remington, A Sparse Matrix Library in C++ for High Performance Architectures, 1994, [online] Available: .

7. F. Dobrian, G. Kumfert, A. Pothen, The Design of Sparse Direct Solvers Using Object-Oriented Techniques: ICASE NASA/CR-1999-209????, Sept. 1999, [online] Available: .

8. C. Ashcraft, J. W. H. Liu, SMOOTH: A Software Package for Ordering Sparse Matrices, Nov. 1996, [online] Available: .

9. C. Ashcraft, J. W. H. Liu, SPOOLES: An Object Oriented Sparse Matrix Library, 1999, [online] Available: .

10. I. S. Duff, A. M. Erisman, J. K. Reid, Direct Methods for Sparse Matrices, Oxford:Clarendon Press, 1986.

11. J. R. Bunch, L. Kaufman, "Some stable methods for calculating inertia and solving symmetric linear systems", Mathematics of Computation, vol. 31, pp. 163-179, 1977.

12. A. George, J. W. H. Liu, "The evolution of minimum degree ordering algorithm", SIAM Review, vol. 31, no. 1, pp. 1-19, 1989.

13. W. H. Press, S. A. Teukolsky, W. T. Vellerling, B. P. Flannery, Numerical Recipes in C, Daryaganj, New Delhi:Cambridge University Press, 1992.

14. S. M. Serbin, "On factoring a class of complex symmetric matrices without pivoting", Mathematics of Computation, vol. 35, no. 152, pp. 1231-1234, 1980.

15. T. A. Budd, Classic Data Structures in C++, USA:Addison-Wesley Publishing Company, 1994.

29)
Designing algorithm-orientedgenericlibrary on .NET frameworkO. Rysavy;F. Scuglik;M. Sveda13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)Year: 2006
Pages:5 pp.- 163IEEE Conferences


1. Edmund M. Clarke and Orna Grumberg and Doron A. Peled: Model Checking, MIT Press, Cambridge, Massachusetts, 1999.

2. Doron A. Peled: Software Reliability Methods, Texts in Computer Science, Springer-Verlang, 2001.

3. David R. Musser and Alexander A. Stepanov: Algorithm-Oriented Generic Libraries. In: Software - Practise and Experience, vol. 24(7), 623-642, July 1994.

4. Jason Whittington.Shared Source CLI Provides Source Code for a FreeBSD Implementation of.NET. In: MSDN Journal, vol.7, 2002.

5. M. H. Austern. Generic Programming and the STL. Professional computing series. Addison-Wesley, 1999.

6. Jeremy G. Sick, Lie-Quan Lee, Andrew Lumsdaine. Boost Graph Library, The User Guide and Reference Manual. Professional computing series. Addison-Wesley, 2002.

7. Jeremy G. Siek and Andrew Lumsdaine. The Matrix Template Library: Generic Components for High-Performance Scientific Computing. In: Computing in Science and Engineering, Vol. 1, No. 6, November 1999.

8. Hoang Lam, Thuan L. Thai.NET Framework Essentials, 3rd Edition. O'Reilly, August 2003.


30)
AGenericParser to parse and reconfigure XML filesCK Akhil Rangan;J Jayanthi2011 IEEE Recent Advances in Intelligent Computational SystemsYear: 2011
Pages:823- 827
Cited by:Papers (3)|Patents (1)
IEEE Conferences

1. Zhenghong Gao, Yinfei Pan, Ying Zhang, Kenneth Chiu, "A High Performance Schema-Specific XML Parser", Third IEEE International Conference on e-Science and Grid Computing, 2007.

2. Zhou Yanming, Qu Mingbin, "A Run-time Adaptive and Code-size Efficient XML Parser", Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006.

3. Wei Zhang, Robert A. van Engelen, An Adaptive XML Parser for Developing High-Performance Web Services, IEEE, 2008.

4. Fernando Farfán, Vagelis Hristidisa, Raju Rangaswami, "2LP: A double-lazy XML parser", Information Systems, vol. 34, no. 1, pp. 145-163, March 2009.

5. R. Bourret, C. Bornh"ovd, A. Buchmann, A Generic Load/Extract Utility for Data Transfer Between XML Documents and Relational Databases, IEEE, 2003.

6. W. Zhang, R. Van Engelen, "A Table-Driven Streaming XML Parsing Methodology for High-Performance Web Services", 2006 IEEE International Conference on Web Services (ICWS), pp. 197-204, 2006.

7. Mehdi Haïtami, Ghyslain Abel, Alain C. Houle, Brigitte Jaumard, "ONDE: A Generic XML-Based Development Environment for Optimization of WDM Optical Networks", IEEE CCECE/CCGEI, May 2006.

8. A. Aho, R. Sethi, J. Ullman, Compilers: Principles Techniques and Tools, Reading MA:Addison-Wesley Publishing Company, 1985.

9. K. Chiu, W. Lu, "A compiler-based approach to schema specific XML parsing", proceedings of The First International Workshop on High Performance XML Processing, 2004.

10. M. G. Kostoulas, M. Matsa, N. Mendelsohn, E. Perkins, A. Heifets, M. Mercaldi, "Xml screamer: An Integrated approach to high performance xml parsing validation and deserialization", Proceedings of the 15th International Conference on World Wide Web, pp. 93-102, 2006.

11. M. Matsa, E. Perkins et al., "A high-performance interpretive approach to schema-directed parsing", Proceedings of the 16th international conference on World Wide Web, vol. 02, pp. 1093-1102, 2007.

31)
Software reuse metrics for object-oriented systemsK.K. Aggarwal;Y. Singh;A. Kaur;R. MalhotraThird ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)Year: 2005
Pages:48- 54
Cited by:Papers (16)|Patents (4)
IEEE Conferences

1. K.K Aggarwal, Yogesh Singh, Software Engineering, New Age International Publishers, 2001.

2. V.Basili, R.Reiter, "Evaluating Automable Measures of Software Models", IEEE Workshop on Quantitative Software Models, 1979, 107-116.

3. J.Bieman, "Deriving measures of Software reuse in Object-Oriented Systems", In BCS-FACS Workshop on formal Aspects of Measurement, Springer-Verlag.

4. J.Bieman and S.Karunanithi, "Candidate reuse metrics for Object-Oriented and Ada Software", In Proceedings of IEEE-CS First International Software Metrics Symposium

5. S.R.Chidamber and C.F.Kamerer, "A metrics Suite for Object-Oriented Design", IEEE Trans. Software Engineering, vol. SE-20, no.6, 1994, 476-493.

6. N.E.Fenton, Software Metrics, A rigorous approach. Chapman and Hall, New York, 1991.

7. W.Frakes and C.Terry, "Software Reuse: Metrics and Models", ACM Computing Surveys, Vol. 28, no.2, June 1996, 415-435

8. R.Harrison, S.J.Counsell, and R.V.Nithi, "An Evaluation of MOOD set of Object-Oriented Software Metrics", IEEE Trans. Software Engineering, vol. SE24, no.6, June, 1998, pp. 491-496.

9. B.Henderson-sellers, Object-Oriented Metrics, Measures of Complexity, Prentice Hall, 1996.

10. M.Lorenz, and J.Kidd, Object-Oriented Software Metrics, Prentice-Hall, 1994.

11. R.Pressman, Software Engineering, McGraw-Hill, Boston, 2001.

12. K.R. Venugopal, Rajkumar, T.Ravishankar, Mastering C++. Tata McGraw Hill, 1997.

13. E.Weyuker, "Evaluating Software Complexity Measures", IEEE Transactions on Software Engineering, vol 14, 1998, pp.1357-1365.

14. H.Zuse, Software Complexity: Measures and Methods, Walter de Gruyter, Berlin, 1990.


32)
Agenericmulti-unit architecture for codesign methodologiesG. Gogniat;M. Auguin;C. BelleudyProceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97Year: 1997
Pages:23- 27IEEE Conferences

1. E. H.L. AARTS, G. ESSINK, E. A. De KOCK, "Recursive bipartitioning of signal flow graphs for programmable video signal processors", European Design and Test Conference, pp. 460-466, 1996-March.

2. J. K. ADAMS, D. E. THOMAS, The Design of Mixed Hardware/Software Systems, June 1996.

3. J. BUCK, S. HA, E. A. LEE, D. G. MESSERSCHMITT, "Ptolemy: a framework for simulating and prototyping heterogeneous systems", Int. Journal of Computer Simulation: special issue on Simulation Software Development, april 1994.

4. H. CORPORAAL, J. HOOGERBRUGGE, "Cosynthesis with the MOVE framework", CESA'96 IMACS Multiconference, pp. 184-189, 1996-july-9-12.

5. R. ERNST, J. HENKEL, T. BENNER, "Hardware-Software Cosynthesis for Microcontrollers", IEEE Journal Design and Test of Computers, pp. 64-75, december 1993.

6. G. GOGNIAT, Etude de la synthese des communications dans les systemes logiciels/materiels, 1996.

7. R. K. GUPTA, G. DE MICHELI, "Hardware-Software Cosynthesis for Digital Systems", IEEE Journal Design and Test of Computers, pp. 29-41, september 1993.

8. Y. JEGOU, A. SEZNEC, "Data synchronized pipeline architecture: pipelining in multiprocessor environments", Journal of Parallel and Distributed Computing, pp. 3508-3526, 1986.

9. A. KALAVADE, E. LEE, "A global criticaiity/local phase driven algorithm for the constrained hardware/software partitioning problem", Proceedings Int. Workshop on Hardware-Software Co-Design, pp. 42-48, 1994-September-22-24.

10. A. KALAVADE, E. LEE, "The extended partitioning problem: hardware/software mapping and implementation-bin selection", Proceedings Int. Workshop on Rapid System Prototyping, pp. 12-18, 1995-June-7-9.

11. F. ROUSSEAU, J. BENZAKK1, J. M. BERGE, M. ISRAEL, "Adaptation of force-directed scheduling for hardware/software partitioning", Proceedings Int. Workshop on Rapid System Prototyping, 1995-June-7-9.

12. M. B. SRIVASTA, R. W. BRODERSEN, "SIERA: A Unified Framework for Rapid-Prototyping of System-Level Hardware and Software", IEEE Transactions on Computer-Aided Design, vol. 14, no. 6, pp. 676-693, June 1995.

13. F. VAHID, J. GONG, D. GAJSKI, "A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning", Proc. European Design Automation Conference, 1994.

33)
High performance Iris Recognition System on GPUFatma Zaky Sakr;Mohammed Taher;Ayman M. WahbaThe 2011 International Conference on Computer Engineering & SystemsYear: 2011
Pages:237- 242Cited by:Papers (4)IEEE Conferences

1. "NVIDIA CUDA compute unified device architecture programming guide", Jan. 2007, [online] Available: http://developer.nvidia.com/cuda.

2. R. P. Broussard, R. N. Rakvic, R. W. Ives, "Accelerating iris template matching using commodity video graphics adapters" in 2008 IEEE Int. Conf. Biometrics: Theory Applications and Systems, Crystal City, VA, Sep. 2008.

3. D. Shreiner, M. Woo, J. Neider, T. Davis, "OpenGL Architecture Review Board", 2005.

4. "CUDA CUFFT library programming guide", Oct. 2007, [online] Available: http://www.nvidia.com/object/cuda_develop.html.
 
5. Daniel Castafio-Diez, Dominik Moser, Andreas Schoenegger, Sabine Pruggnaller, Achilleas S. Frangakis, "Performance evaluation of image processing algorithms on the GPU" in Computational and Structural Biology European Molecular Biology Laboratory Meyerhofstr, Heidelberg, Germany, pp. 1-69117.

6. Mark Harris, "Mapping computational concepts to GPUs" in GPUGems 2: Programming Techniques for High-Performance Graphics and General-Purpose Computation Matt Pharr Ed., Addison-Wesley, vol. 31, pp. 493-508, 2005.

7. YoshikiMizukami, Katsumi Tadamura, "Optical Flow Computation on Compute Unified Device Architecture", 14th International Conference on Image Analysis and Processing (ICIAP 2007).

8. S. Uma Maheswari, P. Anbalagan, T. Priya, "Efficient Iris Recognition through Improvement in Iris Segmentation Algorithm", ICGST-GVIP Journal, vol. 8, no. 2, July 2008, ISSN 1687-398X.

9. J Daugman, "How Iris Recognition Works", IEEE CSVT, pp. 21-30, 2004.

10. L. Masek, "Recognition of Human Iris Patterns for Biometric Identification", 2006, [online] Available: www.csse.uwa.edu.au/pk/studentprojects/libor/LiborMasekThesis.pdf.

11. M. Hebaishy, "Optimized Daugman's Algorithm for Iris Localization", 2008, [online] Available: wscg.zcu.cz/wscg2008/Papers_2008/poster/All-full.pdf.

12. M.Aly Ola, M. Hebaishy, "Increasing The Efficiency Of Iris Recognition Systems By Using Multi-Channel Frequencies Of Gabor Filter", Electronics and communications dept. faculty of engineering Banha University, 2009.

13. UPOL Database for Eye Images, [online] Available: http://phoenix.inf.upol.cz/iris/download/.

14. "Miles Research Business and Scientific Applications Development", Database of the Eye Images, [online] Available: http://www.milesresearch.com.

15. "Chinese Academy of Science - Institute of Automation", Database of the Eye Grayscale Images, [online] Available: http://www.sinobiometrics.com.

16. R. P. Broussard, R. N. Rakvic, R. W. Ives, "Accelerating iris template matching using commodity video graphics adapters" in 2008 IEEE Int. Conf. Biometrics: Theory Applications and Systems, Crystal City, VA, Sep. 2008.

17. N. A. Schmid, M. Ketkar, H. Singh, B. Cukic, "Performance analysis of iris-based identification system at the matching score level", IEEE Trans. Inf. Forensics Security, no. 2, pp. 154-168, Jun. 2006.

18. F. Hao, J. Daugman, P. Zielinski, "A fast search algorithm for a large fuzzy database", IEEE Trans. Inf. Forensics Security, vol. 3, no. 2, pp. 203-212, Jun. 2008.

34)
Self-structuring antennasC.M. Coleman;E.J. Rothwell;J.E. RossIEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (CYear: 2000,Volume: 3
Pages:1256- 1259 vol.3Cited by:Papers (10)IEEE Conferences

1. J. K. Tillery, G. T. Thompson, J. J. H. Wang, "Low-Power Low-Profile Multifunction Helmet-Mounted Smart Array Antenna", 1999 IEEE AP-S International Symposium, 1999-July-11-16.

2. D. E. Goldberg, Genetic Algorithms in Search Optimization and Machine Learning, Addison-Wesley, 1989.

3. W. H. Press, S. A. Teukolsky, B. P. Flannery, W. T. Vetterling, Numerical Recipes The Art of Scientific Computing, Cambridge University Press.

4. E. E. Altshuler, D. S. Linden, "Wire Antenna Designs Using Genetic Algorithms", IEEE Antennas and Propagation magazine, vol. 39, no. 2, pp. 33-43, April 1997.

5. E. A. Jones, W. T. Joines, "Design of Yagi-Uda Antennas Using Genetic Algorithms", IEEE Transactions on Antennas and Propagation, vol. 45, no. 9, pp. 1386-1391, September 1997.

35)
Virtual view face image synthesis using 3D spring-based face model from a single imageG.C. Feng;P.C. Yuen;J.H. LaiProceedings Fourth IEEE International Conference on Automatic Face and Gesture Recognition (Cat. No. PR00580)Year: 2000
Pages:530- 535
Cited by:Papers (2)|Patents (3)
IEEE Conferences

1. K. Aizawa C. S. Choi and H. Harashima and T. S. Huang "Hum an facial system and synthesis with application to model-based coding" In M. I. Sezan et al. editors Motion Analysis and Image Sequence Processing pp. 317-348 Kluwer 1993

2. . R. Basri and S. Ullman "Recognition by linear combinations of models " A. I. Memo No. 1152 Artificial Intelligence Laboratory MIT 1990

3. . G C Feng and P C Yuen "Variance projection function and its application to eye detection for human face recognition " Pattern recognition Letter Vol. 19 pp. 899-906. 1998.

4. . M. Maruyama S. Asano and Y. Nakano "Face recognition by bidirectional view synthesis" ICPR'98 pp. 157-159 1998

5. . K. Matsuno and S. Tsuji "Recognizing human facial expression in a potential field " Proc. of ICPR'94 pp. 44-49 1994

6. . T. Poggio "3D object recognition and matching: on a result of Basri and Ullman " in In L. Harris et al. editors "Spatial vision in humans and robots" pp. 203-210 Cambridge University Press 1993

7. . F. I. Parke and K. Waters Computer facial animation A. K. Peters Massachusetts 1996

8. . S. Ullman and R. Basri "Recognition by linear combinations of models " IEEE Trans. on PAMI Vol. 13 No. 10 pp. 992-1006 1991

9. . T. Vetter and V. Blanz "Generalization to novel views from a single face image " In H. Wechsler et al. editors Face Recognition from Theory to Application pp. 310-326 Springer 1998

10. . T. Vetter and T. Poggio "Linear object classes and image synthesis from a single example image " IEEE Trans. on PAMI Vol. 19 No. 7 pp. 733-742 1997

11. . G. Wolberg Digital Image Warping IEEE Computer Society Press Los Alamitos CA 1992

12. . K. Waters and D. Terzopoulos "Modeling and animating faces using scanned data " J. of Visualizaition and Computer Animation Vol. 2 No. 4 pp. 123-128 1991

13. . G. C. Feng Face recognition using virtual frontal-view image Ph. D. thesis Hong Kong Baptist University 1999

14. G C Feng and P C Yuen "Multi Cues Eye Detection On Gray Intensity Image " Submitted to Pattern Recognition May 1999.

36)
MeterPU: AGenericMeasurement Abstraction API Enabling Energy-Tuned Skeleton Backend SelectionLu Li;Christoph Kessler2015 IEEE Trustcom/BigDataSE/ISPAYear: 2015,Volume: 3
Pages:154- 159Cited by:Papers (2)IEEE Conferences

Pruning strategies in adaptive off-line tuning for optimized composition of components on heterogeneous systems
Jan 2016Parallel Computing
Lu LiLu LiUsman DastgeerUsman DastgeerChristoph KesslerChristoph Kessler

Adaptive Implementation Selection in the SkePU Skeleton Programming Library
Aug 2013Lecture Notes in Computer Science
Usman DastgeerUsman DastgeerLu LiLu LiChristoph KesslerChristoph Kessler

Adaptive Off-Line Tuning for Optimized Composition of Components for Heterogeneous Many-Core Systems
Jan 2013Lecture Notes in Computer Science
Lu LiLu LiUsman DastgeerUsman DastgeerChristoph KesslerChristoph Kessler

Smart Containers and Skeleton Programming for GPU-Based Systems
Jun 2016International Journal of Parallel Programming
Usman DastgeerUsman DastgeerChristoph KesslerChristoph Kessler

Algorithmic skeletons for multi-core, multi-GPU systems and clusters
Apr 2012International Journal of High Performance Computing and Networking
Steffen ErnstingSteffen ErnstingHerbert KuchenHerbert Kuchen

Algorithmic Skeleton Framework for the Orchestration of GPU Computations
Aug 2013
Ricardo MarquesRicardo MarquesHervé PaulinoHervé PaulinoFernando AlexandreFernando AlexandrePedro D. MedeirosPedro D. Medeiros

Auto-tuning SkePU: A multi-backend skeleton programming framework for multi-GPU systems
May 2011Proceedings - International Conference on Software Engineering
Usman DastgeerUsman DastgeerJohan EnmyrenJohan EnmyrenChristoph KesslerChristoph Kessler

Designing Components with the C++ STL
Jan 1998
U. BreymannU. Breymann

Heterogeneous Algorithmic Skeletons for FastFlow with Seamless Coordination over Hybrid Architectures
Feb 2013
Mehdi GoliMehdi GoliHoracio Gonzalez-VelezHoracio Gonzalez-Velez

Building a Monitoring Infrastructure with Nagios
David JosephsenDavid Josephsen

SkePU: A multi-backend skeleton programming library for multi-GPU systems
Sep 2010
Johan EnmyrenJohan EnmyrenChristoph KesslerChristoph Kessler

SkelCL - A Portable Skeleton Library for High-Level GPU Programming
Jun 2011
Michel SteuwerMichel SteuwerPhilipp KegelPhilipp KegelSergei GorlatchSergei Gorlatch

D1.1 Early validation of system-wide energy compositionality and affecting factors on the EXCESS platforms
D1.2 initial specification of energy, platform and component modelling framework
REPARA performance and energy monitoring library

37)
HMMlib: AC++ Library for General Hidden Markov Models Exploiting Modern CPUsAndreas Sand;Christian N.S. Pedersen;Thomas Mailund;Asbjorn Tolbol Brask2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems BiologyYear: 2010
Pages:126- 134Cited by:Papers (7)IEEE Conferences

1. A.T. Brask, Optimering af generelle skjulte Markovmodeller på multikerne CPUer og GPUer, 2009.

2. M. Bishop Christopher, Pattern Recognition and Machine Learning, Cambridge:Springer, 2006.

3. S. Eddy, "Multiple alignment using hidden Markov models", Proceedings of the Third International Conference on Intelligent Systems for Molecular Biology, vol. 3, pp. 114-120, 1995.

4. S.R. Eddy, "Hidden Markov models", Current opinion in structural biology, vol. 6, no. 3, pp. 361-5, 1996.

5. S.R. Eddy, "Profile hidden Markov models", Bioinformatics, vol. 14, no. 9, 1998.

6. A. Fog, Optimizing software in C++, pp. 1-160, 2010.

7. L.R. Rabiner, "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition", Proceedings of the IEEE, vol. 77, no. 2, pp. 257-286, 1989.

8. L.R. Rabiner, BH. Juang, An introduction to hidden Markov models, IEEE ASSp Magazine, vol. 3, pp. 4-16, 1986.

9. SSE4 Programming Reference, 2007.
10. A.V. Lukashin, M. Borodovsky, GeneMark.hmm: new solutions for gene finding, Nucleic acids research, vol. 26, no. 4, pp. 1107-15, 1998.

11. P. Baldi, Y. Chauvin, T. Hunkapiller, M.A. McClure, "Hidden Markov models of biological primary sequence information", Proceedings of the National Academy of Sciences of the United States of America, vol. 91, no. 3, pp. 1059-63, 1994.

12. A. Siepel, D. Haussler, "Computational identification of evolutionarily conserved exons", Proceedings of the eighth annual international conference on Research in computational molecular biology, pp. 186, 2004.

13. OpenMP Application Program Interface: version 3.0, OpenMP Architecture Review Board, 2008.

38)
Applyinggenerictiming tests for distributed multimedia software systemsS.C. Cheung;S.T. Chanson;Zhendong XuIEEE Transactions on ReliabilityYear: 2004,Volume: 53,Issue:3
Pages:329- 341Cited by:Papers (3)IEEE Journals & Magazines

1. J. F. Allen, "Maintaining knowledge about temporal intervals", Commun. ACM, vol. 26, no. 11, pp. 832-843, November 1983.

2. R. Alur, T. A. Henzinger, "Real-time logics: complexity and expressiveness", Proc. 5th Annu. IEEE Symp. Logic in Computer Science, pp. 390-401, 1990.

3. A. F. Ates, "Using timed CSP for specification verification and simulation of multimedia synchronization", IEEE J. Select. Areas Commun., vol. 14, no. 1, pp. 126-137, 1996.

4. A. F. Ates, B. Sarikaya, "Test sequence generation and timed testing", Computer Networks and ISDN Systems, vol. 29, no. 1, pp. 107-131, 1996.

5. B. d'Ausbourg, G. Durrieu, P. Roche, "Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behavior", Proc. Eurographics Workshop on Design Specification and Verification of Interactive Systems, pp. 105-122, 1996.

6. B. d'Ausbourg, J. Cazin, "Using TRIO specifications to generate test cases for an interactive system", Proc. Eurographics Workshop on Design Specification and Verification of Interactive Systems, pp. 148-166, 1999.

7. B. Beizer, Software Testing Techniques, New York:Van Nostrand Reinhold, 1990.

8. L. Blair, "Formal specification and verification of multimedia systems in open distributed processing", Computer Standards and Interfaces, vol. 17, pp. 413-436, 1995.

9. G. S. Blair, J.-B. Stefani, Open Distributed Processing and Multimedia, Addison-Wesley, 1998.

10. H. Bowman, C. S. Blair, L. Blair, A. G. Chetwynd, "Time versus abstraction to formal description", IFIP Transactions C: Communication Systems, vol. C-22, pp. 467-481, 1994.

11. R. Cardell-Oliver, "Conformance testing of real-time systems with timed automata", Formal Aspects of Computing, vol. 12, no. 4, pp. 350-371, 2000.

12. D. L. S. Chan, S. T. Chanson, "Scalability support for multiparty multimedia communications", Multimedia Systems, vol. 6, no. 2, pp. 75-87, Mar. 1998.

13. S. C. Cheung, J. Kramer, "Checking safety properties using compositional reachability analysis", ACM Trans. Software Engineering and Methodology, vol. 8, no. 1, pp. 49-78, January 1999.

14. S. C. Cheung, S. T. Chanson, "A model-based authorware for the construction of distributed multimedia systems", Information and Software Technology, vol. 41, no. 11????, pp. 715-727, Aug. 1999.

15. S. C. Cheung, S. T. Chanson, Z. Xu, "Toward generic timing tests for distributed multimedia software systems", Proc. 12th Int. Symp. Software Reliability Engineering, pp. 210-220, 2001.

16. C.-M. Chung, T. K. Shih, "On automatic generation of multimedia presentations", Inform. Sci., vol. 97, no. 3‖, pp. 293-321, April 1997.

17. W. J. Conover, Practical Nonparametric Statistics, New York:Wiley, 1980.

18. J.-P. Courtiat, R. C. de Oliveira, "A reachability analysis of RT-LOTOS specifications", Proc. IFIP TC6 Eighth Int. Conf. Formal Description Techniques, pp. 117-124, 1995-Oct.

19. D. K. Fibush, "Testing multimedia transmission systems", IEEE Design and Test of Computers, vol. 12, no. 4, pp. 34-44, 1995.

20. "ISO International Standard 9646-2", Information Technology̵Open Systems Interconnection̵Conformance Testing Methodology and Framework Parts 2: Abstract Test Suite specification.

21. IWPTS/TESTCOM Annual IFIP workshop on Protocol Test Systems (IWPTS) started in 1988 the workshop was renamed IFIP International Workshop on Testing of Communicating Systems (IWTCS) in 1996 and became the IFIP International Conference on Testing of Communicating Systems (TESTCOM) in 2000.

22. F. Jahanian, A. K. Mok, "Safety analysis of timing properties in real-time systems", IEEE Trans. Software Engineering, vol. 12, no. 9, pp. 890-904, September 1986.

23. Java Media Framework (JMF), [online] Available: .

24. S. K. Kachigan, Multivariate Statistical Analysis, New York:Radius Press, 1991.

25. S. Kim, H. Bae, K. Jun, "A formal TTCN-based protocol testing for intelligent network", Proc. 3rd IEEE Symp. Computers and Communications ISCC'98, pp. 205-209, 1998.

26. M. C. Kim, S. T. Chanson, "Design for testability of protocols based on formal specifications", Proc. 8th Int. IFIP Workshop on Protocol Test Systems, pp. 257-270, 1995-September.

27. F. Kristoffersen, T. Walter, "TTCN: toward a formal semantics and validation of test suites", Computer Networks and ISDN Systems, vol. 29, no. 1, pp. 15-47, December 1996.

28. D. Lee, M. Yannakakis, "Principles and methods of testing finite state machines̵a survey", Proc. IEEE, vol. 84, pp. 1090-1123, August 1996.

29. T. D. C. Little, A. Ghafoor, "Synchronization and storage models for multimedia objects", IEEE J. Select. Areas Commun., vol. 8, no. 3, pp. 413-427, 1990.

30. E. Martins, S. B. Sabiao, A. M. Ambrosio, "ConData: a tool for automating specification-based test case generation for communication systems", Software Quality Journal, vol. 8, no. 4, pp. 303-320, Dec. 1999.

31. V. B. Misic, S. T. Chanson, S. C. Cheung, "Toward a framework for testing distributed multimedia software systems", Proc. Int. Symp. Software Engineering for Parallel and Distributed Systems, pp. 72-81, 1998.

32. B. Nielsen, Test generation for real-time systems/conformance testing Specification and Test of Real-Time Systems, April 2000

33. K. P. Parker, "The impact of boundary scan on board test", IEEE Design and Test of Computers, vol. 6, no. 4, pp. 18-30, Aug. 1989.

34. B. Prabhakaran, S. V. Raghavan, "Synchronization models for multimedia presentation with user participation", Proc. ACM Multimedia'93, pp. 157-166, 1993-Aug.

35. PSTV Annual IFIP International Symposium on Protocol Specification Testing and Verification started in 1981 the conference merged with another IFIP conference on formal description techniques (FORTE) and is known as FORTE/PSTV since 1997.

36. Y. S. Ramakrishna, "Interval logics and their decision procedures I̵an interval logic", Theoretical Computer Science, vol. 166, no. 1—, pp. 1-47, October 1996.

37. Y. S. Ramakrishna, "Interval logics and their decision procedures II̵a real-time interval logic", Theoretical Computer Science, vol. 170, no. 1—, pp. 1-46, Dec. 1996.

38. C. A. S. Santos, "Design methodology and formal validation of hypermedia documents", Proc. 6th ACM International Multimedia Conference (ACM Multimedia'98), pp. 39-48, 1998-Sept.

39. B. Sarikaya, Principles of Protocol Engineering and Conformance Testing, New York:Ellis Horwood, 1993.

40. W. Schutz, "Fundamental issues in testing distributed real-time systems", Real-Time Systems, vol. 7, no. 2, pp. 129-157, Sept. 1994.

41. P. Senac, P. de Saqui-Sannes, R. Willrich, "Hierarchical time stream Petri net: a model for hypermedia systems", Proc. 16th Int. Conf. Application and Theory of Petri Nets, pp. 451-470, 1995-June.

42. SMIL Specification, [online] Available: .

43. A. Stuart, J. K. Ord, Advanced Theory of Statistics, New York:Halsted Press, 1994.

44. J. Tretmans, "Test generation with inputs outputs and repetitive quiescence", Software̵Concepts and Tools, vol. 17, no. 3, pp. 103-120, 1996.

45. A. Petrenko, N. Yevtushenko, "Test architectures for distributed systems̵state of the art and beyond" in Testing of Communicating Systems, Chapman and Hall, vol. 11, Sept. 1998.

46. T. Walter, J. Grabowski, "A framework for the specification of test cases for real-time distributed systems", Information and Software Technology, vol. 41, no. 11????, pp. 781-798, Aug. 1999.

47. H. K. Wang, J.-L. C. Wu, "Interactive hypermedia applications: a model and its implementation", Software Practice and Experience, vol. 25, no. 9, pp. 1045-1063, 1995.

48. J. Wegener, "Testing real-time systems using genetic algorithms", Software Quality Journal, vol. 6, no. 2, pp. 127-135, June 1997.

49. A. C. Y. Wong, "A framework for distributed object-oriented testing", Formal Description Techniques and Protocol Specification Testing and Verification. Proceedings of FORTE X/PSTV XVII'97. IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), pp. 39-56, 1997.

50. X-Smiles, [online] Available: .

51. Z. Xu, A Generic Timing Test Framework for Multimedia Software Testing, 2001.

52. J. Yu, Y. Xiang, "Hypermedia presentation and authoring system", Computer Networks and ISDN Systems, vol. 29, no. 8????, pp. 875-886, Sept. 1997.

53. J. Zhang, S. C. Cheung, "Automated test case generation for the stress testing of multimedia systems", Software̵Practice and Experience, vol. 32, pp. 1-25, 2003.

54. R. E. Ziemer, W. H. Tranter, Principles of Communications̵Systems Modulation and Noise, Houghton Mifflin Company, 1990.

39)
Possibilistic clustering ofgenericshapes derived from templates

Tsaipei Wang

2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)Year: 2008
Pages:1721- 1728IEEE Conferences

1. J.C. Bezdek, Pattern Recognition with Fuzzy Objective Function Algorithms, New York: Plenum, 1981.

2. I. Gath and A.B. Geva, "Unsupervised optimal fuzzy clustering", IEEE Trans. PAMI, vol. 11, pp. 773-781, 1989.

3. R. Krishnapuram and J.M. Keller, "A possibilistic approach to clustering", IEEE. Trans. Fuzzy Systems, vol. 1, pp. 98-110, 1993.

4. M.S. Yang and K.L. Wu, "Unsupervised possibilistic clustering", Pattern Recognition, vol. 39, pp. 5-21, 2006.

5. R.N. Dave, "Fuzzy shell-clustering and application to circle detection in digital images", Int. J. Gen. Syst., vol. 16, pp. 343-355, 1990.

6. Y.H. Man and I. Gath, "Detection and separation of ring-shaped clusters using fuzzy clustering", IEEE Trans. PAMI, vol. 16, pp. 855-861, 1994.

7. R. Krishnapurum, O. Nasraoui, and H. Frigui, "The fuzzy c spherical shells algorithm: A new approach", IEEE Trans. Neural Networks, vol. 3, pp. 663-671, 1992.

8. H. Frigui and R. Krishnapuram, "A comparison of fuzzy shell clustering methods for the detection of ellipses", IEEE Trans. Fuzzy Systems, vol. 4, pp. 193-199, 1996.

9. R. Krishnapurum, H. Frigui, and O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation - Part I", IEEE. Trans. Fuzzy Systems, vol. 3, pp.2943, 1995.

10. R. Krishnapurum, H. Frigui, and O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation - Part II", IEEE. Trans. Fuzzy Systems, vol. 3, pp. 44-60, 1995.
 
11. I. Gath and D. Hoory, "Fuzzy clustering of elliptic ring-shaped clusters", Pattern Recognition Letters, vol. 16, pp. 727-741, 1995.

12. F. Hoeppner, "Fuzzy shell clustering algorithms in image processing: fuzzy c-rectangular and 2-rectangular shells", IEEE Trans. Fuzzy Syslems, vol. 5, 599-613, 1997.

13. X.-B. Gao, W.-X. Xie, J.-Z. Liu, and J. Li, "Template based fuzzy c-shells clustering algorithm and its fast implementation", Proc. IEEE Int'l Conf. Signal Processing, pp. 1269-1272, 1996.

14. I. Gath and D. Hoory, "Detection of elliptic shells using fuzzy clustering: application to MRI images", Proc. Int'l Conf. Pattern Recognition, vol. 2, pp. 251-255, 1994.

15. M. Barni, A. Mecocci, and L. Perugini, "Craters detection via possibilistic shell clustering", Proc. IEEE lnt'l Conf. Image Processing, vol. 2, pp. 720-723, 2000

16. S. Delbò, P. Gamba, and D. Roccato, "A fuzzy shell clustering approach to recognize hyperbolic signatures in subsurface radar images", IEEE Trans. Geoscience and Remote Sensing, vol. 38, pp. 1447-1451, 2000.

17. T. Wang, "Possibilistic c-template clustering and its application in object detection in images", Lecture Notes on Computer Science, vol. 4139, pp. 383-392, 2006.

40)
A Parallel Skeleton Library for Multi-core ClustersYuki Karasawa;Hideya Iwasaki2009 International Conference on Parallel ProcessingYear: 2009
Pages:84- 91Cited by:Papers (7)IEEE Conferences

cci, M. Danelutto, P. Teti, "An advanced environment supporting structured parallel programming in Java", Future Gener. Comput. Syst., vol. 19, no. 5, pp. 611-626, 2003.

2. M. Alind, M.V. Eriksson, C.W. Kessler, "BlockLib: a skeleton library for Cell Broadband Engine", Proc. 1st International Workshop on Multicore Software Engineering (IWMSE 2008), pp. 7-14, 2008.

3. R. Backhouse, An exploration of the Bird-Meertens formalism, Abeland:STOP Summer School on Constructive Algorithmics, 1989.

4. A. Benoit, M. Cole, J. Hillston, A. Gilmore, "Flexible skeletal programming with eSkel", Proc. 11th International Euro-Par Conference (Euro-Par 2005), vol. 3648, pp. 761-770, 2005.

5. S. Chiba, "A metaobject protocol for C++", Proc. ACM Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA 1995), pp. 285-299, 1995.

6. M. Cole, Algorithmic skeletons: a structured approach to the management of parallel computation, Pitman:Research Monographs in Parallel and Distributed Computing, 1989.

7. M. Cole, "Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming", Parallel Comput., vol. 30, no. 3, pp. 389-406, 2004.

8. J. Dean, S. Ghemawat, "MapReduce: simplified data processing on large clusters", Proc. 6th Symposium on Operating System Design and Implementation (OSDI2004), pp. 137-150, 2004.

9. K. Emoto, Z. Hu, K. Kakehi, M. Takeichi, "A compositional framework for developing parallel programs on two-dimensional arrays", International Journal of Parallel Programming, vol. 35, no. 6, pp. 615-658, 2007.

10. J. Falcou, J. Serot, T. Chateau, J.T. Lapreste, J.T., "QUAFF: efficient C++ design for parallel skeletons", Parallel Comput., vol. 32, pp. 7-8, 2006.

11. M. Frigo, C.E. Leiserson, K.H. Randall, "The implementation of the Cilk-5 multithreaded language", Proc. ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI 1998), pp. 212-223, 1998.

12. A. Ghuloum, T. Smith, G. Wu, X. Zhou, J. Fang, P. Guo, B. So, M. Rajagopalan, Y. Chen, B. Chen, "Future-proof data parallel algorithms and software on Intel multi-core architecture", Intel Technology Journal, vol. 11, no. 4, pp. 333-347, 2007.

13. [online] Available: http://hadoop.apache.org/core/.

14. Intel Threading Building Blocks 2.1., [online] Available: http://www.threadingbuildingblocks.org/.

15. H. Kuchen, "A skeleton library", Proc. 8th International Euro-Par Conference (Euro-Par 2002), vol. 2400, pp. 620-629, 2002.

16. K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu, "A library of constructive skeletons for sequential style of parallel programming", Proc. 1st International Conference on Scalable Information Systems (InfoScale 2006), 2006.

17. K. Matsuzaki, Z. Hu, M. Takeichi, "Parallel skeletons for manipulating general trees", Parallel Comput., vol. 32, pp. 7-8, 2006.

18. M.D. McCool, "Data-parallel programming on the Cell BE and the GPU using the RapidMind development platform", GSPx Multicore Applications Conference, 2006.

19. N. Nethercote, J. Seward, "Valgrind: a framework for heavyweight dynamic binary instrumentation", Proc. ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 89-100, 2007.

20. FA. Rabhi, S.G. Gorlatch, Patterns and Skeletons for Parallel and Distributed Computing, Springer-Verlag, 2002.

21. C. Ranger, R. Raghuraman, A. Penmetsa, G.R. Bradski, C. Kozyrakis, "Evaluating MapReduce for multi-core and multiprocessor systems", Proc. 13th International Symposium on High-Performance Computer Architecture (HPCA 2007), pp. 13-24, 2007.

22. Raytracing Program, [online] Available: http://www-cg.cis.iwate-u.ac.jp/lab/download/.

23. SkeTo Project, [online] Available: http://www.ipl.t.u-tokyo.ac.jp/sketo/.



09:35 | 投票する | 投票数(0) | コメント(0)
2018/12/28

IEEE C++ template generic 63 papers(2) 13-256

Tweet ThisSend to Facebook | by kaizen
IEEE C++ template generic 63 papers(1) 1-12
IEEE C++ template generic 63 papers(2) 13-26
IEEE C++ template generic 63 papers(3) 27-40
IEEE C++ template generic 63 papers(4) 41-55
IEEE C++ template generic 63 papers(5) 56-63

13)
TEMPeRA:TEmplatemassively PaRAllel library for efficient n-dimensional signal processingRiccardo Zanella;Francesco Ceccon2014 International Conference on High Performance Computing & Simulation (HPCS)Year: 2014
Pages:643- 650IEEE Conferences

1. AMD, AMD "Close to Metal" Technology Unleashes the Power of Stream Computing, 2006, http://www. amd. com/us/pressreleases/ Pages/Press Release 114147. aspx

2. K. Rupp, F. Rudolf, J. Weinbub, ViennaCL-A High Level Linear Algebra Library for GPUs and Multi-Core CPUs, 2010, Intl. Workshop on GPUs and Scientific Applications

3. T. L. Veldhuizen, Expression templates, 1995 C++ Report, Vol 7, N 5

4. OpenCV, 2013 http://opencv. org/

5. D. Tschumperlé, The CImg Library-C++ Template Image Processing Toolkit, 2013 http://cimg. sourceforge. net/

6. J. Hoberock, N. Bell, Thrust-Parallel Algorithms Library, 2013 http://thrust. github. io/

7. Numerix-DSP, http://www. numerix-dsp. com/siglib. html

8. A. Alexandrescu, Modern C++ Design: Generic Programming and Design Patterns Applied, 2001, Addison-Wesley Longman Publishing Co.

9. M. Frigo S. G. Johnson, The Design and Implementation of FFTW3, 2005, Proceedings of the IEEE, Vol. 93, http://www. fftw. org/

10. H. W. Richardson, Bayesian-Based Iterative Method of Image Restoration, 1972, Journal of the Optical Society of America, Vol. 62

11. L. B. Lucy, An iterative technique for the rectification of observed distributions, 1974, The Astronomical Journal, Vol. 79

12. M. Bertero, P. Boccacci, Introduction to Inverse Problems in Imaging, 1998, Institute of Physics Publishing, Bristol and Philadelphi

13. clMath, https://github. com/clMathLibraries

14)
How templates enable high-performance scientific computing inC++S. Haney;J. CrotlingerComputing in Science & EngineeringYear: 1999,Volume: 1,Issue:4
Pages:66- 72Cited by:Papers (5)IEEE Journals & Magazines

1. B. Stroustrup, The C++ Programming Language, New York,, 1997.

2. M.H. Austern, Generic Programming and the STL: Using and Extending the C++ Standard Template Library, 1999.

3. E. Gamma, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

4. B. Meyer, Object-Oriented Software Construction, New York,, 1997.

5. T.L. Veldhuizen, "Using C++ Template Metaprograms", C++ Report, pp. 36-43, May 1995.

6. T.L. Veldhuizen, D. Gannon, "Active Libraries: Rethinking the Roles of Compilers and Libraries".

7. M. Zander, "Component Architecture of the Tecolote Framework", Lecture Notes in Computer Science, pp. 183, 1998.

8. S. Karmesin, "Array Design and Expression Evaluation in Pooma II", Lecture Notes in Computer Science, pp. 231, 1998.

9. S. Haney, "PETE: The Portable Expression Template Engine", Dr. Dobb's Journal..

10. N. Myers, "A New and Useful Template Technique: Traits", C++ Gems, pp. 451, 1996.

15)
C++: an evolving language

S.P. Levitt

2004 IEEE Africon. 7th Africon Conference in Africa (IEEE Cat. No.04CH37590)Year: 2004,Volume: 2
Pages:1197- 1202 Vol.2Cited by:Patents (2)IEEE Conferences

1. 2004, [online] Available: http://www.boost.org/.

2. M H Austem, Generic Programming and the STL, Berkeley, California:Addison Wesley Longman, 1999.
 
3. S. Meyers, Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library, Berkeley, California:Addison Wesley Longman, 2001.

4. B. Stroustrup, "Learning standard C++ as a new language", The C/C++ Users Journal, May 1999, [online] Available: http://www.research.att.com/~bs/new_learnigng.pdf.

5. S. B. Lippman, J. Lajoie, C++Primer, Berkeley, California:Addison Wesley Longman, 1998.

6. A. Koenig, B. E. Moo, B. Stroustrup, Accelerated C++, Boston:Addison-Wesley, 2000.

7. B. Stroustrup, The C++ Programming Language: Special Edition, Boston:Addison-Wesley, 2000.

8. S. Meyers, More Effective C++, Berkeley, California:Addison Wesley Longman, 1996.

9. H. Sutter, "Using auto_ptr effectively", C/C++ Users Journal, vol. 17, no. 10, oct 1999.

10. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Boston:Addison-Wesley, 1995.
 
11. H. Sutter, "The group of seven: Extensions under consideration for the C++ standard library", C/C++ Users Journal, vol. 20, no. 4, apr 2002.

12. R. Garcia, J. Jrvi, A. Lumsdaine, J. Sieka, J. Willoock, "A comparative study of language support for generic programming", Proceedings of OOPSLA, pp. 115-134, 

13. 2003, [online] Available: http://research.microsoft.com/projects/clrgen/.

14. J2SE 1.5.0 beta 1. Sun Microsystems, 2004, [online] Available: http://java.sun.com/j2se/l.5.0/index.jsp.

15. A Gurtovoyi, D. Abrahams, 2002, [online] Available: http://www.boost.org/libs/mpl/doc/paper/html/index.html.

16. A gentle introduction to template metaprogramming with C++, The Code Project, 2003, [online] Available: http://www.codeproject.com/cpp/crc_meta.asp.

17. 2001, [online] Available: http:/www.boost.org/libs/type_traits/.

18. A Gurtovoy, D. Abrahams, E. Winch, 2002, [online] Available: http:/www.boost.org/libs/mpl/doc/.

19. J. Maddock, S. Cleary, C++ type traits, 2000, [online] Available: http://www.boost.org/libs/type_traits/c++_type_traits.htm.

20. A Alexandrescu, B. Stroustrup, Modern C++ Design: Generic Programming and Design Patterns Applied, boston:Addison-Wesley, 2001.

21. B1itz++: Object-oriented scientific Computing, 2003, [online] Available: http://www.oonumerics.org/blitz/.

22. T. L. Veldhuizen, "Arrays in Blitz++", Proceedings of the 2nd International Scienttfic Computing in Object-Oriented Parallel Environments (ISCOPE'98), 1998.

23. Loki. SourceForge, 2003, [online] Available: http://sourceforge.net/projects/loki-lib/.

24. H Sutter, "C++ conformance roundup", C/C++ Users Journal, apr 2001, [online] Available: http://www.cuj.com/documents/s=8191/cuj0104sutter/.
 
25. H Sutter, "Standard C++ meets managed C++", C/C++ Users Journal, vol. 20, no. 9, sep 2002.

26. S. B. Lippman, The revised C++ language design supporting .NET - part 1. Stanley Lippman's Blog, November 2003, [online] Available: http://blogs.msdn.com/slippman/archive/2003/11/26/58433.aspx.

27. Managed extensions for C++ programming, Microsoft Developer Network (MSDN), 2004, [online] Available: http://msdn.microsoft_com/library/default.asp?url=/library/en-us/vcmex/html/vcconMCOvcrview.asp.

28. Microsoft developer tools roadmap 2004-2005, 2004, [online] Available: http://msdn.microsoft.com/vstudio/productinfo/roadmap.aspx.
 
29. 2004, [online] Available: http://www.python.org/.

30. Simplified Wrapper and Interface Generator, 2004, [online] Available: http://www.swig.org/.

31. 2004, [online] Available: http://www.riverbankcomputing.co.uk/sip/index.php.

32. D. Abrahams, 2003, [online] Available: http://www.boost.org/libs/python/doc/.

33. ECMA international moves to standardize C++ binding for CLI, 2003, [online] Available: http://www.ecma-international.org/news/ecma-TG5-PR.htm.

34. 2004, [online] Available: http://www.go-mono.com/.

35. 2004, [online] Available: http://wwwdotgnu.org/.


16)
EnrichingC-based High-Level Synthesis with parallel pattern templatesLana Josipovic;Nithin George;Paolo Ienne2016 International Conference on Field-Programmable Technology (FPT)Year: 2016
Pages:177- 180Cited by:Papers (2)IEEE Conferences



1. Implementing FPGA design with the OpenCL standard. Technical report Altera Corporation, Nov. 2013.

2. A. Canis, J. Choi, M. Aldham, V. Zhang, A. Kammoona, T. Czajkowski, S. D. Brown, J. H. Anderson, "LegUp: An open-source high-level synthesis tool for FPGA-based processor/accelerator systems", Trans. on Embedded Computing Systems, vol. 13, no. 2, pp. 24:1-24:27, Sept. 2013.
 
3. N. George, H. Lee, D. Novo, T. Rompf, K. Brown, A. Sujeeth, M. Odersky, K. Olukotun, P. Ienne, "Hardware system synthesis from domain-specific languages", Proc. of the 24th Int. Conference on Field-Programmable Logic and Appl., pp. 1-8, Sept. 2014.

4. J. Matai, D. Lee, A. Althoff, R. Kastner, "Composable parameterizable templates for high level synthesis", Proc. of the Design Automation and Test in Europe Conference and Exhibition, Mar. 2016.

5. C/C++ Language and Standard Libraries, 2015.

6. A. Papakonstantinou, K. Gururaj, J. A. Stratton, D. Chen, J. Cong, W. M. W. Hwu, "FCUDA: Enabling efficient compilation of CUDA kernels onto FPGAs", Proc. of the 7th IEEE Symposium on Application Specific Processors, pp. 35-42, July 2009.

7. R. Prabhakar, D. Koeplinger, K. J. Brown, H. Lee, C. D. Sa, C. Kozyrakis, K. Olukotun, "Generating configurable hardware from parallel patterns", Proc. of the 21st International Conference on ArchitecturalSupport for Programming Languages and Operating Systems, Apr. 2016.

8. K. Rupnow, Y. Liang, Y. Li, D. Chen, "A study of high-level synthesis: Promises and challenges", Proceedings of the 9th IEEE International Conference on ASIC, pp. 1102-1105, Oct. 2011.
 
9. SDAccel Development Enviroment.

10. Vivado High-Level Synthesis.


17)
Automatically identifyingC++0x concepts in function templatesAndrew Sutton;Jonathan I. Maletic2008 IEEE International Conference on Software MaintenanceYear: 2008
Pages:57- 66Cited by:Papers (3)IEEE Conferences

1. Collard, M. L., Kagdi, H. H., and Maletic, J. I., "An XML-Based Lightweight C++ Fact Extractor", in Proceedings of 11th IEEE International Workshop on Program Comprehension (IWPC'03), Portland, OR, May 10-11 2003, pp. 134-143.

2. Dean, T. R., Malton, A. J., and Holt, R. C., "Union Schemas as a Basis for a C++ Extractor", in Proceedings of Eighth Working Conference on Reverse Engineering (WCRE'01), Stuttgart, Germany, October 2-5 2001, pp. 59-70.

3. Donovan, A., Kiežun, A., Tschantz, M. S., and Ernst, M. D., "Converting Java Programs to Use Generic Libraries", SIGPLAN Notices, vol. 39, no. 10, Oct, 2004 2004, pp. 15-34.

4. Eisenbarth, T., Koschke, R., and Simon, D., "Derivation of Feature Component Maps by means of Concept Analysis", in Proceedings of Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, March 14 - 16 2001, pp. 176-179.

5. Ferenc, R., Magyar, F., Beszedes, A., Kiss, A., and Tarkiainen, M., "Columbus - Tool for Reverse Engineering Large Object Oriented Software Systems", in Proceedings of SPLST 2001, June 2001 2002, pp. 16-27.

6. Gregor, D., J ärvi, J., Siek, J., Stroustrup, B., Dos Reis, G., and Lumsdaine, A., "Concepts: Linguistic Support for Generic Programming in C++", in Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming, Systemls, Languages, and Applications (OOPSLA'06), Portland, Oregon, Oct 22-26 2006, pp. 291-310.

7. Gregor, D. and Schupp, S., "STLlint: Lifting Static Checking from Languages to Libraries", Software: Practice and Experience, vol. 36, no. 3, Mar 2006 2005, pp. 225-254.

8. Gshwind, T., Pinzger, M., and Gall, H., "TUAnalyzer - Analyzing Templates in C++ Code", in Proceedings of 11th Working Conference on Reverse Engineering, Delft, The Netherlands, Nov 8-12, 2004 2004, pp. 48-57.

9. Kraft, N., Malloy, B., and Powers, J., "A Tool Chain for Reverse Engineering C++ Applications", Science of Computer Programming, vol. 69, no. 1-3, Dec, 2007 2007, pp. 3-13.

10. Milner, R., "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, vol. 17, no. 3, 1978, pp. 348-375.

11. Siek, J. and Lumsdaine, A., "Language Requirements for Large-scale Generic Libraries", in Proceedings of 4th International Conference on Generative Programming and Component Engineering (GPCE'05), Tallinn, Estonia, Sep 29-Oct 1, 2005 2005, pp. 405-421.

12. Siff, M. and Reps, T., "Program Generalization for Software Reuse", in Proceedings of 4th ACM SIGSOFT Symposium on Foundations of Software Engineering (SIGSOFT'96), San Francisco, California, Oct 16-18, 1996 1996, pp. 135-146.

13. Snelting, G., "Reengineering of Configurations based on Mathematical Concept Analysis", ACM Transactions on Software Engineering and Methodology, vol. 5, no. 2, April, 1996 1996, pp. 146-189.
14. Snelting, G., "Concept Lattices in Software Analysis", in Formal Concept Analysis: Foundations and Applications, Gantner, B., Stumme, G., and Wille, R., Eds., 2005, pp. 272-287.

15. Sutton, A. and Maletic, J. I., "How We Manage Portability and Configuration with the C Preprocessor", in Proceedings of 23rd International Conference on Software Maintenance (ICSM'07), Paris, France, Oct 2-5, 2007 2007, pp. 275-284.

16. Sutton, A. and Maletic, J. I., "Recovering UML Class Models from C++: A Detailed Explanation", Information and Software Technology, vol. 49, no. 3, Jan 2007 2007, pp. 212-229.

17. Zalewski, M. and Schupp, S., "Changing Iterators with Confidence: A Case Study of Change Impact Analysis Applied to Conceptual Specifications", in Proceedings of Workshop on Library-centric Software Design (LCSD'05), San Diego, California, Oct 16, 2005 2005.

18. Zalewski, M. and Schupp, S., "Change Impact Analysis for Generic Libraries", in Proceedings of 22nd Conference on Software Maintenance (ICSM'06), Philadelphia, PA, Sep 24-27, 2006 2006, pp. 35-44.

18)
Implementation of the SEMI 'GenericEquipment Model' using object-based cell technologyJ.R. DeBolt;C.R. Wickizer1991 Proceedings IEEE/SEMI International Semiconductor Manufacturing Science SymposiumYear: 1991
Pages:102- 105
Cited by:Papers (1)|Patents (3)
IEEE Conferences

1. "Object-Based Cell" is a trademark of PROMIS Systems Corporation, Toronto, Canada
2. D. A. Hodges, "Quality and Productivity in Semiconductor Manufacturing", SEMI, 1991-February-27.

3. "RS/1" is a trademark of BBN Software Products Corporation, Cambridge, Mass.

4. P. Coad, E. Yourdon, Object Oriented Analysis, New Jersey, Englewood Cliffs:Prentice Hall, 1991.


5. SEMI SITF Generic Equipment Model for Effective Factory Automation, CA, Mountain View:SEMI, May 1990.

19)
Change Impact Analysis forGenericLibrariesMarcin Zalewski;Sibylle Schupp2006 22nd IEEE International Conference on Software MaintenanceYear: 2006
Pages:35- 44Cited by:Papers (5)IEEE Conferences


1. Standard Template Library Programmer's Guide. http://www.sgi.com/tech/ stl/.

2. S. Bates and S. Horwitz. Incremental program testing using program dependence graphs. In Proc. 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 384-396. ACM Press, 1993.

3. L. Briand, Y. Labiche, and L. O'Sullivan. Impact analysis and change management of UML models. In Proc. 19th International Conference on Software Maintenance (ICSM), pages 256-265. IEEE Computer Society, 2003.

4. G. Dos Reis and B. Stroustrup. Specifying C++ concepts. In Proc. 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 295-308. ACM Press, 2006.

5. M. J. Fyson and C. Boldyreff. Using application understanding to support impact analysis. Software Maintenance: Research and Practice, 10(2):93-110, 1998.

6. GrammaTech. Pathinspector. http://www.grammatech.com/products/codesurfer.
 
7. D. Gregor. ConceptGCC: Concept extensions for C++. http://www.generic- programming.org/software/ConceptGCC/.
 
8. D. Gregor, J. Järvi, J. Siek, A. Lumsdaine, G. D. Reis, and B. Stroustrup. Concepts: First-class language support for generic programming. In Proc. 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct. 2006.

9. D. Gregor and J. Siek. Implementing concepts. Technical Report N1848=05-0108, ISO/TEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, 2005.

10. D. Gregor, J. Siek, J. Willcock, J. Jarvi, R. Garcia, and A. Lumsdaine. Concepts for C++0x (revision 1). Technical Report N1849=05-0109, ISO/TEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, 2005.

11. J. Han. Supporting impact analysis and change propagation in software engineering environments. In Proc. 8th IEEE International Workshop on Software Technology and Engineering Practice Incorporating Computer Aided Software Engineering, pages 172-182. IEEE Computer Society, 1997.

12. J. Heflin and J. A. Hendler. Dynamic ontologies on the web. In Proc. of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence (AAAI/IAAI), pages 443-449. AAAI Press / The MIT Press, 2000.

13. S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proc. 14th International Conference on Software Engineering (ICSE), pages 392-411. ACM Press, 1992.
 
14. ISO/JEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++. C++ Standard Draft, N1804=05-0064, ANSI standards for information technology edition, 2003.

15. D. Kapur and D. Musser. Tecton: a framework for specifying and verifying generic system components. Technical Report RPI-92-20, Department of Computer Science, Rensselaer Polytechnic Institute, 1992.

16. D. Kung, J. Gao, P. Hsia, R Wen, Y. Toyoshima, and C. Chen. Change impact identification in object oriented software maintenance. In Proc. International Conference on Software Maintenance (ICSM), pages 202-211. IEEE Computer Society, 1994.

17. D. R. Musser, G. J. Derge, and A. Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison Wesley, 2nd edition, 2001.

18. J. Siek. Improved iterator categories and requirements. Technical Report J16/01-0011 = WG21 N1297, ISO/JEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Mar. 2001.

19. J. Siek, D. Abrahams, and T. Witt. New iterator concepts. Technical Report N1640=04-0080, ISO/JEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Apr. 2004.
 
20. J. Siek, D. Gregor, R. Garcia, J. Willcock, J. Järvi, and A. Lumsdaine. Concepts for C++ Ox. Technical Report N1758=05-0018, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Jan. 2005.

21. J. Siek and A. Lumsdaine. Essential language support for generic programming. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 73-84. ACM Press, 2005.

22. A. Stepanov and M. Lee. The Standard Template Library. Technical Report HPL-95-11, Hewlett Packard, Nov. 1995.

23. B. Stroustrup and G. Dos Reis. A concept design (rev.1). Technical Report N1782=05-0042(rev.1), ISO/JEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Apr. 2005.

24. H. Sutter. vector〈bool〉 is nonconforming, and forces optimization choice. Technical Report J16/99-0008 = WG21 N1185, ISO/JEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Feb. 1999.

25. P. Tonella. Using a concept lattice of decomposition slices for program understanding and impact analysis. IEEE Trans. Software Eng., 29(6):495-509, June 2003.

26. J. Willcock, J. Järvi, A. Lumsdaine, and D. Musser. A formalization of concepts for generic programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit. Adobe Systems, 2004.

27. A. Zeller. Isolating cause-effect chains from computer programs. In Proc. 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 1-10. ACM Press, 2002.


20)
Out from under the trees [linear filetemplate]C. Jermaine;E. Omiecinski;Wai Gen YeeProceedings 18th International Conference on Data EngineeringYear: 2002
Page :265IEEE Conferences


1. N. Beckmann, H.-P. Kriegel, R. Schneider, B. Seeger, "The R*-tree: An efficient and robust access method for points and rectangles", SIGMOD Conference 1990, pp. 322-331, 1990.

2. J.M. Hellerstein, J.F. Naughton, A. Pfeifer, "Generalized search trees for database systems", VLDB 1995, pp. 562-573, 1995.

3. C. Jermaine, E. Omiecinski, W.G. Yee, "Maintaining a large spatial database with T2SM", ACM GIS Conference 2001, pp. 121-127, 2001.

21)
Mathematical function recognition and its visualization system based on Web

Feng Pan

2011 International Conference on Computer Science and Service System (CSSS)Year: 2011
Pages:1373- 1376Cited by:Papers (1)IEEE Conferences

Margret H Hoft, Hartmut F W Hoft. Computing with Mathematica. MA:Academic Press,2002.
Gary Rost Bradski, Adrian Kaehler. Learning OpenCV. O'Reilly Media,Inc.2008.
Jianxi Huang, Xiaofei Huang,Zhiping Zhang. Clear new language in technique graphics-Drawing expression method. Journal of Huabei electric power university.vol. 31, no.1, pp. 70-73, 2004(In Chinese).
Jiandong Zhao, Lin Jian. MATLAB Web-based decision support system research. Computer Applications, vol. 24,pp. 260-262, Dec, 2007(In Chinese).
Wenxin Chen, Jianbo Xiang, Jungang Chen. Web-based remote Matlab command window design and implementation. Computer Applications and Software, vol. 26, pp. 138-141, Feb, 2009(In Chinese).
H H Cheng. Ch: Interactive Teaching for cross-platform C / C + + to explain computing environment. Computer Education, no. 7, pp. 34-46, 2009.
Bing Guo, Yan Shen, Zili Shao. Green computing redefined with a number of [J]. Chinese Journal of Computers, Dec, 2009.
OpenGL ES 1.0 Reference Manual Version 1.0

22)
A framework for meshless methods usinggenericprogrammingNaísses Z. Lima;RenatoC. Mesquita;L. A. MarcosDigests of the 2010 14th Biennial IEEE Conference on Electromagnetic Field ComputationYear: 2010
Pages:1- 1Cited by:Papers (2)IEEE Conferences

1. G. R. Liu, Meshfree Methods – Moving Beyond the Finite Element Method, CRC Press, 2009.

2. G. F. Parreira, E. J. Silva, A. R. Fonseca, R. C. Mesquita, "The element-free galerkin method in 3-dimensional electromagnetic problems", IEEE Trans. Magn., vol. 42, no. 4, April 2005.

3. A. R. Fonseca, S. A. Viana, E. J. Silva, R. C. Mesquita, "Imposing boundary conditions in the meshless local Petrov-Galerkin method", IET Science Measur. & Tech., vol. 2, no. 6, pp. 387-394, Nov. 2008.

4. M. d. Berg, O. Cheong, M. v. Kreveld, M. Overmars, Computational Geometry – Algorithms and Applications, Springer, 2008.

5. E. Gamma, R. Helm, R. Johnson, J. Viissides, Design Patterns – Elements of Reusable Object-Oriented Software, Addison Wesley, 1994.

6. D. Vandevoorde, N. M. Josuttis, C++ Templates: The Complete Guide, Addison Wesley, 2002.

23)
A hybrid development platform for evolutionary multi-objective optimizationRuimin Shen;Jinhua Zheng;Miqing Li2015 IEEE Congress on Evolutionary Computation (CEC)Year: 2015
Pages:1885- 1892Cited by:Papers (2)IEEE Conferences

Simultaneous Statistics Inference
Book
Jan 1991
Rupert G. Jr. MillerRupert G. Jr. Miller

Scalable Test Problems for Evolutionary Multiobjective Optimization
Chapter
Mar 2006
Kalyanmoy DebKalyanmoy DebLothar ThieleLothar ThieleMarco LaumannsMarco LaumannsEckart ZitzlerEckart Zitzler

A Diversity Management Operator for Evolutionary Many-Objective Optimisation
Conference Paper
Apr 2009
Salem F. AdraSalem F. AdraPeter FlemingPeter Fleming

Radar Waveform Optimisation as a Many-Objective Application Benchmark
Conference Paper
Jan 2006
Evan HughesEvan Hughes

Enhancing Diversity for Average Ranking Method in Evolutionary Many-Objective Optimization
Conference Paper
Full-text available
Sep 2010
Miqing LiMiqing LiJinhua ZhengJinhua ZhengKe LiKe Li[...]Ruimin ShenRuimin Shen

The Plane with Parallel Coordinates
Article
Aug 1985The Visual Computer
Alfred InselbergAlfred Inselberg

Fogel, D.: An evolutionary approach to the traveling salesman problem. Biological Cybernetics 60, 139-144
Dec 1988Biological Cybernetics
David B. FogelDavid B. Fogel


Lecture Notes in Computer Science
Mar 2007
Tobias WagnerTobias WagnerNicola (Beume) HochstrateNicola (Beume) HochstrateBoris NaujoksBoris Naujoks

A Variant of Evolution Strategies for Vector Optimization
Article
Full-text available
Feb 1999
Frank KursaweFrank Kursawe

PISA --- A Platform and Programming Language Independent Interface for Search Algorithms
Oct 2003Lecture Notes in Computer Science
Stefan BleulerStefan BleulerMarco LaumannsMarco LaumannsLothar ThieleLothar ThieleEckart ZitzlerEckart Zitzler


24)
PACXX: Towards a Unified Programming Model for Programming Accelerators UsingC++14Michael Haidl;Sergei Gorlatch2014 LLVM Compiler Infrastructure in HPCYear: 2014
Pages:1- 11Cited by:Papers (6)IEEE Conferences

1. "Version 1.2" in The OpenCL Specification, Khronos OpenCL Working Group, 2012.

2. "CUDA C Programming Guide" in Version 6.5, Nvidia, 2014.

3. Programming Languages-C++ (Committee Draft), 2014, [online] Available: isocpp.org.

4. "C++ Amp: Language and Programming Model" in Version 1.0, Microsoft, 2012.

5. Jared Hoberock, Nathan Bell, "Thrust: A Parallel Template Library" in Version 1.6, Nvidia, 2014.

6. Version 1.2. AMD, 2014.

7. James C. Beyer et al., "OpenMP for Accelerators" in OpenMP in the Petascale Era, Springer, pp. 108-121, 2011.

8. "The OpenACC Application Programming Interface", Version 2.0a, 2013, [online] Available: openacc-standard.org.

9. Ping An et al., "STAPL: An Adaptive Generic Parallel C++ Library" in Languages and Compilers for Parallel Computing, Springer, pp. 193-208, 2003.

10. Chris Lattner, "LLVM and Clang: Next Generation Compiler Technology", The BSD Conference, pp. 1-2, 2008.

11. "The SPIR Specification" in Version 1.2, Khronos OpenCL Working Group, 2014.

12. "NVVM IR Specifications" in Version 1.1, Nvidia, 2014.

13. "The LLVM Compiler Infrastructure", 2014.

14. Michel Steuwer, Philipp Kegel, Sergei Gorlatch, "SkelCL-A Portable Skeleton Library for High-Level GPU Programming", Parallel and Distributed Processing Workshops and PhD Forum (IPDPSW) 2011 IEEE International Symposium, pp. 1176-1182, 2011.

15. CUDA Toolkit 6.5. Nvidia, 2013.

25)
Invited Talk: Functional Structural Plant Models - Case LIGNUMRisto Sievänen;Jari Perttunen;Eero Nikinmaa;Juan M. Posada2009 Third International Symposium on Plant Growth Modeling, Simulation, Visualization and ApplicationsYear: 2009
Pages:3- 9IEEE Conferences



1.. U. Breymann, "Designing Components with the C++ Stl. A New Apporoach to Programming" in , Harlow, England:Addison-Wesley, 1998.

2. P.-H. Cournéde, P. De Reffye, "Greenlab: A dynamical model of plant growth for environmental applications", ERCIM News, pp. 61, 2005.
 
3. P.-H. Cournède, M.-Z. Kang, A. Mathieu, J.-F. Barczi, H.-P. Yan, B.-G. Hu, P. de Reffye, "Structural factorization of plants to compute their functional and architectural growth", Simulation, vol. 82, no. 7, pp. 427-438, 2006.

4. T. Fourcaud, Z. Zhan, X. Zhang, H. Rey, D. Li, Y. Guo, P.-H. Cournède, P. De Reffye, "Study on the effects of defoliation on the growth of cotton plant using the functional structural model greenlab" in Plant growth Modeling simulation visualization and their Applications, Los Alamitos, California, 2008.
 
5. C. Godin, H. Sinoquet, "Functional-structural plant modelling", New Phytologist, vol. 166, no. 3, pp. 705-708, 2005.

6. T. Heikura, M. Terho, J. Perttunen, R. Sievänen, "A computer-based tool to link decay information to 3d architecture of urban trees", Urban Forestry & Urban Greening, vol. 7, pp. 233-239, 2008.

7. R. Hemmerling, O. Kniemeyer, W. Kurth, "The rule-based language xl and the modelling environment groimp illustrated with simulated tree competition", Functional Plant Biology, vol. 35, no. 9/10, pp. 739-750, 2008.

8. R. Karwowski, P. Prusinkiewicz, C. Godin, J. Hanan, W. Kurth, A. Lacointe, A. Takenaka, P. Prusinkiewicz, T. DeJong, C. Beveridge, B. Adndrieu, "The l-system based plant-modeling environment l-studio 4.0", Proceedings of the 4th International Workshop on Functional-Structural Plant Models (FSPM04), 2004.

9. W. Kurth, O. Kniemeyer, G. Buck-Sorlin, J.-P. Banâtre, P. Fradet, J.-L. Giavitto, O. Michel, "Relational growth grammars – a graph rewriting approach to dynamical systems with dynamical structure", Unconventional Programming Paradigms. International Workshop UPP 2004 Le Mont Saint Michel, vol. 3566, pp. 56-72, September 2004.

10. J. Perttunen, R. Sievänen, "Incoroprating linen-mayer systems for architectural development in a functional-structural tree model", Ecological Modelling, vol. 181, pp. 479-491, 2005.

11. J. Perttunen, R. Sievänen, E. Nikinmaa, "LIGNUM: A model combining the structure and the functioning of trees", Ecological Modelling, vol. 108, no. 1–3, pp. 189-198, 1998.

12. J. Perttunen, R. Sievänen, E. Nikinmaa, H. Salminen, H. Saarenmaa, J. Väkevä, "LIGNUM: A tree model based on simple structural units", Annals of Botany, vol. 77, no. 1, pp. 87-98, 1996.

13. J. M. Posada, R. Sievänen, J. Perttunen, C. Messier, E. Nikinmaa, P. Prusinkiewicz, J. Hanan, B. Lane, "Contribution of leaf orientation and leaf physiology to the maximization of plant carbon gain", Proceedings of the 5th International Workshop on Functional-Structural Plant Models. HortResearch, 2007.

14. C. Pradal, S. Dufour-Kowalski, F. Boudon, C. Fornier, C. Godin, "Openalea: a visual programming and component-based software platform for plant modelling", Functional Plant Biology, vol. 35, no. 9/10, pp. 751-760, 2008.

15. P. Prusinkiewicz, R. Karwowski, B. Lane, J. Vos, L. Marcelis, P. Visser, P. Struik, J. Evers, "The L+c plant modelling language" in Functional-Structural Plant Modelling in Crop Production, the Netherlands:Springer, vol. 22, pp. 27-42, 2007.

16. P. Prusinkiewicz, A. Lindenmayer, "The Algorithmic Beauty of Plants" in , New York:Springer-Verlag, 1990.
 
17. R. Sievänen, J. Perttunen, E. Nikinmaa, P. Kaitaniemi, "Toward extension of a single tree functional-structural model of scots pine to stand level: effect of the canopy of randomly distributed identical trees on development of tree structure", Functional Plant Biology, vol. 35, no. 9/10, pp. 964-975, 2008.

26)
Design patterns automation withtemplatelibraryS. Dascalu;Ning Hao;N. DebnathProceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005.Year: 2005
Pages:699- 705Cited by:Papers (3)IEEE Conferences




---

1. E. Gamma, R. Helm, R Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.

2. A. Bulka, John Noble, "Design Pattern Automation", Proceedings of the 3rd Asia-Pacific Conference on Pattern Languages of Programs, 2002.

3. OMG's UML Resource.

4. N. Josuttis, The C++ Standard Library: A Tutorial and Reference, Addison-Wesley, 1999.

5. G. Shepherd, B. King, Inside ATL, Microsoft Press, 1999.

6. H. Ning, Design Patterns Automation with Template Library, February 2005.

7. J. Coplien, "Object World Briefing on Design Patterns", AT&T Bell Labs Conf. Tutorial, 1994.

8. Coplien Form.

9. Log4j Open Source Resource Page.

10. I. Rammer, Advanced. NET Remoting in VB.NET, Apress, 2002.

11. S. Yacoub, H. Ammar, Pattern-Oriented Analysis and Design: Composing Patterns to Design Software Systems, Addison-Wesley, 2003.

12. F. Budinsky, M. Finnie, I. Vlissides, S. Yu, "Cogent: Automatic Code Generation from Design Patterns", IBM Technical Journal, vol. 35, no. 2, 1996.

13. Borland: Together Technologies.

14. PragSoft Corp.'s UMLStudio Resource.

15. ModelMaker Tools.

16. D. Vandevoorde, N. Josuttis, C++ Templates: The Complete Guide, Addison-Wesley, 2002.

17. A. Troelsen, C# and the. NET Platform, Apress, 2003.

18. A. Gordon, The COM and COM+ Programming Primer, Prentice Hall PTR, 2000.

19. J. Brown, R. Malveau, H. McCormick, T. Mowbray, AntiPatterns: Refactoring Software Architectures and Projects in Crisis, John Wiley & Sons, 1998.

20. B. Eckel, Thinking in C++, Practical Programming, Prentice Hall, vol. 2, 2003.

21. J. Prosise, Programming Windows With MFC, Microsoft Press, 1999.

22. K. Beck, Extreme Programming Explained, Addison-Wesley, 2000.

23. Cross Platform Design Pattern Template Library.

13:44 | 投票する | 投票数(0) | コメント(0)
2018/12/28

IEEE C++ template generic 63 papers(1) 1-12

Tweet ThisSend to Facebook | by kaizen
IEEE C++ template generic 63 papers(1) 1-12
IEEE C++ template generic 63 papers(2) 13-25
IEEE C++ template generic 63 papers(3) 26-40
IEEE C++ template generic 63 papers(4) 41-55
IEEE C++ template generic 63 papers(5) 56-63

1)
Boost.SIMD:Genericprogramming for portable SIMDizationPierre Estérie;Mathias Gaunard;Joel Falcou;Jean-Thierry Lapresté;Brigitte Rozoy2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT)Year: 2012
Pages:431- 432IEEE Conferences

References:
Huayong Wang, Henrique Andrade, Buğra GedikB, Kun-Lung Wu
A Code Generation Approach for Auto-Vectorization in the Spade Compiler
June 2010

Generative Programming and Active Libraries
Jan 2000Lecture Notes in Computer Science
Krzysztof CzarneckiKrzysztof CzarneckiUlrich W. EiseneckerUlrich W. EiseneckerRobert GlückRobert Glück[...]Todd L. VeldhuizenTodd L. 

Introducing Control Flow into Vectorized Code
Oct 2007Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT
Jaewook ShinJaewook Shin

The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee

2)
SimpleConcepts: Support for constraints ongenerictypes inC++Reed Milewicz;Marjan Mernik;Peter Pirkelbauer2013 Federated Conference on Computer Science and Information SystemsYear: 2013
Pages:1535- 1540Cited by:Patents (5)IEEE Conferences
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.680.870&rank=1

REFERENCES
[1] B. Stroustrup, The C++ programming language; 4th ed. Addison- Wesley, 2013.
[2] A. Stepanov and P. McJones, Elements of Programming. Addison- Wesley, 2009.
[3] M. Austern, Generic programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley, 1998.
[4] D. Gregor, B. Stroustrup, J. Järvi, and G. D. Reis, “Concepts: Linguistic support for generic programming in C++,” in SIGPLAN Notices. ACM Press, 2006, pp. 291–310.
[5] D. Kapur, D. R. Musser, and A. Stepanov, “Tecton: A framework for specifying and verifying generic system components,” 1983.
[6] A. Stevens, “Al Stevens interviews alex stepanov,” 1995.
[7] D. Musser, “Syntax of the tecton language,” 1998.
[8] B. Dawes, “Proposal for a C++ library repository web site,” 1998. [Online]. Available: http://www.boost.org/users/proposal.pdf
[9] J. Siek and A. Lumsdaine, “C++ concept checking: A better practice for C++ programming,” 2001.
[10] L. Voufo and A. Lumsdaine, “A uniform terminology for C++ con- cepts,” Indiana University Technical Report, Tech. Rep. TR 703, January 2013.
[11] D. Gregor and B. Stroustrup, “Proposed wording for concepts (revision 3),” no. N2421=07-0281, 10/2007 2007. [Online]. Available: http://www.open-std.org/JTC1/sc22/wg21/docs/papers/2007/n2421.pdf
[12] D. Kaley, “Bjarne stroustrup expounds on concepts and the future of C++,” 2009.
[13] A. van Deursen and P. Klint, “Domain-specific language design requires feature descriptions,” Journal of Computing and Information Technol- ogy, vol. 10, p. 2002, 2001.
[14] L. Moonen, “Generating robust parsers using island grammars,” in The 8th Working Conference on Reverse Engineering. IEEE Computer Society Press, 2001, pp. 13–22.
[15] D. Valentin and H. Magne, “Concepts as syntactic sugar,” in SCAM, 2009, pp. 147–156.
[16] J. Siek and W. Taha, “A semantic analysis of C++ templates,” 2006.
[17] B. Stroustrup, A. Sutton, L. Voufo, and M. Zalewski, “A concept design for the STL,” ISO/IEC JTC1/SC22/WG21—The C++ Standards Committee, Tech. Rep. N3351=12-0041, January 2012.
[18] A. Sutton and B. Stroustrup, “Concepts lite: Constraining templates with predicates,” 2013.
[19] ——, “Design of concept libraries for C++,” in Proceedings of the 4th international conference on Software Language Engineering, ser. SLE’11. Berlin, Heidelberg: Springer-Verlag, 2012, pp. 97–118.

3)
Extension of iterator traits in theC++ StandardTemplateLibraryNorbert Pataki;Zoltán Porkoláb2011 Federated Conference on Computer Science and Information Systems (FedCSIS)Year: 2011
Pages:911- 914IEEE Conferences

REFERENCES
[1] A. Alexandrescu, Modern C++ Design, Addison-Wesley, 2001.
[2] M. H. Austern, Generic Programming and the STL: Using and Extending
the C++ Standard Template Library, Addison-Wesley, 1998.
[3] T. Becker, STL & generic programming: writing your own iterators,
C/C++ Users Journal 2001 19(8), pp. 51–57.
[4] G. D´evai, N. Pataki, Towards verified usage of the C++ Standard
Template Library, In Proc. of the 10th Symposium on Programming
Languages and Software Tools (SPLST) 2007, pp. 360–371.
[5] G. D´evai, N. Pataki, A tool for formally specifying the C++ Standard
Template Library, In Annales Universitatis Scientiarum Budapestinensis
de Rolando E¨otv¨os Nominatae, Sectio Computatorica 31, pp. 147–166.
[6] D. Gregor, J. J¨arvi, J. Siek, B. Stroustrup, G. Dos Reis, A. Lumsdaine,
Concepts: linguistic support for generic programming in C++, in Proc.
of the 21st annual ACM SIGPLAN conference on Object-oriented
programming systems, languages, and applications (OOPSLA 2006), pp.
291–310.
[7] D. Gregor, S. Schupp, Stllint: lifting static checking from languages to
libraries, Software - Practice & Experience, 2006 36(3), pp. 225-254.
[8] J. J¨arvi, D. Gregor, J. Willcock, A. Lumsdaine, J. Siek, Algorithm
specialization in generic programming: challenges of constrained generics
in C++, in Proc. of the 2006 ACM SIGPLAN conference on
Programming language design and implementation (PLDI 2006), pp.
272–282.
[9] T. Kozsik, T., Tutorial on Subtype Marks, in Proc. of the Central
European Functional Programming School (CEFP 2006), LNCS 4164,
pp. 191–222.
[10] S. Meyers, Effective STL - 50 Specific Ways to Improve Your Use of the
Standard Template Library, Addison-Wesley, 2001.
[11] N. Pataki, Advanced Functor Framework for C++ Standard Template
Library Studia Universitatis Babes¸-Bolyai, Informatica, Vol. LVI(1), pp.
99–113.
[12] N. Pataki, Z. Porkol´ab, Z. Istenes, Towards Soundness Examination of
the C++ Standard Template Library, In Proc. of Electronic Computers
and Informatics, ECI 2006, pp. 186–191.
[13] N. Pataki, Z. Sz˝ugyi, G. D´evai, Measuring the Overhead of C++ Standard
Template Library Safe Variants, In Electronic Notes in Theoretical
Computer Science (ENTCS) 264(5), pp. 71–83.
[14] Z. Porkol´ab, ´A. Sipos, N. Pataki, Inconsistencies of Metrics in C++
Standard Template Library, In Proc. of 11th ECOOP Workshop
on Quantitative Approaches in Object-Oriented Software Engineering
QAOOSE Workshop, ECOOP 2007, Berlin, pp. 2–6.
[15] B. Stroustrup, The C++ Programming Language (Special Edition),
Addison-Wesley, 2000.
[16] M. Torgersen, The Expression Problem Revisited – Four New Solutions
Using Generics, in Proc. of European Conference on Object-Oriented
Programming (ECOOP) 2004, LNCS 3086, pp. 123–143.
[17] L. Zolman, An STL message decryptor for visual C++, In C/C++ Users
Journal, 2001 19(7), pp. 24–30.
[18] I. Z´olyomi, Z. Porkol´ab, Towards a General Template Introspection Library,
in Proc. of Generative Programming and Component Engineering:
Third International Conference (GPCE 2004), LNCS 3286, pp. 266–282.

4)
Abstracting thetemplateinstantiation relation inC++Andrew Sutton;Ryan Holeman;Jonathan I. Maletic2009 IEEE International Conference on Software MaintenanceYear: 2009
Pages:559- 562IEEE Conferences

7. References
[1] D. Gregor and S. Schupp, "STLlint: Lifting Static
Checking from Languages to Libraries," Software: Practice and
Experience, vol. 36, pp. 225-254, Mar 2005, 2005.
[2] M. Zalewski and S. Schupp, "Changing Iterators with
Confidence: A Case Study of Change Impact Analysis Applied
2 See http://www.sdml.info/projects/srctools for more information.
3 See http://www.sdml.info/projects/srcML for more information.
to Conceptual Specifications," in Workshop on Library-Centric
Software Design (LCSD'05), San Diego, CA, Oct 16, 2005, pp.
64-74.
[3] M. Zalewski and S. Schupp, "Change Impact Analysis for
Generic Libraries," in 22nd International Conference on
Software Maintenance (ICSM'06), Philadelphia, PA, Sep 24-27,
2006, pp. 35-44.
[4] A. Sutton and J. I. Maletic, "Automatically Identifying
C++0x Concepts in Function Templates," in 24th International
Conference on Software Maintenance (ICSM'04), Beijing,
China, Sep 28-Oct 4, 2008, pp. 57-66.
[5] G. Murphy and D. Notkin, "Lightweight Lexical Source
Model Extraction," ACM Transactions on Software
Engineering and Methodology, vol. 5, pp. 262-292, Jul 1996,
1996.
[6] Y.-F. Chen, M. Nishimoto, and C. V. Ramamoorthy, "The
C Information Abstraction System," IEEE Transactions on
Software Engineeering, vol. 16, pp. 325-334, Mar 1990, 1990.
[7] T. Dean, A. Malton, and R. Holt, "Union Schemas as a
Basis for a C++ Extractor," in 8th Working Conference on
Reverse Engineering (WCRE'01), Stuttgart, Germany, Oct 2-5,
2001, pp. 59-70.
[8] R. Ferenc, F. Magyar, Á. Beszédes, A. Kiss, and M.
Tarkiainen, "Columbus – Tool for Reverse Engineering Large
Object Oriented Software Systems," in 6th Symposiusm on
Programming Languages and Software Tools (SPLST'01),
Szeged, Hungary, Jun, 2002, pp. 16-27.
[9] R. Ferenc, I. Siket, and T. Gyimóthy, "Extracting Facts
from Open Source Software," in 20th International Conference
on Software Maintenance (ICSM'04), Chicago, Illinois, Sep 11
- 14, 2004, pp. 60-69.
[10] T. Gshwind, M. Pinzger, and H. Gall, "TUAnalyzer -
Analyzing Templates in C++ Code," in 11th Working
Conference on Reverse Engineering (WCRE'04), Delft, The
Netherlands, Nov 8-12, 2004, pp. 48-57.
[11] N. Kraft, B. Malloy, and J. Power, "A Tool Chain for
Reverse Engineering C++ Applications," Science of Computer
Programming, vol. 69, pp. 3-13, Dec 2007, 2007.
[12] Z. Porkoláb, J. Mihalicza, and Á. Sipos, "Debugging C++
Template Metaprograms," in 5th International Conference on
Generative Programming and Component Engineering
(GPCE'06), Portland, Oregon, Oct 22-26, 2006, pp. 255-264.
[13] J. I. Maletic, M. L. Collard, and A. Marcus, "Source Code
Files as Structured Documents," in 10th IEEE International
Workshop on Program Comprehension (IWPC'

5) RGFT/IEEERF
Dynamic verification of C++ generic algorithms Changqing Wang;D.R. MusserIEEE Transactions on Software EngineeringYear: 1997,Volume: 23,Issue:5
Pages:314- 323Cited by:Papers (6)IEEE Journals & Magazines

1. R.S. Boyer, B. Elspas, K.N. Levitt, "SELECTA Formal System for Testing and Debugging Programs by Symbolic Execution", Proc. Int'l Conf. Reliable Software, 1975-Apr.

2. D. Evans, J. Guttag, J. Horning, Y.M. Tan, "LCLint: A Tool for Using Specifications to Check Code", Proc. POPL Workshop Interface Definition Languages, 1994-Jan.

3. P. Fritzson, M. Auguston, N. Shahmehri, "Using Assertions in Declarative and Operational Models for Automated Debugging", J. Systems and Software , vol. 6, no. 3, 1994.

4. N.E. Fuchs, "Specifications Are (Preferably) Executable", Software Eng. J., Sept. 1992.

5. J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J-P Jouannaud, Introducing OBJ., 1992.

6. D. Gries, The Science of Programming., 1981.

7. J.V. Guttag, J.J. Horning, Larch: Languages and Tools for Formal Specification., 1993.

8. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Comm. ACM , vol. 12, no. 10, pp. 576-583, Oct. 1969.

9. D. Kapur, D.R. Musser, "Tecton: A Framework for Specifying and Verifying Generic System Components", July, 1992.

10. D. Kapur, D.R. Musser, A.A. Stepanov, "Tecton A Language for Manipulating Generic Objects", Proc. Workshop Program Specification, 1981-Aug.

11. D. Kapur, D.R. Musser, X. Nie, "An Overview of the Tecton Proof System", Theoretical Computer Science, vol. 133, pp. 307-339, 1994.

12. J.C. King, A Program Verifier, 1969.
Google Scholar 
13. J.C. King, "A New Approach to Program Testing", Proc. Int'l Conf. Reliable Software, 1975-Apr.

14. R.L. London, D.R. Musser, "The Application of a Symbolic Mathematical System to Program Verification", Proc. ACM Ann. Conf., 1974-Nov.

15. D. Luckham, S. Sankar, S. Takahashi, "Two-Dimensional Pinpointing: Debugging with Formal Specifications", IEEE Software, Jan. 1991.

16. Luqi, H. Yang, X. Zhang, "Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software", Proc. Eighth Ann. Int'l Computer Software and Applications Conf., 1994.

17. J.H. Morris, B. Wegbreit, "Program Verification by Subgoal Induction", Current Trends in Programming Methodology, vol. 2, 1977.

18. D.R. Musser, A.A. Stepanov, The Ada Generic Library: Linear List Processing Packages., 1989.

19. D.R. Musser, Changqing Wang, "A Basis for Formal Specification and Verification of Generic Algorithms in the C++ Standard Template Library", Jan. 1995.

20. W. Polak, "Program Verification Based on Denotational Semantics", Proc. Eighth Ann. ACM Symp. Principles of Programming Languages, 1981.

21. D.J. Richardson, "TAOS: Testing with Analysis and Oracle Support", Proc. Int'l Symp. Software Testing and Analysis, 1994-Aug.

22. D.S. Rosenblum, "A Practical Approach to Programming with Assertions", IEEE Trans. Software Eng., vol. 21, no. 1, Jan. 1995.

23. N. Shankar, S. Owre, J.M. Rushby, The PVS Specification Language, Menlo Park, Calif.,, Mar. 1993.

24. N. Shankar, S. Owre, J.M. Rushby, The PVS Proof Checker: A Reference Manual, Menlo Park, Calif,, Mar. 1993.

25. S. Sankar, R. Hayes, "Specifying and Testing Software Components Using ADL", Apr. 1994.

26. R.M. Stallman, R.H. Pesch, Debugging with GDB, 1993.

27. A. Stepanov, M. Lee, "The Standard Template Library", Sept. 1994.

28. C. Wang, Integrating Tools and Methods For Rigorous Analysis of C++ Generic Library Components, July, 1996.

29. C. Wang, D.R. Musser, "Dynamic Verification of C++ Generic Components: A Practical Method and Its Support System", Proc. The First Workshop on Formal Methods in Software Practice, 1996-Jan.

30. J.M. Wing, "A Specifier's Introduction to Formal Methods", Computer, vol. 23, no. 9, pp. 8-24, Sept. 1990.

31. J.M. Wing, A Two-Tiered Approach to Specifying Programs, May 1983.
---- RGRF
An Axiomatic Basis of Computer Programming
Jan 1969
C.A.R. HoareC.A.R. Hoare

A new approach to program testing
Jun 1975
J.C. KingJ.C. King

The Science of Programming
Jan 1981
David GriesDavid Gries

Using Assertions in Declarative and Operational Models for Automated Debugging
Dec 1992
Peter FritzsonPeter FritzsonMike AugustonMike AugustonNahid ShahmehriNahid Shahmehri

The Ada generic library. Linear list processing packages
Jan 1989
David MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

The PVS Specification Language
Sam OwreSam OwreNatarajan ShankarNatarajan ShankarJ. RushbyJ. Rushby

Larch: Languages and Tools for Formal Specification
Jan 1993
John V. GuttagJohn V. GuttagJ. HomingJ. HomingStephen J GarlandStephen J Garland[...]A. ModetA. Modet

The pvs proof checker: a reference manual (beta release)
Jan 1993
Natarajan ShankarNatarajan ShankarSam OwreSam OwreJ. M. RushbyJ. M. Rushby

In applications of algebraic specification using obj
J. A. GoguenJ. A. GoguenT. WinkerT. WinkerJose MeseguerJose Meseguer[...]Jean-Pierre JouannaudJean-Pierre Jouannaud

Program verification based on denotation semantics
Jan 1981
Wolfgang PolakWolfgang Polak

SELECT—A formal system for testing and debugging programs by symbolic execution
Jun 1975ACM SIGPLAN Notices
Robert S. BoyerRobert S. BoyerBernard ElspasBernard ElspasKarl LevittKarl Levitt

The application of a symbolic mathematical system to program verification
Jan 1974
Ralph L. LondonRalph L. LondonDavid MusserDavid Musser

Specifying and Testing Software Components using ADL
Roger HayesRoger HayesSriram SankarSriram Sankar

A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
Jeannette M. WingJeannette M. Wing

Larch: Languages and Tools for Formal Specification
Jan 1993
John V GuttagJohn V GuttagJames J HorningJames J Horning

An Overview of the Tecton Proof System.
Oct 1994Theoretical Computer Science
Deepak KapurDeepak KapurXw NieXw NieDavid MusserDavid Musser

Tecton: A Language for Manipulating Generic Objects.
Jan 1981
Deepak KapurDeepak KapurDavid MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

A New Approach to Program Testing.
Sep 1974ACM SIGPLAN Notices
James C. KingJames C. King

The Science of Programming
Jan 1981
David GriesDavid Gries

An Axiomatic Basis for Computer Programming (Reprint).
Jan 1983Communications of the ACM
C. A. R. HoareC. A. R. Hoare

Using assertions in declarative and operational models for automated debugging
Jun 1994Journal of Systems and Software
Peter FritzsonPeter FritzsonMike AugustonMike AugustonNahid ShahmehriNahid Shahmehri

A Program Verifier
Jan 1971
James Cornelius. KingJames Cornelius. King
Thesis--Carnegie-Mellon University. Photocopy of typescript. Bibliography: p. 167-169.

Constructing an automated testing oracle: an effort to produce reliable software
Conference Paper
Dec 1994
LuqiLuqiHongji YangHongji YangXiaodong YangXiaodong Yang

Specifications are (preferably) executable
Oct 1992Software Engineering Journal
Norbert E. FuchsNorbert E. Fuchs


Two-Dimensional Pinpointing: Debugging with Formal Specifications
Feb 1991IEEE Software
David C. LuckhamDavid C. LuckhamSriram SankarSriram SankarS. TakahashiS. Takahashi


Practical approach to programming with assertions
Feb 1995IEEE Transactions on Software Engineering
David S. RosenblumDavid S. Rosenblum


A Specifier's Introduction to Formal methods
Oct 1990Computer
Jeannette M. WingJeannette M. Wing


The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee


A Basis for Formal Specification and Verification of Generic Algorithms in the C++ Standard Template Library
Oct 1995
David MusserDavid MusserChangqing WangChangqing Wang

Tecton: A Framework for Specifying and Verifying Generic System Components
Feb 1993
Deepak KapurDeepak KapurDavid MusserDavid Musser

Specifications Are (Preferably) Executable
Feb 1999Software Engineering Journal
Norbert E. FuchsNorbert E. Fuchs

J.H. Morris and B. Wegbreit, " Program Verification by Subgoal Induction, " Current Trends in Programming Methodology, R.T. Yeh, ed., vol. 2, ch. 8. Prentice Hall, 1977.
C. Wang and D.R. Musser, " Dynamic Verification of C++ Generic Components: A Practical Method and Its Support System, " Proc. The First Workshop on Formal Methods in Software Practice, San Di-ego, Calif., Jan. 1996.
C. Wang, " Integrating Tools and Methods For Rigorous Analysis of C++ Generic Library Components, " PhD thesis, Dept of Com-puter Science, Rensselaer Polytechnic Institute, July, 1996.
R.M. Stallman and R.H. Pesch, " Debugging with GDB, " GDB User's Manual, Free Software Foundation, Inc., 1993.
Musser Hewlett-Packard Laboratories reference implementation of the Standard Template Library, source files available via anonymous ftp from butler.hpl.hp

6)
A classtemplatefor the best binary sort treeCen Gang;Zhou Bingsheng2010 5th International Conference on Computer Science & EducationYear: 2010
Pages:524- 527IEEE Conferences

Object-Oriented Programming in C++
Jan 1995
Robert LaforeRobert Lafore

Data Structure (the second edition) Beijing

The Best Binary Sort Tree and the Implementation of Operations on It

Fundament for Object-Oriented Programming

Strict Balanced Binary Sort Tree and Its Construction

7)
Compile time recursive objects inC++

J. Jarvi

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)Year: 1998
Pages:66- 77Cited by:Patents (2)IEEE Conferences

A new and useful template technique: "Traits"
Jan 1995
Myers NCMyers NC

Using c++ template metaprograms
May 1995
Todd VeldhuizenTodd Veldhuizen

Processing Sparse Vectors during Compile Time in C++
Dec 1997
Jaakko JärviJaakko Järvi

Expression Templates
Nov 1998
Todd VeldhuizenTodd Veldhuizen

Binary Constants using Template Metaprogramming

Linear algebra with C++ template metaprograms

Compile Time Sparse Vectors in C++, Turku Centre for Computer Science

8)
Redesign of agenericVHDL modeltemplatefor SRAMsC. McCloskey;R. Reese;V. SandersProceedings VHDL International Users' Forum. Fall ConferenceYear: 1997
Pages:122- 125Cited by:Papers (1)IEEE Conferences

1. IEEE Standard VHDL Language Reference Manual, pp. 53-208, 1994.

9)
TestingC++genericlibrariesAndrew Sutton;Marcin Zalewski2012 28th IEEE International Conference on Software Maintenance (ICSM)Year: 2012
Pages:36- 45IEEE Conferences

QuickCheck
Sep 2000ACM SIGPLAN Notices
Koen ClaessenKoen ClaessenJohn HughesJohn Hughes

The axioms strike back
Jan 2009ACM SIGPLAN Notices
Anya Helene BaggeAnya Helene BaggeValentin DavidValentin DavidMagne HaveraaenMagne Haveraaen


Design of Concept Libraries for C++
Jul 2011
Andrew SuttonAndrew SuttonBjarne StroustrupBjarne Stroustrup


ConceptClang: An implementation of C++ concepts in Clang
Sep 2011
Larisse VoufoLarisse VoufoMarcin ZalewskiMarcin ZalewskiAndrew LumsdaineAndrew Lumsdaine

Structured testing in Sophus
Jan 2005
Magne HaveraaenMagne HaveraaenEnida BrkicEnida Brkic

QuickSpec: Guessing Formal Specifications Using Testing
Jun 2010
Koen ClaessenKoen ClaessenNicholas SmallboneNicholas SmallboneJohn HughesJohn Hughes

Axiom-Based Transformations: Optimisation and Testing
Oct 2009Electronic Notes in Theoretical Computer Science
Anya Helene BaggeAnya Helene BaggeMagne HaveraaenMagne Haveraaen

The Boost Graph Library: User Guide and Reference Manual
Chapter
Jan 2002
Jeremy SiekJeremy SiekLie-Quan LeeLie-Quan LeeAndrew LumsdaineAndrew Lumsdaine

Testing Polymorphic Properties
Mar 2010
Jean-Philippe BernardyJean-Philippe BernardyPatrik JanssonPatrik JanssonKoen ClaessenKoen Claessen

Automated Testing of Generic Computational Science Libraries
Jan 2007
Kirk SayreKirk SayreJesse H. PooreJesse H. Poore

The axioms strike back: Testing with concepts and axioms in C++
Jan 2009ACM SIGPLAN Notices
Anya Helene BaggeAnya Helene BaggeValentin DavidValentin DavidMagne HaveraaenMagne Haveraaen

Specifying C++ concepts
Jan 2006ACM SIGPLAN Notices
Gabriel Dos ReisGabriel Dos ReisBjarne StroustrupBjarne Stroustrup

A Markov Chain Model for Statistical Software Testing.
Nov 1994IEEE Transactions on Software Engineering
James A. WhittakerJames A. WhittakerM.G. ThomasonM.G. Thomason

Concepts: Linguistic Support for Generic Programming in C++
Oct 2006ACM SIGPLAN Notices
Douglas GregorDouglas GregorJaakko JärviJaakko JärviJeremy SiekJeremy Siek[...]Andrew LumsdaineAndrew Lumsdaine

The Boost Graph Library: User Guide and Reference Manual
Jan 2002
Jeremy SiekJeremy SiekLie-Quan LeeLie-Quan LeeAndrew LumsdaineAndrew Lumsdaine

Elements of Programming
Jun 2009
Alexander StepanovAlexander StepanovPaul R. McJonesPaul R. McJones

The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee

Generic Programming
Nov 1994
David MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

Theorems for Free!
Dec 1995
Philip WadlerPhilip Wadler

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Jan 2000ACM SIGPLAN Notices
Koen ClaessenKoen ClaessenJohn HughesJohn Hughes

Concept Checking: Binding Parametric Polymorphism in C++
Oct 2000
Jeremy SiekJeremy SiekAndrew LumsdaineAndrew Lumsdaine

Palo Alto Group, " A Concept Design for the STL, " ISO/IEC JTC1/SC22/WG21—The C ++ Standards Committee, Tech. Rep. N3351=12-0041, Jan. 2011. [Online]. Available: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3351.pdf
J. Siek, A. Lumsdaine, and D. Abrahams. (2012, Apr.) The Boost Concept Check Library (BCCL). [Online]. Available: http://www.boost. org/doc/libs/1 49 0/libs/concept check/concept check.htm
M. Jazayeri, R. Loos, D. Musser, and A. Stepanov, " Report of the Dagstuhl Seminar on Generic Programming, " Schloss Dagstuhl, Tech. Rep. 208, Jul. 1998. [Online]. Available: http://www.dagstuhl.de/ Reports/98/98171.pdf
C ++ Standards Committee, " Int. Standard: Information technology — Programming languages — C ++, " ISO/IEC, Tech. Rep. 14882:2011, Apr. 2011.
M. Haveraaen, V. Madsen, and H. Munthe-Kaas, " Algebraic program-ming technology for partial differential equations, " in Proceedings of Norsk Informatikk Konferanse (NIK), 1992.
A. Sutton. (2012, Mar.) Origin C ++ libraries. [Online]. Available: http://code.google.com/p/origin/

10)
OptimizingC++ vector expressions

J.F. Blinn

IEEE Computer Graphics and ApplicationsYear: 2000,Volume: 20,Issue:4
Pages:97- 103IEEE Journals & Magazines

No reference on the R.G.

11)
GenericParallel Programming for Massive Remote Sensing Data ProcessingYan Ma;Lizhe Wang;Dingsheng Liu;Peng Liu;Jun Wang;Jie Tao2012 IEEE International Conference on Cluster ComputingYear: 2012
Pages:420- 428Cited by:Papers (9)IEEE Conferences

1. Liu, Y., B. Chen, et al. (2011). Applying GPU and POSIX thread technologies in massive remote sensing image data processing, IEEE.

2. Jingshan Li, Dingsheng Liu: Design and Implementation of a Scalable General High Performance Remote Sensing Satellite Ground Processing System on Performance and Function. ICCS (2) 2009: 367-374

3. OpenMP Application Program Interface, http://www.openmp.org/.

4. Kee, Y.S., "OpenMP extension to SMP clusters", IEEE Potentials, vol. 25, no. 3, pp. 37-42, July-Aug. 2006.

5. MPI: A Message-Passing Interface Standard Version 3.0., http://www.mpi-forum.org, November 12, 2010.

6. Rabenseifner, R., G. Hager, et al. (2009). Hybrid MPI/OpenMP parallel programming on clusters of multi-core SMP nodes, IEEE.

7. Cole, M. (2004). "Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming." Parallel computing 30(3):389-406.

8. Aldinucci, M., M. Danelutto, et al. (2003). "An advanced environment supporting structured parallel programming in Java." Future Generation Computer Systems 19(5): 611-626.

9. Müller-Funk, U., U. Thonemann, et al. (2009). The Münster Skeleton Library Muesli - A Comprehensive Overview, ERCIS Working Paper.

10. Dean, J. and S. Ghemawat (2008). "MapReduce: Simplified data processing on large clusters." Communications of the ACM 51(1): 107-113.

11. Stepanov, A., Lee, M.: The Standard Template Library. Technical Report HPL-95-11, Hewlett-Packard Laboratories (1995)

12. Falcou, J., J. Sérot, et al. (2006). "Quaff: efficient c++ design for parallel skeletons." Parallel computing 32(7): 604-615.

13. Yan Ma, Lingjun Zhao, Dingsheng Liu: An Asynchronous Parallelized and Scalable Image Resampling Algodthm with Parallel I/O. ICCS (2) 2009: 357-366

14. Yanying Wang, Yan Ma, Peng Liu, Dingsheng Liu, Jibo Xie: An Optimized Image Mosaic Algorithm with Parallel IO and Dynamic Grouped Parallel Strategy Based on Minimal Spanning Tree. GCC 2010: 501-506.

15. Qu, X. and Li, J. and Zhao, W. and Than, X. and Yan, C., "Research on Critical Techniques of Disaster-Oriented Remote Sensing Quick Mapping, "Multimedia Technology (ICMT), 2010 International Conference on, pp. 1-4, 2010.

16. Lingjun Zhao, Yan Ma, Guoqing Li, Wenyang Vu, Jing Zhang: Rapid Calculation Research on Water Area Extraction from ASAR Image. GCC 2009: 339-343

17. Christophe, E., J. Michel, et al. (2011). "Remote sensing processing: From multicore to GPU." Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of 4(3): 643-652.

18. Dios, A. J., R. Asenjo, et al. (2011). High-level template for the task-based parallel wavefront pattern, IEEE.

12)
Possibilistic Shell Clustering ofTemplate-Based Shapes

Tsaipei Wang

IEEE Transactions on Fuzzy SystemsYear: 2009,Volume: 17,Issue:4
Pages:777- 793Cited by:Papers (7)IEEE Journals & Magazines

1. J. C. Bezdek, Pattern Recognition With Fuzzy Objective Function Algorithms, New York:Plenum, 1981.

2. I. Gath, A. B. Geva, "Unsupervised optimal fuzzy clustering", IEEE Trans. Pattern Anal. Mach. Intell., vol. 11, no. 7, pp. 773-781, Jul. 1989.

3. R. Krishnapurum, J. M. Keller, "A possibilistic approach to clustering", IEEE Trans. Fuzzy Syst., vol. 1, no. 2, pp. 98-110, May 1993.

4. R. Krishnapurum, J. M. Keller, "The possibilistic c-means algorithm: Insights and recommendations", IEEE Trans. Fuzzy Syst., vol. 4, no. 3, pp. 385-393, Aug. 1996.

5. M. S. Yang, K. L. Wu, "Unsupervised possibilistic clustering", Pattern Recog., vol. 39, pp. 5-21, 2006.

6. N. R. Pal, K. Pal, J. M. Keller, J. C. Bezdek, "A possibilistic fuzzy c-means", IEEE Trans. Fuzzy Syst., vol. 13, no. 4, pp. 517-530, Aug. 2005.

7. E. E. Gustafson, W. C. Kessel, "Fuzzy clustering with a fuzzy covariance matrix", Proc. IEEE CDC, pp. 761-766, 1979.

8. I. H. Suh, J.-H. Kim, F. C.-H. Rhee, "Convex-set-based fuzzy clustering", IEEE Trans. Fuzzy Syst., vol. 7, no. 3, pp. 271-285, Jun. 1999.

9. R. N. Dave, "Use of the adaptive fuzzy clustering algorithm to detect lines in digital images", Proc. SPIE, vol. 1192, pp. 600-611, 1989.

10. R. N. Dave, "Fuzzy shell-clustering and application to circle detection in digital images", Int. J. Gen. Syst., vol. 16, pp. 343-355, 1990.

11. J. C. Bezdek, R. J. Hathaway, "Numerical convergence and interpretation of the fuzzy c-shells clustering algorithm", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 787-793, Sep. 1992.

12. Y. H. Man, I. Gath, "Detection and separation of ring-shaped clusters using fuzzy clustering", IEEE Trans. Pattern Anal. Mach. Intell., vol. 16, no. 8, pp. 855-861, Aug. 1994.

13. R. Krishnapurum, O. Nasraoui, H. Frigui, "The fuzzy c spherical shells algorithm: A new approach", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 663-671, Sep. 1992.

14. R. N. Dave, K. Bhaswan, "Adaptive fuzzy C-shells clustering and detection of ellipses", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 643-662, Sep. 1992.

15. H. Frigui, R. Krishnapurum, "A comparison of fuzzy shell clustering methods for the detection of ellipses", IEEE Trans. Fuzzy Syst., vol. 4, no. 2, pp. 193-199, May 1996.

16. R. Krishnapurum, H. Frigui, O. Nasraoui, "The fuzzy c quadratic shell clustering algorithm and the detection of second-degree curves", Pattern Recog. Lett., vol. 14, pp. 545-554, 1993.

17. R. Krishnapurum, H. Frigui, O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation—Part I", IEEE Trans. Fuzzy Syst., vol. 3, no. 1, pp. 29-43, Feb. 1995.

18. R. Krishnapurum, H. Frigui, O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation—Part II", IEEE Trans. Fuzzy Syst., vol. 3, no. 1, pp. 44-60, Feb. 1995.

19. I. Gath, D. Hoory, "Fuzzy clustering of elliptic ring-shaped clusters", Pattern Recog. Lett., vol. 16, pp. 727-741, 1995.

20. F. Hoeppner, "Fuzzy shell clustering algorithms in image processing: Fuzzy c-rectangular and 2-rectangular shells", IEEE Trans. Fuzzy Syst., vol. 5, no. 4, pp. 599-613, Nov. 1997.

21. X.-B. Gao, W.-X. Xie, J.-Z. Liu, J. Li, "Template based fuzzy c-shells clustering algorithm and its fast implementation", Proc. IEEE Int. Conf. Signal Process., pp. 1269-1272, 1996.

22. I. Gath, D. Hoory, "Detection of elliptic shells using fuzzy clustering: application to MRI images", Proc. Int. Conf. Pattern Recog., vol. 2, pp. 251-255, 1994.

23. M. Barni, R. Gualtieri, "A new possibilistic clustering algorithm for line detection in real world imagery", Pattern Recog., vol. 32, pp. 1897-1909, 1999.

24. M. Barni, A. Mecocci, L. Perugini, "Craters detection via possibilistic shell clustering", Proc. IEEE Int. Conf. Image Process., vol. 2, pp. 720-723.

25. A. Verikas, K. Malmqvist, L. Bergman, "Detecting and measuring rings in banknote images", Eng. Appl. Artif. Intell., vol. 18, pp. 363-371, 2005.

26. S. Delb, P. Gamba, D. Roccato, "A fuzzy shell clustering approach to recognize hyperbolic signatures in subsurface radar images", IEEE Trans. Geosci. Remote Sens., vol. 38, no. 3, pp. 1447-1451, May 2000.

27. D. H. Ballard, "Generalizing the Hough transform to detect arbitrary shapes", Pattern Recog., vol. 13, pp. 111-122, 1981.

28. J. Illingworth, J. Kittler, "The adaptive Hough transform", IEEE Trans. Pattern Anal. Mach. Intell., vol. PAMI-9, no. 5, pp. 690-698, Sep. 1987.

29. J. C. Bezdek, R. J. Hathaway, N. R. Pal, "Norm-induced shell-prototypes (NISP) clustering", Neural Parallel Sci. Comput., vol. 3, pp. 431-449, 1995.

30. L. O. Hall, I. B. Ozyurt, J. C. Bezdek, "Clustering with a genetically optimized approach", IEEE Trans. Evol. Comput., vol. 3, no. 2, pp. 103-112, Jul. 1999.

31. T. Wang, "Possibilistic c-template clustering and its application in object detection in images", Springer Lecture Notes Comput. Sci., vol. 4139, pp. 383-392, 2006.

32. R. N. Dave, R. Krishnapuram, "Robust clustering methods: A unified view", IEEE Trans. Fuzzy Syst., vol. 5, no. 2, pp. 270-293, May 1997.

33. D. P. Bertsekas, J. N. Tsitsiklis, "Some aspects of parallel and distributed iterative algorithms—A survey", Automance, vol. 27, pp. 3-21, 1991.

34. H. Kawanishi, M. Hagiwara, "A shape detection method using improved genetic algorithm", Proc. IEEE Int. Conf. Syst. Man Cybern., vol. 1, pp. 235-240, 1995.

35. X. L. Yang, Q. Song, A. Z. Cao, S. Liu, C. Y. Guo, "Robust c-shells based deterministic annealing clustering algorithm", Proc. IEEE Int. Conf. Fuzzy Syst., vol. 3, pp. 1413-1417, 2004.

36. A. K. Jain, Y. Zhong, M. P. Dubuisson-Jolly, "Deformable template models: A review", Signal Process., vol. 71, pp. 109-129, 1998.


13:02 | 投票する | 投票数(0) | コメント(0)
2018/12/28

IEEEE C++ Template generic 72

Tweet ThisSend to Facebook | by kaizen
Boost.SIMD:Genericprogramming for portable SIMDizationPierre Estérie;Mathias Gaunard;Joel Falcou;Jean-Thierry Lapresté;Brigitte Rozoy2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT)Year: 2012
Pages:431- 432IEEE Conferences
SimpleConcepts: Support for constraints ongenerictypes inC++Reed Milewicz;Marjan Mernik;Peter Pirkelbauer2013 Federated Conference on Computer Science and Information SystemsYear: 2013
Pages:1535- 1540Cited by:Patents (5)IEEE Conferences
Extension of iterator traits in theC++ StandardTemplateLibraryNorbert Pataki;Zoltán Porkoláb2011 Federated Conference on Computer Science and Information Systems (FedCSIS)Year: 2011
Pages:911- 914IEEE Conferences
Abstracting thetemplateinstantiation relation inC++Andrew Sutton;Ryan Holeman;Jonathan I. Maletic2009 IEEE International Conference on Software MaintenanceYear: 2009
Pages:559- 562IEEE Conferences
Dynamic verification ofC++genericalgorithmsChangqing Wang;D.R. MusserIEEE Transactions on Software EngineeringYear: 1997,Volume: 23,Issue:5
Pages:314- 323Cited by:Papers (6)IEEE Journals & Magazines
A classtemplatefor the best binary sort treeCen Gang;Zhou Bingsheng2010 5th International Conference on Computer Science & EducationYear: 2010
Pages:524- 527IEEE Conferences
Compile time recursive objects inC++

J. Jarvi

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)Year: 1998
Pages:66- 77Cited by:Patents (2)IEEE Conferences
Redesign of agenericVHDL modeltemplatefor SRAMsC. McCloskey;R. Reese;V. SandersProceedings VHDL International Users' Forum. Fall ConferenceYear: 1997
Pages:122- 125Cited by:Papers (1)IEEE Conferences
TestingC++genericlibrariesAndrew Sutton;Marcin Zalewski2012 28th IEEE International Conference on Software Maintenance (ICSM)Year: 2012
Pages:36- 45IEEE Conferences
OptimizingC++ vector expressions

J.F. Blinn

IEEE Computer Graphics and ApplicationsYear: 2000,Volume: 20,Issue:4
Pages:97- 103IEEE Journals & Magazines
GenericParallel Programming for Massive Remote Sensing Data ProcessingYan Ma;Lizhe Wang;Dingsheng Liu;Peng Liu;Jun Wang;Jie Tao2012 IEEE International Conference on Cluster ComputingYear: 2012
Pages:420- 428Cited by:Papers (9)IEEE Conferences
Possibilistic Shell Clustering ofTemplate-Based Shapes

Tsaipei Wang

IEEE Transactions on Fuzzy SystemsYear: 2009,Volume: 17,Issue:4
Pages:777- 793Cited by:Papers (7)IEEE Journals & Magazines
TEMPeRA:TEmplatemassively PaRAllel library for efficient n-dimensional signal processingRiccardo Zanella;Francesco Ceccon2014 International Conference on High Performance Computing & Simulation (HPCS)Year: 2014
Pages:643- 650IEEE Conferences
How templates enable high-performance scientific computing inC++S. Haney;J. CrotlingerComputing in Science & EngineeringYear: 1999,Volume: 1,Issue:4
Pages:66- 72Cited by:Papers (5)IEEE Journals & Magazines
C++: an evolving language

S.P. Levitt

2004 IEEE Africon. 7th Africon Conference in Africa (IEEE Cat. No.04CH37590)Year: 2004,Volume: 2
Pages:1197- 1202 Vol.2Cited by:Patents (2)IEEE Conferences
EnrichingC-based High-Level Synthesis with parallel pattern templatesLana Josipovic;Nithin George;Paolo Ienne2016 International Conference on Field-Programmable Technology (FPT)Year: 2016
Pages:177- 180Cited by:Papers (2)IEEE Conferences
Automatically identifyingC++0x concepts in function templatesAndrew Sutton;Jonathan I. Maletic2008 IEEE International Conference on Software MaintenanceYear: 2008
Pages:57- 66Cited by:Papers (3)IEEE Conferences
Implementation of the SEMI 'GenericEquipment Model' using object-based cell technologyJ.R. DeBolt;C.R. Wickizer1991 Proceedings IEEE/SEMI International Semiconductor Manufacturing Science SymposiumYear: 1991
Pages:102- 105
Cited by:Papers (1)|Patents (3)
IEEE Conferences
Change Impact Analysis forGenericLibrariesMarcin Zalewski;Sibylle Schupp2006 22nd IEEE International Conference on Software MaintenanceYear: 2006
Pages:35- 44Cited by:Papers (5)IEEE Conferences
Out from under the trees [linear filetemplate]C. Jermaine;E. Omiecinski;Wai Gen YeeProceedings 18th International Conference on Data EngineeringYear: 2002
Page :265IEEE Conferences
Mathematical function recognition and its visualization system based on Web

Feng Pan

2011 International Conference on Computer Science and Service System (CSSS)Year: 2011
Pages:1373- 1376Cited by:Papers (1)IEEE Conferences
A framework for meshless methods usinggenericprogrammingNaísses Z. Lima;RenatoC. Mesquita;L. A. MarcosDigests of the 2010 14th Biennial IEEE Conference on Electromagnetic Field ComputationYear: 2010
Pages:1- 1Cited by:Papers (2)IEEE Conferences
A hybrid development platform for evolutionary multi-objective optimizationRuimin Shen;Jinhua Zheng;Miqing Li2015 IEEE Congress on Evolutionary Computation (CEC)Year: 2015
Pages:1885- 1892Cited by:Papers (2)IEEE Conferences
PACXX: Towards a Unified Programming Model for Programming Accelerators UsingC++14Michael Haidl;Sergei Gorlatch2014 LLVM Compiler Infrastructure in HPCYear: 2014
Pages:1- 11Cited by:Papers (6)IEEE Conferences
Invited Talk: Functional Structural Plant Models - Case LIGNUMRisto Sievänen;Jari Perttunen;Eero Nikinmaa;Juan M. Posada2009 Third International Symposium on Plant Growth Modeling, Simulation, Visualization and ApplicationsYear: 2009
Pages:3- 9IEEE Conferences
Design patterns automation withtemplatelibraryS. Dascalu;Ning Hao;N. DebnathProceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005.Year: 2005
Pages:699- 705Cited by:Papers (3)IEEE Conferences
Evolving a CUDA kernel from an nVidiatemplateW. B. Langdon;M. HarmanIEEE Congress on Evolutionary ComputationYear: 2010
Pages:1- 8Cited by:Papers (23)IEEE Conferences
Design ofgenericdirect sparse linear system solver inC++ for power system analysisS. Pandit;S.A. Soman;S.A. KhapardeIEEE Transactions on Power SystemsYear: 2001,Volume: 16,Issue:4
Pages:647- 652Cited by:Papers (13)IEEE Journals & Magazines
Designing algorithm-orientedgenericlibrary on .NET frameworkO. Rysavy;F. Scuglik;M. Sveda13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)Year: 2006
Pages:5 pp.- 163IEEE Conferences
AGenericParser to parse and reconfigure XML filesCK Akhil Rangan;J Jayanthi2011 IEEE Recent Advances in Intelligent Computational SystemsYear: 2011
Pages:823- 827
Cited by:Papers (3)|Patents (1)
IEEE Conferences
Software reuse metrics for object-oriented systemsK.K. Aggarwal;Y. Singh;A. Kaur;R. MalhotraThird ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)Year: 2005
Pages:48- 54
Cited by:Papers (16)|Patents (4)
IEEE Conferences
Agenericmulti-unit architecture for codesign methodologiesG. Gogniat;M. Auguin;C. BelleudyProceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97Year: 1997
Pages:23- 27IEEE Conferences
High performance Iris Recognition System on GPUFatma Zaky Sakr;Mohammed Taher;Ayman M. WahbaThe 2011 International Conference on Computer Engineering & SystemsYear: 2011
Pages:237- 242Cited by:Papers (4)IEEE Conferences
Self-structuring antennasC.M. Coleman;E.J. Rothwell;J.E. RossIEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (CYear: 2000,Volume: 3
Pages:1256- 1259 vol.3Cited by:Papers (10)IEEE Conferences
Virtual view face image synthesis using 3D spring-based face model from a single imageG.C. Feng;P.C. Yuen;J.H. LaiProceedings Fourth IEEE International Conference on Automatic Face and Gesture Recognition (Cat. No. PR00580)Year: 2000
Pages:530- 535
Cited by:Papers (2)|Patents (3)
IEEE Conferences
MeterPU: AGenericMeasurement Abstraction API Enabling Energy-Tuned Skeleton Backend SelectionLu Li;Christoph Kessler2015 IEEE Trustcom/BigDataSE/ISPAYear: 2015,Volume: 3
Pages:154- 159Cited by:Papers (2)IEEE Conferences
HMMlib: AC++ Library for General Hidden Markov Models Exploiting Modern CPUsAndreas Sand;Christian N.S. Pedersen;Thomas Mailund;Asbjorn Tolbol Brask2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems BiologyYear: 2010
Pages:126- 134Cited by:Papers (7)IEEE Conferences
Applyinggenerictiming tests for distributed multimedia software systemsS.C. Cheung;S.T. Chanson;Zhendong XuIEEE Transactions on ReliabilityYear: 2004,Volume: 53,Issue:3
Pages:329- 341Cited by:Papers (3)IEEE Journals & Magazines
Possibilistic clustering ofgenericshapes derived from templates

Tsaipei Wang

2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)Year: 2008
Pages:1721- 1728IEEE Conferences
A Parallel Skeleton Library for Multi-core ClustersYuki Karasawa;Hideya Iwasaki2009 International Conference on Parallel ProcessingYear: 2009
Pages:84- 91Cited by:Papers (7)IEEE Conferences
GBTL-CUDA: Graph Algorithms and Primitives for GPUsPeter Zhang;Marcin Zalewski;Andrew Lumsdaine;Samantha Misurda;Scott McMillan2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)Year: 2016
Pages:912- 920Cited by:Papers (9)IEEE Conferences
Productive Parallel Linear Algebra Programming with Unstructured Topology AdaptionPeter Gottschling;Torsten Hoefler2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)Year: 2012
Pages:9- 16IEEE Conferences
Efficiency inC++

S. Lippman

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)Year: 1999
Pages:414- 414IEEE Conferences
Hybrid synthesis and processing schemes for highly-ordered polyaniline nanoarchitecturesA. Vlad;P. Jedrasik;C.A. Dutu;D.A. Serban;P. Guillet;C.-A. Fustin;U. Södervall;J.F. Gohy;S. Melinte2010 3rd International Nanoelectronics Conference (INEC)Year: 2010
Pages:429- 430IEEE Conferences
Physics Analysis Tools for the CMS Experiment at LHCFrancesco Fabozzi;Christopher D. Jones;Benedikt Hegner;Luca ListaIEEE Transactions on Nuclear ScienceYear: 2008,Volume: 55,Issue:6
Pages:3539- 3543Cited by:Papers (10)IEEE Journals & Magazines
Fast nonrigid mesh registration with a data-driven deformation priorDavidC. Schneider;Peter Eisert2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV WorkshopsYear: 2009
Pages:304- 311
Cited by:Papers (7)|Patents (2)
IEEE Conferences
A framework for detecting interface violations in component-based softwareS.H. Edwards;G. Shakir;M. Sitaraman;B.W. Weide;J. HollingsworthProceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)Year: 1998
Pages:46- 55Cited by:Papers (5)IEEE Conferences
A Top-Down approach to automated generation of high-level SPICE model of Buck RegulatorArnab Khawas;Fidel Muradali;Amitava Banerjee;Siddhartha Mukhopadhyay2011 Annual IEEE India ConferenceYear: 2011
Pages:1- 6IEEE Conferences
AGenericRussellian Elimination of Abstract Objects

KevinC. Klement

Philosophia MathematicaYear: 2017,Volume: 25,Issue:1
Pages:91- 115OUP Journals & Magazines
A study on allelic recombination

C. Cotta

The 2003 Congress on Evolutionary Computation, 2003. CEC '03.Year: 2003,Volume: 2
Pages:1406- 1413 Vol.2Cited by:Papers (1)IEEE Conferences
Building a XML based Object Mapping System (OMS)A. Trad;D. KalpicProceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.Year: 2001
Pages:89- 94 vol.1Cited by:Patents (2)IEEE Conferences
Information model for the specification of QoS agreements among ambient networksP. Mendes;J. Andres-Colas;C. Pinho2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio CommunicationsYear: 2005,Volume: 3
Pages:1830- 1834 Vol. 3Cited by:Papers (2)IEEE Conferences
An approach for software design method comparisonHung-Fu Chang;StephenC-Y. LuProceedings of the 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Year: 2012
Pages:187- 194IEEE Conferences
An approach for cross-discipline requirements engineering process patternsM.T. Gaska;D.C. GauseProceedings of IEEE International Symposium on Requirements Engineering: RE '98Year: 1998
Pages:182- 189Cited by:Papers (3)IEEE Conferences
Coterie templates: a new quorum construction methodW.K. Ng;C.V. RavishankarProceedings of 15th International Conference on Distributed Computing SystemsYear: 1995
Pages:92- 99Cited by:Papers (8)IEEE Conferences
A code synthesis experimentH. Graves;J. Louie;T. MullenProceedings of the Seventh Knowledge-Based Software Engineering ConferenceYear: 1992
Pages:6- 17Cited by:Papers (6)IEEE Conferences
Design of table-driven ATE models in a simulation environmentJ.C. Merritt;F.E. Monroe1988. IMTC-88. 5th IEEE Instrumentation and Measurement Technology ConferenceYear: 1988
Pages:27- 31IEEE Conferences
Implementing non-strict evaluation on OOVMs

N. Perry

IEE Proceedings - SoftwareYear: 2005,Volume: 152,Issue:6
Pages:309- 315IET Journals & Magazines
Requirements based testing of softwareTabinda Sarwar;Wajiha Habib;Fahim Arif2013 Second International Conference on Informatics & Applications (ICIA)Year: 2013
Pages:347- 352Cited by:Papers (1)IEEE Conferences
Beyond templates: a study of clones in the STL and some general implicationsH.A. Basit;D.C. Rajapakse;S. JarzabekProceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.Year: 2005
Pages:451- 459Cited by:Papers (2)IEEE Conferences
Construction of file management systems from software componentsD.S. Batory;J.R. Barnett;J. Roy;B.C. Twichell;J. Garza[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications ConferenceYear: 1989
Pages:358- 364IEEE Conferences
Implementation of a scalable real time canny edge detector on programmable SOCBhageshC. Maheshwari;John Burns;Michaela Blott;Giulio Gambardella2017 International Conference on Electrical and Computing Technologies and Applications (ICECTA)Year: 2017
Pages:1- 5IEEE Conferences
Energy-minimum sub-threshold self-timed circuits using current-sensing completion detectionO.C. Akgun;J.N. Rodrigues;J. SparsoIET Computers & Digital TechniquesYear: 2011,Volume: 5,Issue:4
Pages:342- 353Cited by:Papers (1)IET Journals & Magazines
Fingerprint: Technologies and Algorithms for Biometrics ApplicationsYear: 2011
IEEE Courses
Biometrics for Recognition at a DistanceYear: 2010
IEEE Courses
Cloud Services and Software Platforms: OpenNebulaYear: 2014
IEEE Courses
Cellular Wave Computers--Via Million ProcessingYear: 2009
IEEE Courses
Introduction to Universal Plug and Play TechnologyYear: 2008
IEEE Courses
Customizable and Downloadable Graphic Templates (PC and Mac) for Process Modeling Green Engineering SystemsYear: 2010
IEEE Courses
Introduction to Sustainable Green Engineering System Analysis & DesignYear: 2010
IEEE Courses
Changes to the NESC (R) 2017 EditionYear: 2017
IEEE Courses
Design ofGenericDirect Sparse Linear System Solver inC++ for Power System AnalysisP. Shuba;S. A. Soman;S. A. KhapardeIEEE Power Engineering ReviewYear: 2001,Volume: 21,Issue:11
Pages:55- 55IEEE Journals & Magazines
  • <
    (344 Kb)


11:50 | 投票する | 投票数(0) | コメント(0)
2018/12/26

C++ template researchgate

Tweet ThisSend to Facebook | by kaizen
Enforcing Techniques and Transformation of C/C++ Source Code to Heterogeneous Hardware
Gábor Gyimesi ; Dénes Bán ; István Siket ; Rudolf Ferenc ; Silvano Brugnoni ; Thomas Corbat ; Peter Sommerlad ; Toni Suter
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld)

19:45 | 投票する | 投票数(0) | コメント(0)
2018/12/26

C++ template

Tweet ThisSend to Facebook | by kaizen
 IEEE C++ template

PyGB: GraphBLAS DSL in Python with Dynamic Compilation Into Efficient C++

 (((C++) AND Template) AND generic programmin) 

Optimizing Semantic Annotations for Web Service Invocation

Keman Huang ; Jia Zhang ; Wei Tan ; Zhiyong Feng ; Shizhan Chen

IEEE Transactions on Services Computing

HPCS 2017 Tutorials

2017 International Conference on High Performance Computing & Simulation (HPCS)

Displaying results 1-25 of 3,903 for (((C++) AND Template) AND boost) 
 Filters Applied: 2014 - 2019 

Neat SIMD: Elegant vectorization in C++ by using specialized templates
Matthias Gross
2016 International Conference on High Performance Computing & Simulation (HPCS)

Metaprogramming-Enabled Parallel Execution of Apparently Sequential C++ Code
David S. Hollman ; Janine C. Bennett ; Hemanth Kolla ; Jonathan Lifflander ; Nicole Slattengren ; Jeremiah Wilke
2016 Second International Workshop on Extreme Scale Programming Models and Middlewar (ESPM2)



IEEE text
C++ Template 2014-2018

A flexible possibilistic c-template shell clustering method with adjustable degree of deformation
Tsaipei Wang
2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

Enriching C-based High-Level Synthesis with parallel pattern templates
Lana Josipovic ; Nithin George ; Paolo Ienne
2016 International Conference on Field-Programmable Technology (FPT)

Neat SIMD: Elegant vectorization in C++ by using specialized templates
Matthias Gross
2016 International Conference on High Performance Computing & Simulation (HPCS)


Using Honey Templates to Augment Hash Based Biometric Template Protection
Bian Yang ; Edlira Martiri
2015 IEEE 39th Annual Computer Software and Applications Conference

Interval arithmetic, hull-consistency enforcing and algorithmic differentiation using a template-based package
Bartlomiej Jacek Kubica ; Jaroslaw Kurek
19th International Conference Computational Problems of Electrical Engineering

Portable high-performance software design using templated meta-programming for EM calculations
Jamie Infantolino ; James Ross ; David Richie
2017 International Applied Computational Electromagnetics Society Symposium - Italy (ACES)

Template matching using multiple templates weighted normalised cross correlation
Ze-Hao Wong ; K. Abdullah ; C. J. Wong
2014 IEEE Symposium on Computer Applications and Industrial Electronics (ISCAIE)

AutoTuneTMP: Auto-Tuning in C++ With Runtime Template Metaprogramming
David Pfander ; Malte Brunn ; Dirk Pflüger
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

Metaprogramming-Enabled Parallel Execution of Apparently Sequential C++ Code
David S. Hollman ; Janine C. Bennett ; Hemanth Kolla ; Jonathan Lifflander ; Nicole Slattengren ; Jeremiah Wilke
2016 Second International Workshop on Extreme Scale Programming Models and Middlewar (ESPM2)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
Gábor Antal ; Dávid Havas ; István Siket ; Árpád Beszédes ; Rudolf Ferenc ; József Mihalicza
2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM)

Practical guidance method for C/C++ teaching reform
Shanna Zhuang ; Hui Wang ; WenBin Zhao ; Tongrang Fan ; Yumei Zhang
2015 10th International Conference on Computer Science & Education (ICCSE)


A C++ Header Library for Web Applications
Shusuke Okamoto ; Masaki Kohana
2016 19th International Conference on Network-Based Information Systems (NBiS)

Enforcing Techniques and Transformation of C/C++ Source Code to Heterogeneous Hardware
Gábor Gyimesi ; Dénes Bán ; István Siket ; Rudolf Ferenc ; Silvano Brugnoni ; Thomas Corbat ; Peter Sommerlad ; Toni Suter
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld)

Approving an Online C++ Introductory Programing Course via Quality Matters through Informal Reviewers
Suhair Amer
2016 International Conference on Computational Science and Computational Intelligence (CSCI)

C/C++ Preprocessing with modern data storage devices
Bence Babati ; Norbert Pataki ; Zoltán Porkoláb
2015 IEEE 13th International Scientific Conference on Informatics

Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution
Richárd Szalay ; Zoltán Porkoláb ; Dániel Krupp
2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM)



19:22 | 投票する | 投票数(0) | コメント(0)
2018/09/25

C言語が関数型言語であることがわからない人がいることの驚き

Tweet ThisSend to Facebook | by kaizen
「C言語が関数型言語であることがわからない人がいることの驚き」
21:12 | 投票する | 投票数(0) | コメント(0)
12345