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
  • software and hardware systems. They have shown their great utility FACS 2009 will be published in Science of Computer Programming.
    8 KB (1,079 words) - 17:05, 27 February 2009
  • The proceedings will be published in the Lecture Notes in Computer for publication in a Special Issue of Science of Computer
    7 KB (1,094 words) - 11:42, 29 September 2016
  • ...s an interdisciplinary scope, encompassing research from computer science, computer engineering and telecommunication/communication engineering with focus on h ...challenges to the system-level design process as well as to the design of hardware and software components of the system: despite the small size and reliance
    5 KB (646 words) - 17:06, 27 February 2009
  • This session covers: Computer Assisted Learning and Simulation Trainers, Customizing of ERP Systems using ...and distributed systems; High-speed networks; Network simulation software; Computer and telecommunication systems; Telecommunication devices and systems; Intel
    38 KB (4,832 words) - 17:07, 27 February 2009
  • | Field = Computer security and reliability Human Computer Interaction Theme
    12 KB (1,690 words) - 17:08, 27 February 2009
  • the IEEE Computer Society and the Technical Committee on Computer Architecture
    4 KB (589 words) - 17:08, 27 February 2009
  • |Homepage=conferences.computer.org/compsac/2009/workshops/CORCS2009.html http://conferences.computer.org/compsac/2009/workshops/CORCS2009.html
    4 KB (504 words) - 16:43, 27 December 2015
  • databases; hardware), and/or ties together distributed applications, Springer-Verlag volume in the Lecture Notes in Computer Science Series.
    8 KB (1,144 words) - 20:59, 27 February 2009
  • |Title=5th International Conference on Computer Graphics Theory and Applications |Field=Computer graphics
    4 KB (532 words) - 18:46, 7 January 2010
  • in digital color imaging and computer hardware technology have led to an Dept of Computer Science, Louisiana State University, Shreveport, Louisiana, USA
    3 KB (472 words) - 15:29, 30 March 2009
  • ...n, for example, in 2000 more than one third of all papers published in top computer architecture conferences used the SimpleScalar tools to evaluate their desi
    2 KB (210 words) - 12:17, 7 April 2016
  • |Title=International Conference on Computer Supported Education |Field=Computer science education
    5 KB (661 words) - 15:49, 8 December 2009
  • ...(SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the w ...lity, software reuse, dynamic software adaptation, efficiency on multicore hardware, security, and safety.
    5 KB (743 words) - 17:02, 27 December 2015
  • | Field = Computer networking ...y,ISSN 2072-1471 (Print) is Published in 4 issues per year by Internatonal Computer Science Publisher.
    2 KB (258 words) - 11:33, 2 August 2009
  • ...uitous computing, 4 G all IP networks. Along with the rapid development of hardware and embedded systems, ad hoc and sensor networks are being further develope Department of Electrical and Computer Engineering,
    7 KB (950 words) - 11:35, 2 August 2009
  • |Field=computer networking ...asing demonstrations of novel sensor network technology, applications, and hardware as well as posters showing exiting early work. IPSN encourages both academi
    8 KB (1,119 words) - 09:57, 27 February 2020
  • - Computer Vision - Hardware Implementations
    3 KB (404 words) - 11:36, 2 August 2009
  • |Field=Computer networking Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )
    14 KB (1,651 words) - 15:56, 15 February 2017
  • |Field=Computer security :: Elisa Bertino -- Professor of Computer Science and Research Director of the Center for Education and Research in I
    10 KB (1,270 words) - 17:12, 20 April 2010
  • Sponsored by ICST (Institute for Computer Sciences, Social-Informatics * Bio-inspired software and hardware systems
    3 KB (338 words) - 16:53, 27 December 2015
  • acquired, managed, and processed by traditional IT and software/hardware tools Department of Computer Science and Engineering
    4 KB (673 words) - 14:36, 29 January 2021
  • ...uter vision, multimodal interaction, novel input and sensing technologies, computer supported cooperative work (CSCW), and information visualization. * Computer supported collaborative systems
    3 KB (361 words) - 10:37, 26 March 2010
  • programming language is a term used broadly in computer science to describe a class of high-level programming languages that execut ...develop certain applications related to robotics and sensors systems where hardware and software are deeply mixed together. The main goal of this workshop is t
    4 KB (590 words) - 07:02, 26 July 2010
  • |Field=Computer Science, Computer Security and Privacy |Has coordinator=IEEE, IEEE Computer Society
    4 KB (490 words) - 14:42, 6 November 2020
  • |Title=3rd International Conference on Computer Supported Education (CSEDU 2011) Conference Name: 3rd International Conference on Computer Supported Education (CSEDU 2011)
    5 KB (532 words) - 12:25, 16 June 2010
  • |Title=23rd ACM Conference on Computer Supported Cooperative Work and Social Computing The 23rd ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW) 2020
    5 KB (706 words) - 13:22, 22 January 2021
  • |Title=21st ACM Conference on Computer Supported Cooperative Work and Social Computing The 21st ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW) 2018
    7 KB (935 words) - 13:15, 22 January 2021
  • |Field=Computer Hardware, Embedded Systems, Time-Sensitive systems, Real Time Systems ...dded Systems: Applications, Operating Systems, Run-Time Systems, Tools and Hardware Architectures
    2 KB (312 words) - 10:13, 8 October 2020
  • *New hardware and system design to enable machine learning on sensor data *Computer vision for resource-constrained and mobile platforms
    3 KB (412 words) - 09:52, 27 February 2020
  • ...nd others interested in the latest advances in the security and privacy of computer systems and networks. The 29th USENIX Security Symposium will be held Augus ...it papers covering novel and scientifically significant practical works in computer security. The Symposium will span three days with a technical program inclu
    3 KB (343 words) - 16:31, 6 May 2020

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