檢索結果 - ((functions computational) or (structure function)) programming using metrics based*

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

出版 2006

書本目錄: “... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”
獲取全文

電子電子書

2

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings /

出版 2008

書本目錄: “... Protocols in Adversarial Structures -- Hopscotch Hashing -- Computing Lightweight Spanners Locally...”
獲取全文

電子電子書

3

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版 2010

書本目錄: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
獲取全文

電子電子書

4

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

出版 2010

書本目錄: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
獲取全文

電子電子書

5

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

出版 2014

書本目錄: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
獲取全文

電子電子書

6

Topology-aware hypergraph based approach to optimize scheduling of parallel applications onto distributed parallel architectures

由 Koohi, Sina Zangbari
出版 2020

主題: “...Parallel programming (Computer science) - Research...”
獲取全文

Thesis

7

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

出版 2014

書本目錄: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
獲取全文

電子電子書

8

Electronic Engineering and Computing Technology

出版 2010

書本目錄: “... to Hardware Virtualization Using a Purely Hardware-Assisted VMM -- Metrics-Driven Software Quality Prediction...”
獲取全文

電子電子書

9

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

出版 2008

書本目錄: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
獲取全文

電子電子書

10

Computational Methods

出版 2006

書本目錄: “... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”
獲取全文

電子電子書

11

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

出版 2005

書本目錄: “... Networking -- Structure-Based Resilience Metrics for Service-Oriented Networks -- Efficient Protection...”
獲取全文

電子電子書

12

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

出版 2008

書本目錄: “... Using Quantitative Object-Oriented Metrics -- History and Evolution of Agile -- Historical Roots...”
獲取全文

電子電子書

13

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

出版 2010

書本目錄: “... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”
獲取全文

電子電子書

14

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

出版 2007

書本目錄: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
獲取全文

電子電子書

15

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

出版 2012

書本目錄: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
獲取全文

電子電子書

16

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

出版 2008

書本目錄: “.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”
獲取全文

電子電子書

17

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

出版 2005

書本目錄: “... to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism...”
獲取全文

電子電子書

18

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

出版 2007

書本目錄: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
獲取全文

電子電子書

19

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... Machine Using Simple Derivative Term -- Representations of Highly-Varying Functions by One-Hidden-Layer...”
獲取全文

電子電子書

20

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

出版 2008

書本目錄: “... Stuff to Find Things -- Segmentation and Recognition Using Structure from Motion Point Clouds -- Poster...”
獲取全文

電子電子書

縮小搜索