Search results

Jump to: navigation, search
  • | Title = Formal Methods in Computer-Aided Design ...reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and t
    2 KB (269 words) - 23:36, 14 October 2008
  • * Role of formal methods: formal methods in hardware and system design, Notes in Computer Science series, http://www.springeronline.com/lncs.
    7 KB (979 words) - 23:37, 14 October 2008
  • ...e motivating works in addressing specific sensor network issues spanning hardware, network protocols, architecture, operating systems, and applications. Fur Computer Science Department,
    5 KB (658 words) - 12:46, 27 December 2015
  • | Field = Computer networking Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computi
    3 KB (386 words) - 23:39, 14 October 2008
  • scientific computation, video games, computer graphics, multimedia, opportunities and challenges for software and hardware developers. IWOMP
    3 KB (460 words) - 23:39, 14 October 2008
  • * Software/hardware speculation and prediction schemes .../servlet/event.showcfp?eventid=2838&copyownerid=619 WikiCFP][[Category:Computer architecture]]
    3 KB (326 words) - 17:43, 8 November 2008
  • ...the HotOS tradition, participants will present and discuss new ideas about computer systems research and how technological advances and new applications are sh ...We are also interested in contributions influenced by other fields such as hardware design, machine learning, control theory, networking, economics, social org
    6 KB (781 words) - 23:39, 14 October 2008
  • The eighth OSDI seeks to present innovative, exciting research in computer systems. OSDI brings together professionals from academic and industrial ba ...ion, networking as it relates to operating systems, and the interaction of hardware and software development. We particularly encourage contributions containin
    8 KB (1,171 words) - 13:44, 16 November 2016
  • ...els of interaction between applications, compilers, operating systems, and hardware.
    5 KB (740 words) - 23:42, 14 October 2008
  • |Title=4th International Conference on Interactive Mobile and Computer Aided Learning |Field=Computer-supported learning
    11 KB (1,366 words) - 16:44, 14 January 2009
  • | Field = Computer networking -Dept. of Computer Engineering, Eastern Mediterranean University, TRNC, North Cyprus
    16 KB (2,178 words) - 12:59, 18 January 2009
  • brings together researchers from all areas of computer science that verification of software and hardware systems. In addition to fostering
    6 KB (872 words) - 13:00, 18 January 2009
  • ...-oriented contributions within this scope will be considered. Software and hardware demonstrations are highly encouraged. ...servlet/event.showcfp?eventid=4416&copyownerid=2067 WikiCFP][[Category:Computer security and reliability]]
    3 KB (303 words) - 17:06, 24 February 2016
  • | Homepage = conferences.computer.org/compsac/2009/workshops/BINDIS2009CFP.htm http://conferences.computer.org/compsac/2009/workshops/BINDIS2009CFP.htm
    8 KB (1,128 words) - 13:01, 18 January 2009
  • | Field = Computer networking * Computer and network forensics
    14 KB (1,518 words) - 13:01, 18 January 2009
  • | Field = Computer networking on networking (wired and wireless), high-performance computer architecture,
    10 KB (1,206 words) - 13:01, 18 January 2009
  • ...itle = IADIS International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing 2009 | Field = Computer graphics
    5 KB (639 words) - 13:01, 18 January 2009
  • ...ps and conferences as part of the 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing. - Hardware support ubiquitous computing and communications
    7 KB (976 words) - 23:35, 28 January 2009
  • ...can employ various techniques to conserve energy with consideration of the hardware's capabilities to minimize energy expenditure. * WSN hardware and operating systems
    4 KB (534 words) - 11:03, 1 April 2009
  • Computer Vision Evolvable Hardware
    4 KB (428 words) - 21:06, 15 June 2009

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)