SIP - PDFSEARCH.IO - Document Search Engine

SIP
Results: 2553

#	Item
951	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
952	A Stepwise Approach to Developing Languages for SIP Telephony Service Creation Nicolas Palix Charles Consel Laurent Réveillère INRIA / LaBRI / ENSEIRB Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:04 Technology Session Initiation Protocol IP Multimedia Subsystem SIMPLE Voice over IP Videotelephony Electronic engineering
953	SIP Trunking Reduces Telecom costs for LA Fitness Background of LA Fitness  Established in 1984 Add to Reading List Source URL: www.intelepeer.com Language: English - Date: 2014-06-29 18:17:15 Electronics SIP Trunking Telecommunications Trunking IntelePeer Communication software Microsoft Lync Server Avaya Voice over IP Electronic engineering Videotelephony
954	Automatic Source-to-Source Code Generation for Vector Hardware Accelerators Serge Guelton, GDR SOC-SIP – Juneto hardware-accelerated assembly Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-21 05:22:58 Procedural programming languages C++ Data types C++ classes Sequence container Pointer Array programming C ALGOL 68 Computing Software engineering Computer programming
955	Series CX 5 Amp • , 380, 480 Vac • AC OUTPUT SIP • SCR Output • Ultra High Surge Rating Add to Reading List Source URL: www.farnell.com Language: English - Date: 2010-04-30 14:11:20 Debian Vrms Analog circuits
956	Current Automation and Human Factors Research at USDOT Jane Lappin U.S. Department of Transportation November 18, 2014 Add to Reading List Source URL: www.sip-adus.jp Language: English - Date: 2014-11-19 02:58:53 Automation Automobile safety National Highway Traffic Safety Administration Human factors Situation awareness Autonomous car Simulation Road traffic safety Intelligent speed adaptation Transport Land transport Road transport
957	SIS72 – Automated Driving Technology Research in Japan SIP Automated Driving System Development ～ “Automated Driving Technologies” What for? ～ September 11, 2014 Add to Reading List Source URL: www.sip-adus.jp Language: English - Date: 2014-10-24 02:46:54 Bronchus Syndromes HIV/AIDS Thorax Chronic AIDS SIP Pulmonology Lung Anatomy Health Medicine
958	SIS72 – Automated Driving Technology Research in Japan Benefits of SIP “Automated Driving Systems” September 11, 2014 Add to Reading List Source URL: www.sip-adus.jp Language: English - Date: 2014-10-24 02:46:59 Car safety Traffic congestion Traffic collision Vehicle Identification Number Transport Land transport Road transport
959	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
960	SIS72 – Automated Driving Technology Research in Japan Humans and Automated Driving Systems September 11, 2014 Add to Reading List Source URL: www.sip-adus.jp Language: English - Date: 2014-10-24 02:46:57 Knowledge Human-in-the-Loop Situation awareness Technology Science Automation Human factors SIP

UPDATE