Technology systems - PDFSEARCH.IO - Document Search Engine

Technology systems
Results: 65107

#	Item
1	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
2	Location map Eichenweg 1, Zollikofen Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation Add to Reading List Source URL: www.bit.admin.ch
3	Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:14 Electromagnetism Energy Electrical engineering Rechargeable batteries Analog circuits Battery charging Energy conversion Electric battery Electric power Battery charger Lithium-ion battery Voltage
4	Location map Monbijoustrasse 74, Bern Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation Add to Reading List Source URL: www.bit.admin.ch
5	A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University, Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:36 Radio-frequency identification Automatic identification and data capture Privacy Ubiquitous computing Wireless Mobile RFID SAM Computing Technology Data
6	Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:44:21 Scheduling Information technology management Business Economy Production planning Computing Schedule Job scheduler Local consistency Business process management Constraint programming Windows Task Scheduler
7	The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-06 02:05:36 Mathematical logic Mathematics Theoretical computer science Automated theorem proving Logic in computer science Methods of proof Boolean algebra Mathematical proofs Proof complexity Boolean satisfiability problem
8	Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:24 Scheduling Economy Business Human behavior Automated planning and scheduling Operations research Planning Schedule Motion planning Windows Task Scheduler Automated guided vehicle Robot
9	How Much Faster Can We Go? A Technology Outlook Yusuf Leblebici Swiss Federal Institute of Technology (EPFL) Microelectronic Systems Laboratory Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-04 05:23:34 Electronic engineering Electrical engineering Electromagnetism Integrated circuits Digital electronics Logic families Semiconductor devices Central processing unit CMOS Transistor Bipolar junction transistor Alpha 21364