Search results
Create the page "Computer Hardware" on this wiki! See also the search results found.
- | 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 t2 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 computi3 KB (386 words) - 23:39, 14 October 2008
- scientific computation, video games, computer graphics, multimedia, opportunities and challenges for software and hardware developers. IWOMP3 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 org6 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 containin8 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 learning11 KB (1,366 words) - 16:44, 14 January 2009
- | Field = Computer networking -Dept. of Computer Engineering, Eastern Mediterranean University, TRNC, North Cyprus16 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 fostering6 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.htm8 KB (1,128 words) - 13:01, 18 January 2009
- | Field = Computer networking * Computer and network forensics14 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 graphics5 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 communications7 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 systems4 KB (534 words) - 11:03, 1 April 2009
- Computer Vision Evolvable Hardware4 KB (428 words) - 21:06, 15 June 2009