Jump to main content

yr 〜
yr

Search results 113

SIGMETRICS/Performance 2016 : proceedings of the SIGMETRICS/Performance joint international conference on measurement and modeling of computer science : June 14-18, 2016 : Antibes Juan-les-Pins, France : 2016 ACM SIGMETRICS/IFIP Performance joint conference : 13th joint international conference on measurement and modeling of computer systems : SIGMETRICS '16 : Jun 2016, ------.

SIGMETRICS/Performance 2016 : proceedings of the SIGMETRICS/Performance joint international conference on measurement and modeling of computer science : June 14-18, 2016 : Antibes Juan-les-Pins, France : 2016 ACM SIGMETRICS/IFIP Performance joint conference : 13th joint international conference on measurement and modeling of computer systems : SIGMETRICS '16 : Jun 2016, ------.
Paper図書
The Association for Computing Machinery[2016]<M17-17-2230>
National Diet Library

Computer performance evaluation and benchmarking : SPEC benchmark workshop 2009 : Austin, TX, USA, January 25, 2009 : proceedings. : Jan 2009, Austin, TX. (Lecture Notes in Computer Science ; 5419)

Computer performance evaluation and benchmarking : SPEC benchmark workshop 2009 : Austin, TX, USA, January 25, 2009 : proceedings. : Jan 2009, Austin, TX. (Lecture Notes in Computer Science ; 5419)
Paper図書
Springerc2009.<M17-09-1173>
National Diet Library
  • Subject HeadingElectronic digital computers -- Evaluation -- Congresses.

SIGMETRICS'12 : proceedings of the ACM SIGMETRICS/PERFORMANCE joint international conference on measurement and modeling of computer systems : June 11-15, 2012 : London, England, UK : 12th joint ACM SIGMETRICS and IFIP PERFORMANCE international conference : Jun 2012, London, UK.

SIGMETRICS'12 : proceedings of the ACM SIGMETRICS/PERFORMANCE joint international conference on measurement and modeling of computer systems : June 11-15, 2012 : London, England, UK : 12th joint ACM SIGMETRICS and IFIP PERFORMANCE international conference : Jun 2012, London, UK.
Paper図書
ACMc2012.<M17-13-1977>
National Diet Library

SIGMETRICS'13 : proceedings of the 2013 ACM SIGMETRICS international conference on measurement and modeling of computer systems : June 17-21, 2013 : Pittsburgh, PA, USA : Jun 2013, Pittsburgh, PA.

SIGMETRICS'13 : proceedings of the 2013 ACM SIGMETRICS international conference on measurement and modeling of computer systems : June 17-21, 2013 : Pittsburgh, PA, USA : Jun 2013, Pittsburgh, PA.
Paper図書
Association for Computing Machineryc2013.<M17-14-2163>
National Diet Library

2011 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2011) : the Hague, Netherlands : 27-30 June 2011 : SPECTS 2011 conference : SPECTS2011 : 2011 international symposium on performance evaluation of computer and telecommunications systems : Jun 2011, the Hague, the Netherlands.

2011 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2011) : the Hague, Netherlands : 27-30 June 2011 : SPECTS 2011 conference : SPECTS2011 : 2011 international symposium on performance evaluation of computer and telecommunications systems : Jun 2011, the Hague, the Netherlands.
Paper図書
IEEEc2011.<M17-12-1804>
National Diet Library

Computer aided verification : 23rd international conference, CAV 2011 : Snowbird, UT, USA, July 14-20, 2011 : proceedings : international conference on computer-aided verification : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6806)

Computer aided verification : 23rd international conference, CAV 2011 : Snowbird, UT, USA, July 14-20, 2011 : proceedings : international conference on computer-aided verification : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6806)
Paper図書
Springerc2011.<M17-12-45>
National Diet Library

SIGMETRICS'15 : proceedings of the 2015 ACM SIGMETRICS international conference on measurement and modeling of computer systems : (part of FCRC) : June 15-19, 2015 : Portland, Oregon, USA : federated computer research conference : Jun 2015, Portland, OR.

SIGMETRICS'15 : proceedings of the 2015 ACM SIGMETRICS international conference on measurement and modeling of computer systems : (part of FCRC) : June 15-19, 2015 : Portland, Oregon, USA : federated computer research conference : Jun 2015, Portland, OR.
Paper図書
The Association for Computing Machinery[2015]<M17-16-1101>
National Diet Library

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)
Paper図書
Springerc2010.<M17-11-153>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.

International conference on measurement and modeling of computer systems 2010 : (SIGMETRICS 2010) : New York, New York, USA : 14-18 June 2010. : ACM SIGMETRICS 2010 : Jun 2010, New York, NY. (Performance Evaluation Review ; 38(1))

International conference on measurement and modeling of computer systems 2010 : (SIGMETRICS 2010) : New York, New York, USA : 14-18 June 2010. : ACM SIGMETRICS 2010 : Jun 2010, New York, NY. (Performance Evaluation Review ; 38(1))
Paper図書
Association for Computing Machineryc2010.<M17-11-2353>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.

2009 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2009) : Istanbul, Turkey : 13-16 July 2009. : SPECTS 2009/SummerSim 2009 : SPECTS2009 : 2009 international symposium on performance evaluation of computer and telecommunications systems : Jul 2009, Istanbul, Turkey.

