Technology - PDFSEARCH.IO - Document Search Engine

Technology
Results: 829226

#	Item
71	Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05
72	A Place-and-Route Paradigm Shift: Detailed-Route-Centric Solution Now Required Each technology node adds tougher physical design challenges and more stringent design rules. Modern lithography requires dual patterning and Add to Reading List Source URL: www.avatar-da.com Language: English - Date: 2018-10-02 12:52:32 Electronic engineering Electronic design automation Digital electronics Electronics Physical design Routing Timing closure Placement Design closure Router
73	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
74	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
75	Biography Bestselling author Maynard Webb is a 40-year veteran of the technology industry. An active leader in the technology and business community, Maynard serves as a board member, investor, philanthropist and mentor Add to Reading List Source URL: maynardwebb.com Language: English - Date: 2018-07-23 18:57:45 Economy of the United States California Business Maynard Webb Maynard LiveOps Webb Salesforce.com Peribit Networks Yahoo!
76	Statue §1 Name and place of business 1. The Association shall bear the name "European Legal Technology Association" (the “Association”). The intention is that the Association Add to Reading List Source URL: legal-tech-association.eu Language: English - Date: 2017-02-06 03:23:33 Board of directors Business law Committees Corporate law Business Economy Law
77	Press Release Trad-X wins Best Industry Infrastructure Initiative at Banking Technology Awards London, 11 November 2011 – Tradition, the global interdealer broker, today announced that Trad-X, its hybrid trading platf Add to Reading List Source URL: www.tradition.com Language: English - Date: 2011-11-23 06:02:01 Economy Finance Money Financial markets Over-the-counter Derivatives market Derivative
78	Call Arity Joachim Breitner Karlsruhe Institute of Technology Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37
79	LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels Julian Stecklina Thomas Prescher Add to Reading List Source URL: www.cyberus-technology.de Language: English - Date: 2018-10-17 09:56:43 Computer architecture Computing Computer engineering Central processing unit Lazy FP state restore Control register X86 Microarchitecture MMX X87 Processor register SIMD
80	2019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a Add to Reading List Source URL: www.bestplacestoworkfintech.com Language: English - Date: 2018-08-03 19:01:11 Employment Human resource management Workplace Employee relations Employee benefits Employee engagement