2009 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2009) : Istanbul, Turkey : 13-16 July 2009. : SPECTS 2009/SummerSim 2009 : SPECTS2009 : 2009 international symposium on performance evaluation of computer and telecommunications systems : Jul 2009, Istanbul, Turkey.
Paper図書
IEEEc2009.<M17-10-4193>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.

2016 international symposium on performance evaluation of computer and telecommunication systems : (SPECTS 2016) : Montreal, Canada : 24-27 July 2016 : SummerSim 2016 multiconference : SPECTS 2016 conference : Jul 2016, Montreal, Canada.

2016 international symposium on performance evaluation of computer and telecommunication systems : (SPECTS 2016) : Montreal, Canada : 24-27 July 2016 : SummerSim 2016 multiconference : SPECTS 2016 conference : Jul 2016, Montreal, Canada.
Paper図書
IEEE[2016]<M17-18-1159>
National Diet Library

6th international workshop on software and performance : WOSP 2007 : February 5-8, 2007 : Buenos Aires, Argentina. : Feb 2007, Buenos Aires, Argentina.

6th international workshop on software and performance : WOSP 2007 : February 5-8, 2007 : Buenos Aires, Argentina. : Feb 2007, Buenos Aires, Argentina.
Paper図書
ACMc2007.<M17-07-1643>
National Diet Library
  • Subject HeadingComputer software -- Congresses. Electronic digital computers -- Evaluation -- Congresses.

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)
Paper図書
Springerc2008.<M17-09-431>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.

Annual international conference of the Computer Measurement Group : (CMG 2011) : Washington, DC, USA : 5-9 December 2011 : 37th annual international conference of the Computer Measurement Group, Inc. : CMG11 : Dec 2011, Washington, DC.

Annual international conference of the Computer Measurement Group : (CMG 2011) : Washington, DC, USA : 5-9 December 2011 : 37th annual international conference of the Computer Measurement Group, Inc. : CMG11 : Dec 2011, Washington, DC.
Paper図書
Computer Measurement Group Inc.c2011.<M17-14-1653>
National Diet Library

UK Computer Measurement Group annual conference 2011 : Thame, Oxfordshire, United Kingdom : 16-17 May 2011 : UKCMG annual conference : UKCMG TEC 2011 : May 2011, Thame, UK.

UK Computer Measurement Group annual conference 2011 : Thame, Oxfordshire, United Kingdom : 16-17 May 2011 : UKCMG annual conference : UKCMG TEC 2011 : May 2011, Thame, UK.
Paper図書
UK Computer Measurement Groupc2011.<M17-12-1012>
National Diet Library

2014 international symposium on performance evaluation of computer and telecommunication systems : (SPECTS 2014) : Monterey, California, USA : 6-10 July 2014 : SummerSim 2014 multiconference : SPECTS 2014 conference : 2014 international symposium on performance evaluation of computer and telecommunications systems : Jul 2014, Monterey, CA. CFP1474E-ART

2014 international symposium on performance evaluation of computer and telecommunication systems : (SPECTS 2014) : Monterey, California, USA : 6-10 July 2014 : SummerSim 2014 multiconference : SPECTS 2014 conference : 2014 international symposium on performance evaluation of computer and telecommunications systems : Jul 2014, Monterey, CA. CFP1474E-ART
Paper図書
IEEE[2014]<M17-15-2145>
National Diet Library

2012 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2012) : Genoa, Italy : 8-11 July 2012 : SummerSim 2012 multiconference : Jul 2012, Genoa, Italy.

2012 international symposium on performance evaluation of computer & telecommunication systems : (SPECTS 2012) : Genoa, Italy : 8-11 July 2012 : SummerSim 2012 multiconference : Jul 2012, Genoa, Italy.
Paper図書
IEEEc2012.<M17-13-1473>
National Diet Library

UK Computer Measurement Group annual conference 2010 : UKCMG TEC 2010 : Thame, Oxfordshire, United Kingdom : 17-18 May 2010. : UKCMG2010 : May 2010, Thame, UK.

UK Computer Measurement Group annual conference 2010 : UKCMG TEC 2010 : Thame, Oxfordshire, United Kingdom : 17-18 May 2010. : UKCMG2010 : May 2010, Thame, UK.
Paper図書
UK Computer Measurement Groupc2010.<M17-10-3929>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.

WOSP'05 : proceedings of the fifth international workshop on software and performance : Palma, Illes Balears, Spain : July 12-14, 2005. : WOSP 2005 : Jul 2005, Palma de Mallorca, Spain.

WOSP'05 : proceedings of the fifth international workshop on software and performance : Palma, Illes Balears, Spain : July 12-14, 2005. : WOSP 2005 : Jul 2005, Palma de Mallorca, Spain.
Paper図書
ACM Pressc2005.<M17-06-1938>
National Diet Library
  • Subject HeadingComputer software -- Congresses. Electronic digital computers -- Evaluation -- Congresses.

2010 IEEE international high level design validation and test workshop : (HLDVT 2010) : Anaheim, California, USA : 10-12 June 2010. : tutorial on IEEE 1800-2009 systemverilog assertions : Jun 2010, Anaheim, CA.

2010 IEEE international high level design validation and test workshop : (HLDVT 2010) : Anaheim, California, USA : 10-12 June 2010. : tutorial on IEEE 1800-2009 systemverilog assertions : Jun 2010, Anaheim, CA.
Paper図書
IEEEc2010.<M17-11-1661>
National Diet Library
  • Subject Heading...-- Congresses. Electronic digital computers -- Evaluation -- Congresses.
RSS